OPN model of underwater counterwork system

Underwater counterwork system is a complicated dynamic system whose model includes not only the static structure but also dynamic processes. To describe underwater counterwork system in a unified way, Object Petri Net (OPN) is utilized to model the system. Firstly, according to the constitution of the underwater counterwork system, the system is analyzed and divided into several objects. Then, the object models are built by Petri net with restrained arcs, which are adapted to different work modes of these objects. Finally, OPN model of the underwater counterwork system is constructed and the reachability of the model is analyzed, and the simulation result is consistent with the practical process. The OPN model of underwater counterwork system can depict both static structure and dynamic processes of the system, meanwhile it has good reusability.