@inproceedings{cf24934168364687990f187e8c5657b9,
title = "A polynomial algorithm to find a set of elementary siphons in a class of Petri Nets",
abstract = "The concept of siphons plays an important role in the analysis of Petri nets. In particular, criteria for liveness and reachability of some subclasses of Petri nets can be stated in terms of siphons. However, the computation of these structural components can be time-consuming or even impossible. Recently, a variety of deadlock control policies that rely on partial siphon computation and enumeration have been developed. In this paper we propose a polynomial algorithm to find a set of elementary siphons in a class of Petri nets called systems of simple sequential processes with resources, S3 PR for short. Based on them, other siphons, called dependent ones, can be composed by simple set operations. Case studies show that the proposed algorithm is more computationally efficient than INA, Integrated Net Analyzer, a widely used Petri net analysis tool.",
keywords = "Deadlock control, Elementary siphon, Petri net, Siphon",
author = "Li, {Zhi Wu} and Zhi, {Yun An} and Zhou, {Meng Chu}",
year = "2004",
doi = "10.1109/ICSMC.2004.1401301",
language = "English (US)",
isbn = "0780385667",
series = "Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics",
pages = "4861--4866",
booktitle = "2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004",
note = "2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004 ; Conference date: 10-10-2004 Through 13-10-2004",
}