摘要
通过对Petri网的点火变迁过程和图文法推导过程的研究,给出了从Petri网到图文法的构造过程,并进一步证明了网络的点火过程等价于图文法的推导过程,提供了关于并发性研究的又一途径。
The propertiee uf Petri net's fire and graph-grammar's derivation are discussed, An algo-rithm which converts Petri net to graph-grammar is provided.The conclusion that petri net's fire isequaI to graph-grammar's derivation is proven.
出处
《东南大学学报(自然科学版)》
EI
CAS
CSCD
1994年第6期82-88,共7页
Journal of Southeast University:Natural Science Edition
关键词
PETRI网
图法
并发性
点火
Petri net
graph-grammar
cuncurrence
fire
derivation