• 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 - Request a copy

Structural Methods

Colom, José; Teruel, Enrique; Silva, Manuel; Haddad, Serge (2002), Structural Methods, in Valk, Rüdiger; Girault, Claude, Petri Nets for Systems Engineering: a Guide to Modeling, Verification and Applications, Springer-Verlag : Berlin, p. 277-316

Type
Chapitre d'ouvrage
Date
2002
Book title
Petri Nets for Systems Engineering: a Guide to Modeling, Verification and Applications
Book author
Valk, Rüdiger; Girault, Claude
Publisher
Springer-Verlag
Published in
Berlin
ISBN
3-540-41217-4
Number of pages
607
Pages
277-316
Metadata
Show full item record
Author(s)
Colom, José
Teruel, Enrique
Silva, Manuel
Haddad, Serge
Subjects / Keywords
Méthodes formelles; Réseaux de Petri

Related items

Showing items related by title and author.

  • Thumbnail
    Structural characterization and qualitative properties of product form stochastic Petri nets 
    Haddad, Serge; Moreaux, Patrice; Sereno, Matteo; Silva, Manuel (2001) Communication / Conférence
  • Thumbnail
    On the Computational Power of Timed Differentiable Petri Nets 
    Haddad, Serge; Recalde, Laura; Silva, Manuel (2006) Communication / Conférence
  • Thumbnail
    Continuous Petri Nets: Expressive Power and Decidability Issues 
    Recalde, Laura; Haddad, Serge; Silva, Manuel (2007) Communication / Conférence
  • Thumbnail
    A Structural Approach to Design Reliable Distributed Applications 
    Taghelit, Mohamed; Haddad, Serge; Sens, Pierre (1997) Communication / Conférence
  • Thumbnail
    An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets 
    Barkaoui, Kamel; Dutheillet, Claude; Haddad, Serge (1993) Communication / Conférence
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