• xmlui.mirage2.page-structure.header.title
    • français
    • English
  • Help
  • Login
  • Language 
    • Français
    • English
View Item 
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesTypeThis CollectionBy Issue DateAuthorsTitlesType

My Account

LoginRegister

Statistics

Most Popular ItemsStatistics by CountryMost Popular Authors
Thumbnail

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
acta07.pdf (483.7Kb)
Type
Article accepté pour publication ou publié
Date
2007
Journal name
Acta Informatica
Volume
44
Number
7-8
Publisher
Springer
Pages
463-508
Publication identifier
http://dx.doi.org/10.1007/s00236-007-0055-y
Metadata
Show full item record
Author(s)
Haddad, Serge
Poitrenaud, Denis
Abstract (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 nets

Related items

Showing items related by title and author.

  • Thumbnail
    Checking Linear Temporal Formulas on Sequential Recursive Petri Nets 
    Haddad, Serge; Poitrenaud, Denis (2001) Communication / Conférence
  • Thumbnail
    Modelling and Analyzing Systems with Recursive Petri Nets 
    Haddad, Serge; Poitrenaud, Denis (2000) Communication / Conférence
  • Thumbnail
    Theoretical Aspects of Recursive Petri Nets 
    Haddad, Serge; Poitrenaud, Denis (1999) Communication / Conférence
  • Thumbnail
    Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms 
    Beccuti, Marco; Franceschinis, Giuliana; Haddad, Serge (2007) Communication / Conférence
  • Thumbnail
    New Efficient Petri Net Reductions for Parallel Programs Verification 
    Haddad, Serge; Pradat-Peyre, Jean-François (2006) Article accepté pour publication ou publié
Dauphine PSL Bibliothèque logo
Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16
Phone: 01 44 05 40 94
Contact
Dauphine PSL logoEQUIS logoCreative Commons logo