一种构造时间Petri网状态类的方法  

A Method for Constructing State Classes of Time Petri Nets

作　　者：潘理[1] 李文军[2] 

机构地区：[1]湖南理工学院计算机与信息工程系,岳阳414006 [2]中山大学计算机科学系,广州510275

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

基　　金：广东省科技计划工业攻关项目:GIS网格服务(编号:2003A1030403)

摘　　要：提出一种基于全局时间的时间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.

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

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]