扩展时间戳状态类
Extended Clock-Stamped State Classes作者机构：中山大学计算机科学系广州510275 湖南理工学院计算机与信息工程系岳阳414006中山大学计算机科学系广州510275中山大学计算机科学系广州510275
出 版 物：《系统仿真学报》 (Journal of System Simulation)
年 卷 期：2005年第17卷第z1期
页 面：73-77,81页
核心收录：
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：状态类方法是时间Petri进行可达性分析的主要方法.提出扩展时间戳状态类方法,该方法通过扩展变迁的同步使能信息到时间戳状态类, 解决了时间戳状态类方法中同步使能变迁的可实施性问题.最后以一个典型生产系统为例展示扩展时间戳状态类方法的应用.
维普期刊数据库