• 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

A reduction theory for coloured nets

Haddad, Serge (1990), A reduction theory for coloured nets, in Rozenberg, Grzegorz, Advances in Petri nets, 1989, Springer-Verlag : Berlin, p. 209-235. 10.1007/3-540-52494-0_31

Type
Chapitre d'ouvrage
Date
1990
Book title
Advances in Petri nets, 1989
Book author
Rozenberg, Grzegorz
Publisher
Springer-Verlag
Published in
Berlin
ISBN
0-387-52494-0 / 3-540-52494-0
Number of pages
524
Pages
209-235
Publication identifier
10.1007/3-540-52494-0_31
Metadata
Show full item record
Author(s)
Haddad, Serge
Subjects / Keywords
Réseaux de Pétri

Related items

Showing items related by title and author.

  • Thumbnail
    A Symbolic Reachability Graph for Coloured Petri Nets 
    Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge (1997) Article accepté pour publication ou publié
  • Thumbnail
    New Coloured Reductions for Software Validation 
    Evangelista, Sami; Haddad, Serge; Pradat-Peyre, Jean-François (2004) 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é
  • Thumbnail
    Generative families of positive invariants in coloured nets sub-classes 
    Peyre, Jean-François; Couvreur, Jean-Michel; Haddad, Serge (1993) Communication / Conférence
  • Thumbnail
    Conflict Sets in Coloured Petri nets 
    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