Rechercher

[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)

Auteurs: K. Barkaoui

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: vespa

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",
}