| 基于进程网系统的Petri网性质分析 |
| |
| 引用本文： | 曾庆田,吴哲辉,马炳先. 基于进程网系统的Petri网性质分析[J]. 山东科技大学学报(自然科学版), 2003, 22(2): 11-15 |
| |
| 作者姓名： | 曾庆田 吴哲辉 马炳先 |
| |
| 作者单位： | 山东科技大学,信息科学与工程学院,泰安,271019;中国科学院,计算技术研究所,北京,100080;山东科技大学,信息科学与工程学院,泰安,271019 |
| |
| 基金项目： | 国家自然科学基金资助项目 ( 6 0 1730 5 3,6 98730 2 9) |
| |
| 摘 要： | Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集,以各个基本进程段集的输入和输出库所集的并集为新的库所集,以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念,讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。
|
| 关 键 词： | Petri网 进程网系统 性质分析 |
| 文章编号： | 1672-3767(2003)02-0011-05 |
| 修稿时间： | 2002-10-23 |
Properties Analysis of Petri Net Based on Process Net System |
| |
| ZENG Qing tian ,,WU Zhe hui ,MA Bing xian. Properties Analysis of Petri Net Based on Process Net System[J]. Journal of Shandong Univ of Sci and Technol: Nat Sci, 2003, 22(2): 11-15 |
| |
| Authors: | ZENG Qing tian WU Zhe hui MA Bing xian |
| |
| Affiliation: | ZENG Qing tian 1,2,WU Zhe hui 1,MA Bing xian 1,2 |
| |
| Abstract: | The process net system of a Petri net is an important concept presented describing the process behavior of a Petri net.The process net system of a Petri net is a new net system,the transition set of which is a set of basic process sections,and the place set is the union of input place sets and output place sets for all basic process sections of the original net system.It can be used to describe the set of subjective process of any Petri net(bounded or unbounded).In this paper,we analyze the relationship of properties between the process net system and its original system |
| |
| Keywords: | Petri net process net system property analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
