作　　者： ; ;

机构地区： 湖南理工学院计算机学院

出　　处： 《计算机工程与应用》 2005年第24期96-99,共4页

摘　　要： 提出一种基于全局时间的时间Petri网状态类构造方法——扩展时间戳状态类方法。该方法通过添加变迁的同步使能信息到时间戳状态类,并修改可实施条件和实施规则,解决了时间戳状态类方法中同步使能变迁的可实施性问题。 A new approach,called extended clock-stamped state class approach,is presented.An extended clockstamped state class is a clock-stamped state class to which has been added some information about synchronously enabling transitions.This approach can efficiently solve a problem about the firability of synchronously enabling transitions,which is not solved in the clock-stamped state class approach,by modifying the firable condition and firing rule.

关 键 词： 时间 网 扩展时间戳状态类 可实施性

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