| 非确定Petri网 |
| |
| 引用本文： | 郝克刚,王斌君.非确定Petri网[J].小型微型计算机系统,2003,24(3):582-584. |
| |
| 作者姓名： | 郝克刚 王斌君 |
| |
| 作者单位： | 1. 西北大学,软件工程研究所,陕西,西安,710069
2. 中国人民公安大学科技系,北京,100038 |
| |
| 基金项目： | 国家“8 63”高技术发展研究计划 (863 -3 0 6-ZT0 2 -0 4-0 1)的资助 |
| |
| 摘 要： | 根据描述工作流模型的实际应用背景，提出了非确定变迁，非确定Petri网等概念，并定义了Petri网的等价关系，证明了在这种等价关系的意义下，非确定Petri网与传统的确定Perti网的等价性。
|
| 关 键 词： | Petri网 非确定Petri网 等价性 工作流管理系统 |
| 文章编号： | 1000-1220(2003)03-0582-03 |
Non-determined Petri Net |
| |
| HAO Ke gang ,WANG Bin jun.Non-determined Petri Net[J].Mini-micro Systems,2003,24(3):582-584. |
| |
| Authors: | HAO Ke gang WANG Bin jun |
| |
| Affiliation: | HAO Ke gang 1,WANG Bin jun 2 1 |
| |
| Abstract: | Based on the application research of workflow procedure model, the concepts of non determined transition and non determined Petri Net are introduced. In this paper a kind of equivalence of Petri Nets is defined and it is shown that the non determined Petri Net equivalents to the determined Petri Net respect to the definition of the equivalence. |
| |
| Keywords: | petri net non determined petri net equivalence of petri nets |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
