阿尼舍夫，P.A。 Petri网的简化。 （俄语） Zbl 0477.68053号 维奇尔。修女。 82, 41-54 (1980). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3个 +4 +5 显示扫描页面 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 65年第68季度 形式语言和自动机 关键词：多项式算法；活泼；安全性；约简规则的独立性和顺序 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Anishev}，维奇尔。修女。82、41-54（1980年；Zbl 0477.68053）