Thumbnail

New Coloured Reductions for Software Validation

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

Voir/Ouvrir
Type
Communication / Conférence
Date
2004
Titre du colloque
WODES'04 - IFAC 7th Workshop on Discrete Event Systems
Date du colloque
2004-09
Ville du colloque
Reims
Pays du colloque
France
Titre de l'ouvrage
Discrete Event Systems 2004
Auteurs de l’ouvrage
Zaytoon, Janan; Cao, Xi Ren; Carré-Ménétrier, Véronique
Éditeur
Elsevier
Isbn
978-0-08-044168-9
Nombre de pages
484
Pages
345-350
Métadonnées
Afficher la notice complète
Auteur(s)
Evangelista, Sami
Haddad, Serge
Pradat-Peyre, Jean-François
Résumé (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.
Mots-clés
High-level Petri nets; Reductions; Software Validation