Insufficiently marked siphon of Petri nets - extension of token-free siphon

Insufficiently marked siphon of Petri nets - extension of token-free siphon
复制标题

DOI：
10.1109/iscas.2003.1205001
复制
发表时间：
2003-05
期刊：
Proceedings of the 2003 International Symposium on Circuits and Systems, 2003. ISCAS '03.
影响因子：
--
通讯作者：
A. Ohta;K. Tsuji
A. Ohta;K. Tsuji
中科院分区：
其他
文献类型：
--
作者：
A. Ohta;K. Tsuji

文献摘要

被引文献

相似文献

Petri网是并发系统的数学模型。活动性是Petri网的重要性质之一。一个活的Petri网显示没有本地死锁。Siphon是对活动性分析有用的地方的子集。无令牌虹吸意味着Petri网的非活性。在本报告中，我们建议将标记不足的虹吸管作为扩展的无令牌虹吸管。利用虹吸管的这种新状态，得到了更一般的活性必要条件。提出了两种方法来获得标记不足的虹吸管。
Petri net is a mathematical model for concurrent systems. Liveness is one of important properties of Petri net. A live Petri net exhibits no local deadlocks. Siphon is a subset of places useful for liveness analysis. Token-free siphon implies non-liveness of Petri net. In this report, we suggest an insufficiently marked siphon as an extended token-free siphon. More general necessary condition for liveness is obtained using this new status of siphons. Two methods are proposed to obtain an insufficiently marked siphon.