新扩展强化非对称选择网的有界性与单调性
SONG Wen; YILiang-zhong; MUXing-jun
-
摘要: 根据Petri网结构理论,讨论非对称选择网(AC)的一个子类:新扩展强化非对称选择网(NESAC)的有界性 与活性单调性.判定NESAC网N结构有界的充分必要条件是,N被极小死锁簇覆盖,每个非空极小死锁H一定 是个陷阱且满足t ∩H=t ∩H=1.NESAC网仍然具有ESAC活性单调性的特征.Abstract: Based on the structural theory of Petri nets, the boundedness and liveness monotonicity of a subcategory of asymmetric choice (AC) nets, new extended strong asymmetric choice (NESAC) nets, were studied. The sufficient and necessary condition for determining structural liveness and boundedness of an NESAC net is that N is covered by a cluster of siphons and every nonemptyminimumsiphon must be a trap and satisfiest ∩H=t ∩H=1.NESAC net has the same characteristic of liveness monotonicity as ESAC net does.
-
Key words:
- AC net(asymmetric choice nets)
点击查看大图
计量
- 文章访问数: 987
- HTML全文浏览量: 38
- PDF下载量: 129
- 被引次数: 0