|Table of Contents|

Citation:
 FENG Xiao-ning WANG Shuo WANG Zhuo LIU Qun.Applying a semantic information Petri Net modeling method to AUV systems design[J].Journal of Marine Science and Application,2008,(4):0.
Click and Copy

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

Info

Title:
Applying a semantic information Petri Net modeling method to AUV systems design
Author(s):
FENG Xiao-ning WANG Shuo WANG Zhuo LIU Qun
Affilations:
Author(s):
FENG Xiao-ning WANG Shuo WANG Zhuo LIU Qun
FENG Xiao-ning,WANG Zhuo,LIU Qun(Department of Computer Science & Technology,Harbin Engineering University,Harbin 150001,China) WANG Shuo(Chu Kochen Honors College,Zhejiang University,Hangzhou 310058,China)
Keywords:
autonomous underwater vehicle (AUV) colored Petri Net modeling language (CPNML) substitution transition reachable tree
分类号:
TP39
DOI:
-
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.

References:

  • LI Hao.KANG Fengju Research on simulation modeling and validation of underwater self-running vehicle [期刊论文] -Ship Engineering2001(03)
  • LAKOS C The object orientation of object Petri nets 1995
  • HONG J E.BAE D H Software modeling and analysis using a hierarchical object-oriented Petri Net 2000
  • WANG L C Object-oriented Petri Nets for modeling and analysis of automated manufacturing systems 1996(02)
  • BUCHS D.GUELFI N Open distributed programming using the object oriented specification formalism CO-OPN 1992
  • CESCA M.JANOUSEK V.VOJNAR T PNtalk-an experimental system based on object-oriented Petri Nets 2007
  • LAKOS C A Petri Net View of Mobility 2005
  • KRISHNA M K.ALIREZA M Modeling multithreaded applications using Petri Nets 2002(05)
  • Memo

    Memo:
    -
    Last Update: 2010-06-29