Cooperation model design based on Object-oriented Petri Net for multiple heterogeneous UUVs system | IEEE Conference Publication | IEEE Xplore