最好的，艾克;雷蒙德·魔鬼队;哈维尔·埃斯帕尔扎 Petri Box演算的一般精化和递归运算符。 （英语） Zbl 0791.68122号 Patrice Enjalbert等人，STACS 93。第十届计算机科学理论方面年度研讨会，1993年2月25日至27日，德国瓦茨堡。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。665, 130-140 (1993). 摘要：对Petri盒演算中的求精和递归算子给出了新的广义定义。结果表明，不仅递归，而且序列、选择和迭代等其他操作符都可以看作是基于求精的。这些算子的各种结构性质可以从（同时）精化的一般性质中推导出来。提出了一种基于偏序的递归指称方法，即使在没有防范的情况下也能产生唯一的不动点。该构造基于位置和过渡的明智命名规则，并生成固定点的闭合形式。关于整个系列，请参见[Zbl 0866.00060号]. 引用于1审查引用于13文件 MSC公司： 第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68问题55 计算理论中的语义学 关键词：Petri网语义;Petri盒;细化递归运算符;唯一固定点 PDF格式BibTeX公司 XML格式引用 \textit｛E.Best｝等人，Lect。注释计算。科学。665130--140（1993；Zbl 0791.68122）