| 一种构造时间Petri网状态类的方法 |
| |
| 引用本文： | 潘理,李文军. 一种构造时间Petri网状态类的方法[J]. 计算机工程与应用, 2005, 41(24): 96-99 |
| |
| 作者姓名： | 潘理 李文军 |
| |
| 作者单位： | 湖南理工学院计算机与信息工程系,岳阳,414006;中山大学计算机科学系,广州,510275 |
| |
| 基金项目： | 广东省科技计划工业攻关项目：GIS网格服务（编号：2003A1030403） |
| |
| 摘 要： | 提出一种基于全局时间的时间Petri网状态类构造方法——扩展时间戳状态类方法。该方法通过添加变迁的同步使能信息到时间戳状态类,并修改可实施条件和实施规则,解决了时间戳状态类方法中同步使能变迁的可实施性问题。
|
| 关 键 词： | 时间Petri网 扩展时间戳状态类 可实施性 |
| 文章编号： | 1002-8331-（2005）24-0096-04 |
| 收稿时间： | 2005-02-01 |
| 修稿时间： | 2005-02-01 |
A Method for Constructing State Classes of Time Petri Nets |
| |
| Pan Li,Li Wen jun. A Method for Constructing State Classes of Time Petri Nets[J]. Computer Engineering and Applications, 2005, 41(24): 96-99 |
| |
| Authors: | Pan Li Li Wen jun |
| |
| Abstract: | 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. |
| |
| Keywords: | time Petri net extended clock-stamped state class firability |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
