Skip to Main content Skip to Navigation
Conference papers

On Liveness and Controlled Siphons in Petri Nets

Abstract : Structure theory of Petri nets investigates the relationship between the behavior and the structure of the net. Contrary to linear algebraic techniques, graph based techniques fully exploit the properties of the flow relation of the net (pre and post sets). Liveness of a Petri net is closely related to the validation of certain predicates on siphons. In this paper, we study thoroughly the connections between siphons structures and liveness. We define the controlled-siphon property that generalizes the well-known Commoner's property, since it involves both traps and invariants notions. We precise some structural conditions under which siphons cannot be controlled implying the structural non-liveness. These conditions based on local synchronization patterns cannot be captured by linear algebraic techniques. We establish a graph-theoretical characterization of the non-liveness under the controlled-siphon property. Finally, we prove that the controlled-siphon property is a necessary and sufficient liveness condition for simple nets and asymmetric choice nets. All these results are illustrated by significant examples taken from literature.
Complete list of metadata
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 10:46:42 AM
Last modification on : Wednesday, February 5, 2020 - 4:36:03 PM


  • HAL Id : hal-01124759, version 1



Kamel Barkaoui, Jean-François Pradat-Peyre. On Liveness and Controlled Siphons in Petri Nets. Application and Theory of Petri Nets, Jan 1996, X, France. pp.57-72. ⟨hal-01124759⟩



Record views