|
 
|
[BAR13] Liveness, Deadlock-Freeness, and Siphons
Chapitres de Livre : Titre du livre: "Embedded Computing Systems: Applications, Optimization, and Advanced Design", April 2013, IGI Global, pp. 65-78 , (doi: 10.4018/978-1-4666-3922-5) (isbn: 13: 9781466639225)Mots clés: K-systems, controlled-siphon property, deadlock-freeness,liveness
Résumé:
This chapter deals with the structure theory of Petri nets. The authors define the class of P/T systems, namely K-systems, for which the equivalence between controlled-siphon, deadlock-freeness, and liveness properties holds. Using the new structural notions of ordered transitions and root places, they revisit the non-liveness characterization of P/T systems satisfying the cs-property and define by syntactical manner new and more expressive subclasses of K-systems where the interplay between conflict and synchronization is relaxed.
Equipe:
sys
BibTeX
| @inbook { | |||
| BAR13, | |||
| title | = | "{Embedded Computing Systems: Applications, Optimization, and Advanced Design}", | |
| chapter | = | "{Liveness, Deadlock-Freeness, and Siphons}", | |
| author | = | "K. Barkaoui", | |
| year | = | 2013, | |
| publisher | = | "IGI Global", | |
| pages | = | "65-78 ", | |
| doi | = | "10.4018/978-1-4666-3922-5", | |
| isbn | = | "13: 9781466639225", | |
| } | |||
