Petri网的同步合成运算及其语言求解

作者：曾庆田

来源：微电子学与计算机, 2003, (11): 1-4+45.

• Petri网
• 同步合成
• 语言
• S-网 Petri net
• Synchronous composition
• Language
• S-net

文章拓展了Petri网同步合成运算的概念,并讨论了拓展后的同步合成运算满足的语言性质。证明了任意Petri网蒡都可由一组S-网通过同步合成得到,从而可由这些S-网来求取蒡的语言,最后给出了结构复杂的Petri网的语言的求解算法。

• 出版日期2003
• 单位山东科技大学; 中国科学院大学; 中国科学院计算技术研究所