托马斯·胡贾萨;Jean-Marc·Delosme;阿利克斯·穆尼尔-科尔登 等冲突Petri网的活性和可逆性。 (英语) Zbl 1368.68264号 芬丹。通知。 146,第1期,83-119(2016). 摘要:加权Petri网为许多人造系统提供了方便的模型。实际应用程序通常需要具备活性和可逆性的基本Petri网属性,因为活性保留了系统的所有功能(所有转换的可点燃性),而可逆性允许系统仅使用内部操作返回其初始状态(标记)。行为特性(活性和可逆性)的特征在形式良好的加权无选择Petri网和普通自由选择Petri网上都有,这是等式冲突Petri网的特例。然而,对于这个更大的类来说,可逆性并没有得到很好的理解,在这个类中,选择必须共享同等的前提条件,尽管活性的特征是已知的。在本文中,我们通过以较弱的形式扩展适用于Choice Free和Free Choice子类的已知条件,首次描述了所有活的等冲突Petri网的可逆性。我们推导了活动Equal-Conflict类中可逆性的单调性。我们还给出了其他类的反例,这些类的特征不成立。最后,我们将重点放在形式良好的等式冲突Petri网上,与以前的指数时间条件相比,我们为其提供了第一个多项式活性和可逆性的充分条件。 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:可逆性;活泼;等式冲突Petri网;特性描述;多项式时间的充分条件;多项式标记 PDF格式BibTeX公司 XML格式引用 \textit{T.Hujsa}等人,Fundam。通知。146,第1号,83--119(2016;Zbl 1368.68264) 全文: 内政部