Modeling and simulation of AUV system based on object-oriented Petri net | IEEE Conference Publication | IEEE Xplore