摘要
提出一种基于全局时间的时间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.
出处
《计算机工程与应用》
CSCD
北大核心
2005年第24期96-99,共4页
Computer Engineering and Applications
基金
广东省科技计划工业攻关项目:GIS网格服务(编号:2003A1030403)
