Polynomial Sufficient Conditions of Well-Behavedness for Weighted Join-Free and Choice-Free Systems

Abstract : Join-Free Petri nets, whose transitions have at most one input place, model systems without synchronizations while Choice-Free Petri nets, whose places have at most one output transition, model systems without conflicts. These classes respectively encompass the state machines (or S-systems) and the marked graphs (or T-systems).Whereas a structurally bounded and structurally live Petri net graph is said to be "well-formed", a bounded and live Petri net is said to be "well-behaved". Necessary and sufficient conditions for the well-formedness of Join-Free and Choice-Free nets have been known for some time, yet the behavioral properties of these classes are still not well understood. In particular efficient sufficient conditions for liveness have not been found until now. In this paper, we extend results on weighted T-systems to the class of weighted Petri nets and present transformations which preserve the feasible sequences of transitions and reduce the initial marking. We introduce a notion of "balancing" that makes possible the transformation of conservative systems into so-called "1-conservative systems" while retaining the feasible transition sequences. This transformation leads to polynomial sufficient conditions of liveness for well-formed Join-Free and Choice-Free nets.
Type de document :
Communication dans un congrès
13th International Conference of Application of Concurrency to System Design (ACSD 2013), Jul 2013, Barcelona, Spain. IEEE, pp.90-99, 2013, 〈10.1109/ACSD.2013.12〉
Liste complète des métadonnées

http://hal.upmc.fr/hal-00863651
Contributeur : Thomas Hujsa <>
Soumis le : jeudi 19 septembre 2013 - 12:19:18
Dernière modification le : jeudi 20 juillet 2017 - 09:26:53

Identifiants

Citation

Jean-Marc Delosme, Thomas Hujsa, Alix Munier-Kordon. Polynomial Sufficient Conditions of Well-Behavedness for Weighted Join-Free and Choice-Free Systems. 13th International Conference of Application of Concurrency to System Design (ACSD 2013), Jul 2013, Barcelona, Spain. IEEE, pp.90-99, 2013, 〈10.1109/ACSD.2013.12〉. 〈hal-00863651〉

Partager

Métriques

Consultations de la notice

210