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

被引：0

作者：

冯晓宁 ^{[1
]}

王朔 ^{[2
]}

王卓 ^{[1
]}

刘群 ^{[1
]}

机构：

[1] Department of Computer Science & Technology,Harbin Engineering University

[2] Chu Kochen Honors College,Zhejiang University

来源：

JournalofMarineScienceandApplication | 2008年 / 7卷 / 04期

关键词：

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

D O I：

暂无

中图分类号：

TP391.41 [];

学科分类号：

080203 ;

摘要：

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.

引用

页码：273 / 277

页数：5