最好的，艾克;雷蒙德·魔鬼队 活性持久系统和有界持久系统的合成。 （英语） Zbl 1335.68164号 芬丹。通知。 140，第1期，39-59（2015）. 摘要：本文针对转移系统是有限的、活动的和持久的情况，提出了一种专用的Petri网综合算法。特别是，本文通过从一般区域理论方法中具体化一组简化的线性不等式组，精确地描述了何时以及如何构造结构持久性网络。这扩展了先前的结果，其中可逆性而非活性发挥了重要作用。 引用于6文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：循环行为;坚持不懈;标记过渡系统;活力;Parikh矢量;Petri网;区域理论;系统综合 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}和\textit{R.Devillers}，Fundam。通知。140、第1号、第39-59号（2015；Zbl 1335.68164） 全文： 内政部