Behavior Decision-Making Model by Petri Net for Submarine Torpedo Attack | IEEE Conference Publication | IEEE Xplore