一种着色赋时的面向对象Petri网及在自动制造系统中的应用

• 作者: 刘心 印桂生
• 来源期刊: 微电子学与计算机
• 关键词: 着色 赋时 面向对象Petri网 着色令牌 变迁函数 死锁
• 年，卷（期）: 2009,（9）
• 页码范围: 13-15
• 页数: 3页
• 分类号: TP301
• 语种: 中文

摘要

着色赋时的面向对象Petri网(Colored Timed Object-Oriented Petri Net,CTOPN)是在面向对象Petri网的基础上,添加了着色令牌和输入输出变迁函数的概念而形成的,是Petri网的扩展形式.给出了CTOPN的基本定义和建立CTOPN模型的方法,给出了CTOPN在自动制造系统(Autommated Manufacturing Systems,AMS)中的应用实例,最后对模型进行了死锁分析.CTOPN可以准确地描述复杂系统的静态结构及动态特性,能够成为面向对象系统的一种形式化的建模工具.

作者信息

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