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...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Artigo |
| Sprache: | Inglês |
| Veröffentlicht: |
IEEE
2025-01-01
|
| Schriftenreihe: | IEEE Access |
| Schlagworte: | |
| Online-Zugang: | https://ieeexplore.ieee.org/document/10926185/ |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|