AUV Modeling and Analysis using a Colored Object-Oriented Petri Net
Xiaoning Feng, Qun Liu, Zhuo Wang · 2006
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