|
|||||
|
|
| 关于单纯Petri网的全进程 | |
| 作者单位： | ;1.甘肃民族师范学院计算机科学系 |
| 摘 要： | 引入了单纯Petri网的概念,设∑=(S,T;F,M_0)是可逆有界Petri网,已证明可逆有界Petri网可由几个单纯Petri网连接得到.因此,为了讨论可逆有界Petri网的全进程就有必要研究单纯Petri网的结构和全进程,并证明单纯Petri网的结构由其可达标识链决定,为进一步认知单纯Petri网的全进程提供新思路. |
| 关 键 词： | 可逆有界Petri网 单纯Petri网 全进程 |
On the Whole Process of Pure Petri Net |
|
| Abstract: | |
| Keywords: | |