Applying a semantic information Petri Net modeling method to AUV systems design

Xiao-ning Feng; Shuo Wang; Zhuo Wang; Qun Liu

doi:10.1007/s11804-008-7096-7

Journal of Marine Science and Application ›› 2008, Vol. 7 ›› Issue (4) : 273 -277. DOI: 10.1007/s11804-008-7096-7

Article

Applying a semantic information Petri Net modeling method to AUV systems design

Author information +

History +

PDF

Abstract

This paper informally introduces colored object-oriented Petri Nets(COOPN) with the application of the AUV system. According to the characteristic of the AUV system’s running environment, the object-oriented method is used in this paper not only to dispart system modules but also construct the refined running model of AUV system, then the colored Petri Net method is used to establish hierarchically detailed model in order to get the performance analyzing information of the system. After analyzing the model implementation, the errors of architecture designing and function realization can be found. If the errors can be modified on time, the experiment time in the pool can be reduced and the cost can be saved.

Keywords

autonomous underwater vehicle (AUV) / colored Petri Net modeling language (CPNML) / substitution transition / reachable tree

Cite this article

Download citation ▾

Xiao-ning Feng, Shuo Wang, Zhuo Wang, Qun Liu. Applying a semantic information Petri Net modeling method to AUV systems design. Journal of Marine Science and Application, 2008, 7(4): 273-277 DOI:10.1007/s11804-008-7096-7

登录浏览全文

4963

注册一个新账户忘记密码

References

Publishing order | Descend order by publishing year | Descend order by cited within

[1]	LI Hao, KANG Fengju, Research on simulation modeling and validation of underwater self-running vehicle[J]. Ship Engineering, 2001(3): 55–57(in Chinese).

[2]	LAKOS C. The object orientation of object Petri nets[C]// Proceedings of the First International Workshop on Object-oriented Programming and Models of Concurrency. Torino, Italy, 1995.

[3]	Hong J. E., Bae D. H. Software modeling and analysis using a hierarchical object-oriented Petri Net[J]. Information Sciences, 2000, 130: 133-164

[4]	Wang L. C. Object-oriented Petri Nets for modeling and analysis of automated manufacturing systems[J]. Computer Integrated Manufacturing Systems, 1996, 26(2): 111-125

[5]	BUCHS D, GUELFI N. Open distributed programming using the object oriented specification formalism CO-OPN[C]// 5th International Conference on: Putting into Practice Methods and Tools for Information System Design. Nantes, 1992: 261–279.

[6]	CESCA M, JANOUSEK V, VOJNAR T. PNtalk-an experimental system based on object-oriented Petri Nets[EB/OL]. 2007-10-22. http://www.fee.vutbr.cz/UIVT/homes/vojnar/Publications/vojnar-icatpn98_tools.ps.gz.

[7]	LAKOS C. A Petri Net View of Mobility[C]// Formal Techniques for Networked and Distributed Systems FORTE 2005. Taipei, 2005.

[8]	Krishna M. K., Alireza M. Modeling multithreaded applications using Petri Nets[J]. International Journal of Parallel Programming, 2002, 30(5): 353-371