A Strict Minimal Siphon-Based Necessary and Sufficient Condition for Liveness Verification in General Petri Nets
To describe deadlocks occurring in general nets, some characterizations have been proposed to establish a relationship between liveness and siphons. Among them, the most prominent characterizations are max-controlled siphons and deadly marked siphons. Nevertheless, the former is only a sufficient co...
| 發表在: | IEEE Access |
|---|---|
| Main Authors: | , , |
| 格式: | Article |
| 語言: | 英语 |
| 出版: |
IEEE
2025-01-01
|
| 主題: | |
| 在線閱讀: | https://ieeexplore.ieee.org/document/10926185/ |