A Structure Causality Relation for Liveness Characterisation in Petri Nets
| dc.creator | Zouari,Belhassen | |
| dc.date | 2006 | |
| dc.date.accessioned | 2024-02-06T12:54:11Z | |
| dc.date.available | 2024-02-06T12:54:11Z | |
| dc.description | Characterising liveness using a structure based approach is a key issue in theory of Petri nets. In this paper, we introduce a structure causality relation from which a topological characterisation of liveness in Petri nets is defined. This characterisation relies on a controllability property of siphons and allows to determine the borders of the largest abstract class of Petri nets for which equivalence between liveness and deadlock-freeness holds. Hence, interesting subclasses of P/T systems, for which membership can be easily determined, are presented. Moreover, this paper resumes, from a new point of view, similar results related to this issue and, provides a unified interpretation of the causes of the non-equivalence between liveness and deadlock-freeness. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-012-02-0214 | |
| dc.identifier | https://lib.jucs.org/article/28576/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/8968 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 12(2): 214-232 | |
| dc.subject | Petri nets | |
| dc.subject | structural analysis | |
| dc.subject | siphons | |
| dc.subject | liveness | |
| dc.subject | deadlock-freeness | |
| dc.title | A Structure Causality Relation for Liveness Characterisation in Petri Nets | |
| dc.type | Research Article |