中文会议： 系统仿真学报

会议日期： 2005-10-01

会议地点： 江苏镇江

主办单位： 中国计算机学会

作　　者： ; ; ;

机构地区： 中山大学信息科学与技术学院计算机科学系

出　　处： 《第十次全国Petri网学术年会暨形式化方法学术讨论会》

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

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

分 类 号： [TP]

领　　域： [自动化与计算机技术]