含抑制弧和测试弧Petri网的建模及其行为分析

摘要：

由于原型Petri网在一些实际应用中不能满足设计的需要,人们在其概念上进行扩充形成了增广的Petri网同。带抑制弧和带测试弧的Petri网正是其中的一种。分析总结了带测试弧Petri网的基本行为特征。针对零检测装置以及FLFO栈实例,应用测试弧,抑制弧对系统进行了合理的建模与分析。

关键词： 测试弧 抑制弧 零检测装置 Petri网

作者: 刘石坚 乐晓波 邹峥

作者单位: 长沙理工大学 计算机与通信工程学院,长沙 410076

会议类型: 国内会议

会议名称: 第十二届全国petri网理论与应用学术年会

会议地点: 天津

会议语种:中文

页码: 76-81,89

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