关于单纯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: | |
|
|