Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domains - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domains

Fabrice Kordon
Laure Petrucci
Nicolas Trèves
  • Function : Author

Abstract

The use of high-level nets, such as coloured Petri nets, is very convenient for modelling complex controllable systems in order to have a compact, readable and structured specification. However, when coming to the analysis phase, using too elaboratc types becomes a burden. A good trade-off between expressivene and analy is capabilities is then to have only imple types, which is achieved with symmetric nels. These latter nels enjoy the possibility of generating a symbolic reachability gralph, which is much smallcr than the whole state space and still allows for exhaustive analysis. In this paper, we extend the symmetric net model with bags on arcs. Hence, variables can be bags of tokens,leading to more flexible models. We show that symmetric nets with bags also allow for applying the symbolic reachability graph technique with application to deadlock detection and more generally for safety properties.

Domains

Other [cs.OH]

Dates and versions

hal-00772677 , version 1 (10-01-2013)

Identifiers

Cite

Serge Haddad, Fabrice Kordon, Laure Petrucci, Jean-François Pradat-Peyre, Nicolas Trèves. Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domains. 28th American Control Conference (ACC'09), Jun 2009, Saint Louis, MO, United States. pp.5018-5025, ⟨10.1109/ACC.2009.5160020⟩. ⟨hal-00772677⟩
232 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More