Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 12 / Issue 2

available in:   PDF (130 kB) PS (98 kB)
Similar Docs BibTeX   Read comments Write a comment
 Number of Comments:1
Links into Future
DOI:   10.3217/jucs-012-02-0214


A Structure Causality Relation for Liveness Characterisation in Petri Nets

Belhassen Zouari (LIP2 laboratory , University ElManar, Tunisia)

Abstract: 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.

Keywords: Petri nets, deadlock-freeness, liveness, siphons, structural analysis

Categories: D.0, F.1.1, F.3.1, F.4, G.2