Abstract
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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
