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...
Na minha lista:
| Principais autores: | , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
IEEE
2025-01-01
|
| coleção: | IEEE Access |
| Assuntos: | |
| Acesso em linha: | https://ieeexplore.ieee.org/document/10926185/ |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|