基于着色赋时面向对象Petri网的AUV系统建模研究

摘要：

研究并实现一种着色赋时面向对象Petri网(CTOPN)建模方法,它将面向对象技术与着色赋时Petri网相结合,从而综合了两种方法的优势,降低了Petri网模型的复杂性,增加了时间描述,便于系统定量分析.首先给出CTOPN的形式定义,然后建立AUV系统的CTOPN模型,最后给出模型的死锁检测算法,从而验证模型无死锁,为系统仿真创造了条件.

关键词：着色赋时Petri两、面向对象、自主式水下机器人、建模、死锁

所属期刊栏目：32

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60702053

在线出版日期：2009-07-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：167-170