Title :
AUV Modeling and Analysis using a Colored Object-Oriented Petri Net
Author :
Feng, Xiaoning ; Liu, Qun ; Wang, Zhuo
Author_Institution :
Inst. of Comput. Sci. & Technol., Harbin Eng. Univ.
Abstract :
Petri net is used widely to model and analyze various systems formally. Recently many Petri nets mania devote their efforts to enhancing and extending the expressive power of Petri nets. One such effort is to extend Petri nets with object-oriented concepts. This paper informally introduces colored object-oriented Petri nets (COOPN) with the application of the AUV system. According to the characteristic of the AUV running environment, this paper uses object-oriented method not only to disport system modules but also to construct refined running model of AUV system. Then it uses the COOPN method to establish hierarchically detailed model in order to get the performance analyzing information of the system
Keywords :
Petri nets; control engineering computing; graph colouring; object-oriented methods; underwater vehicles; AUV system analysis; AUV system modeling; COOPN method; autonomous underwater vehicles; colored object-oriented Petri nets; system modules; Computer science; Information analysis; Nonlinear systems; Object oriented modeling; Optical attenuators; Performance analysis; Petri nets; Power engineering and energy; Power system modeling; Underwater vehicles; Colored Object-Oriented Petri Net (COOPN); Colored Petri Net Modeling Language (CPN ML); reachable tree; substitution transition;
Conference_Titel :
Computer and Computational Sciences, 2006. IMSCCS '06. First International Multi-Symposiums on
Conference_Location :
Hanzhou, Zhejiang
Print_ISBN :
0-7695-2581-4
DOI :
10.1109/IMSCCS.2006.195
