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.

Volume

2

fYear

2006

fDate

20-24 June 2006

Firstpage

405

Lastpage

409

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer and Computational Sciences, 2006. IMSCCS '06. First International Multi-Symposiums on

Conference_Location

Hanzhou, Zhejiang

Print_ISBN

0-7695-2581-4

Type

conf

DOI

10.1109/IMSCCS.2006.195

Filename

4673738