• 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

New Coloured Reductions for Software Validation

Evangelista, Sami; Haddad, Serge; Pradat-Peyre, Jean-François (2004), New Coloured Reductions for Software Validation, in Zaytoon, Janan; Cao, Xi Ren; Carré-Ménétrier, Véronique, Discrete Event Systems 2004, Elsevier, p. 345-350

View/Open
new_coloured.PDF (137.7Kb)
Type
Communication / Conférence
Date
2004
Conference title
WODES'04 - IFAC 7th Workshop on Discrete Event Systems
Conference date
2004-09
Conference city
Reims
Conference country
France
Book title
Discrete Event Systems 2004
Book author
Zaytoon, Janan; Cao, Xi Ren; Carré-Ménétrier, Véronique
Publisher
Elsevier
ISBN
978-0-08-044168-9
Number of pages
484
Pages
345-350
Metadata
Show full item record
Author(s)
Evangelista, Sami
Haddad, Serge
Pradat-Peyre, Jean-François
Abstract (EN)
Structural model abstraction is a powerful technique for reducing the complexity of a state based enumeration analysis.We present in this paper accurate reductions for high-level Petri nets based on new ordinary Petri nets reductions. These reductions involve only structural and algebraical conditions. They preserve the liveness of the net and any LTL formula that does not observe the reduced transitions of the net. The mixed use of structural and algebraical conditions signi cantly enlarges their application area. Furthermore the speci cation of the transformation is parametric with respect to the cardinalities of coloured domains.
Subjects / Keywords
High-level Petri nets; Reductions; Software Validation

Related items

Showing items related by title and author.

  • Thumbnail
    De nouvelles réductions colorées pour la validation de logiciels 
    Evangelista, Sami; Haddad, Serge; Pradat-Peyre, Jean-François (2004) Article accepté pour publication ou publié
  • 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
    Syntactical Colored Petri Nets Reductions 
    Evangelista, Sami; Haddad, Serge; Pradat-Peyre, Jean-François (2005) Communication / Conférence
  • Thumbnail
    Generative Families of Positive Invariants in Coloured Nets Sub-Classes 
    Couvreur, Jean-Michel; Haddad, Serge; Pradat-Peyre, Jean-François (1993) Communication / Conférence
  • Thumbnail
    Résolution paramétrée de familles de systèmes linéaires 
    Pradat-Peyre, Jean-François; Haddad, Serge; Couvreur, Jean-Michel (1992) 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