×

等冲突Petri网的活性和可逆性。 (英语) Zbl 1368.68264号

摘要:加权Petri网为许多人造系统提供了方便的模型。实际应用程序通常需要具备活性和可逆性的基本Petri网属性,因为活性保留了系统的所有功能(所有转换的可点燃性),而可逆性允许系统仅使用内部操作返回其初始状态(标记)。
行为特性(活性和可逆性)的特征在形式良好的加权无选择Petri网和普通自由选择Petri网上都有,这是等式冲突Petri网的特例。然而,对于这个更大的类来说,可逆性并没有得到很好的理解,在这个类中,选择必须共享同等的前提条件,尽管活性的特征是已知的。
在本文中,我们通过以较弱的形式扩展适用于Choice Free和Free Choice子类的已知条件,首次描述了所有活的等冲突Petri网的可逆性。我们推导了活动Equal-Conflict类中可逆性的单调性。我们还给出了其他类的反例,这些类的特征不成立。最后,我们将重点放在形式良好的等式冲突Petri网上,与以前的指数时间条件相比,我们为其提供了第一个多项式活性和可逆性的充分条件。

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部