雷蒙德·魔鬼队 一般递归Petri盒的S-不变分析。 （英语） Zbl 0827.68080号 学报信息。 32，第4期，313-345（1995）. 摘要：本文介绍了如何从组成Petri盒的（S）-不变量/（S）-component出发，为通过一般递归构造的Petri盒合成（S）不变量和（S）-components。该构造基于用于定义该操作符的接口位置的树结构，并扩展了为细化操作符获得的类似结果。重点是推导可覆盖性结果；然后利用这些结果表明，从由（S）-分量覆盖的族中通过细化和递归获得的所有网络都是无自货币的，至多是2安全的，并且表现出广义的空性；特别是，在Box表达式的过程代数的翻译中获得的网络就是这种情况。 引用于10文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：Petri盒演算;Petri盒 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers}，《学报参考》32，第4期，313--345（1995；Zbl 0827.68080）