扩展时间戳状态类

摘要：

状态类方法是时间Petri进行可达性分析的主要方法.提出扩展时间戳状态类方法,该方法通过扩展变迁的同步使能信息到时间戳状态类,解决了时间戳状态类方法中同步使能变迁的可实施性问题.最后以一个典型生产系统为例展示扩展时间戳状态类方法的应用。

关键词： 时间Petri网 同步使能变迁 扩展时间戳状态类 状态类方法

作者: 潘理 李文军 刘显明

作者单位: 中山大学,计算机科学系,广州,510275;湖南理工学院,计算机与信息工程系,岳阳,414006 中山大学,计算机科学系,广州,510275

会议类型: 国内会议

会议名称: 第十次全国Petri网学术年会暨形式化方法学术讨论会

会议地点: 江苏镇江

会议语种:中文

页码: 73-77,81

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