一种着色赋时的面向对象Petri网及在自动制造系统中的应用
着色赋时的面向对象Petri网(Colored Timed Object-Oriented Petri Net,CTOPN)是在面向对象Petri网的基础上,添加了着色令牌和输入输出变迁函数的概念而形成的,是Petri网的扩展形式.给出了CTOPN的基本定义和建立CTOPN模型的方法,给出了CTOPN在自动制造系统(Autommated Manufacturing Systems,AMS)中的应用实例,最后对模型进行了死锁分析.CTOPN可以准确地描述复杂系统的静态结构及动态特性,能够成为面向对象系统的一种形式化的建模工具.
Petri网 着色令牌 变迁函数 自动制造系统 着色赋时 死锁分析
刘心 印桂生
哈尔滨工程大学,计算机科学与技术学院,黑龙江,哈尔滨,150001
国内会议
乌鲁木齐
中文
13-15
2009-09-01(万方平台首次上网日期,不代表论文的发表时间)