无冻结标记的自由选择Petri网和双极同步系统
摘要：极性同步系统(BP系统)是一类彩色Petri网，非常适合用于建模离散动态系统的控制流。每个BP系统都有一个基本的普通Petri网，即T系统。此外，它还有一个附加的普通网，即自由选择系统。我们证明，如果T系统和自由选择系统活跃且安全，并且自由选择系统没有冻结令牌，则BP系统也活跃且安全。这个结果是Genrich和Thiagarajan定理的逆命题，证明了一个老的猜想。证明通过Petri网的推群和经典的自由选择系统理论对不同的Petri网进行比较。
作者：Joachim Wehler
论文ID：cs/0609095
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-09-10