关于Petri网系统S-补相关定理的补充证明及其分析

摘要：

对于Petri网而言,冲撞代表着不安全,它是由于空间资源的缺少而引出的一种基本现象。人们寻找到避免冲撞的发生办法是为网系统添加补库所即做S-补。就Petri网系统做S-补的相关定理进行了补充性的证明及举例分析。

关键词： Petri网 S-补 情态集 行为等价

作者: 刘石坚 乐晓波 邹峥

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

会议类型: 国内会议

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

会议地点: 天津

会议语种:中文

页码: 1-5

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