摘要
通过对Ｐｅｔｒｉ网的点火变迁过程和图文法推导过程的研究，给出了从Ｐｅｔｒｉ网到图文法的构造过程，并进一步证明了网络的点火过程等价于图文法的推导过程，提供了关于并发性研究的又一途径。
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
