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

• 作者: 刘心 印桂生 张磊
• 来源期刊: 现代电子技术
• 关键词: 着色赋时Petri两 面向对象 自主式水下机器人 建模 死锁
• 年，卷（期）: 2009,（13）
• 所属期刊栏目: 电子技术
• 页码范围: 167-170
• 页数: 4页
• 分类号: TP301
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2009.13.053

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张磊	哈尔滨工程大学信息与通信工程学院	159	1265	17.0	29.0
2	印桂生	哈尔滨工程大学计算机科学与技术学院	113	842	16.0	23.0
3	刘心	哈尔滨工程大学计算机科学与技术学院	16	62	5.0	7.0