摘要
本文定义了并发表达式，指出其表达能力与安全标号Petri网是等价的，并且我们给出并发表达式到安全标号Petri网转换的一个线性时间复杂性的算法．
In this paper, the concurrent, expression is definited, and the equal relation between the concurrent expression and safe labelled Petri net is pointed. The transformation algorithms from the concurrent expression to the safe labelled Petri net are given.
出处
《电子学报》
EI
CAS
CSCD
北大核心
1998年第8期83-85,91,共4页
Acta Electronica Sinica
基金
国家自然科学基金
中国博士后科学基金
山东省科学基金
煤炭部跨世纪学术带头人基金
