
Recursive Petri nets
Haddad, Serge; Poitrenaud, Denis (2007), Recursive Petri nets, Acta Informatica, 44, 7-8, p. 463-508. http://dx.doi.org/10.1007/s00236-007-0055-y
View/ Open
Type
Article accepté pour publication ou publiéDate
2007Journal name
Acta InformaticaVolume
44Number
7-8Publisher
Springer
Pages
463-508
Publication identifier
Metadata
Show full item recordAbstract (EN)
In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural property checking. Here we present and develop the theory of such a model, the recursive Petri nets. First, we show that the mechanisms supported by recursive Petri nets enable to model patterns of discrete event systems related to the dynamic structure of processes. Furthermore, we prove that these patterns cannot be modelled by ordinary Petri nets. Then we study the decidability of some problems: reachability, finiteness and bisimulation. At last, we develop the concept of linear invariants for this kind of nets and we design efficient computations specifically tailored to take advantage of their structure.Subjects / Keywords
Bisimulation; Reachability problem; Expressivity; Flows computation; Petri netsRelated items
Showing items related by title and author.
-
Haddad, Serge; Poitrenaud, Denis (2001) Communication / Conférence
-
Haddad, Serge; Poitrenaud, Denis (2000) Communication / Conférence
-
Haddad, Serge; Poitrenaud, Denis (1999) Communication / Conférence
-
Beccuti, Marco; Franceschinis, Giuliana; Haddad, Serge (2007) Communication / Conférence
-
Haddad, Serge; Pradat-Peyre, Jean-François (2006) Article accepté pour publication ou publié