Title :
Research on Modeling and Simulation of AUV System Based on CTOPN
Author :
Xin, Liu ; Guisheng, Yin ; Ziying, Zhang
Author_Institution :
Coll. of Comput. Sci. & Technol., Harbin Eng. Univ., Harbin
Abstract :
This paper presents a new modeling method, called CTOPN (colored timed object-oriented Petri net), to model AUV (autonomous underwater vehicle) system. Firstly, the definition of a CTOPN is introduced, then the procedure of developing a CTOPN model for AUV system and a deadlock detection algorithm is given, at last the simulation validation is done. The CTOPN model of AUV system is proved deadlock-free and the simulation result is accordance with the actual system.
Keywords :
Petri nets; digital simulation; graph colouring; marine engineering; object-oriented methods; remotely operated vehicles; underwater vehicles; AUV system modeling; CTOPN; autonomous underwater vehicle; colored timed object-oriented Petri net; deadlock detection algorithm; simulation; Automotive engineering; Computational modeling; Computer science; Computer simulation; Detection algorithms; Educational institutions; Object oriented modeling; Software engineering; System recovery; Underwater vehicles; AUV; CTOPN; deadlock; modeling; simulation;
Conference_Titel :
Computer Science and Software Engineering, 2008 International Conference on
Conference_Location :
Wuhan, Hubei
Print_ISBN :
978-0-7695-3336-0
DOI :
10.1109/CSSE.2008.77
