
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
Type
Communication / ConférenceDate
2004Conference title
WODES'04 - IFAC 7th Workshop on Discrete Event SystemsConference date
2004-09Conference city
ReimsConference country
FranceBook title
Discrete Event Systems 2004Book author
Zaytoon, Janan; Cao, Xi Ren; Carré-Ménétrier, VéroniquePublisher
Elsevier
ISBN
978-0-08-044168-9
Number of pages
484Pages
345-350
Metadata
Show full item recordAbstract (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 ValidationRelated items
Showing items related by title and author.
-
Evangelista, Sami; Haddad, Serge; Pradat-Peyre, Jean-François (2004) Article accepté pour publication ou publié
-
Haddad, Serge; Pradat-Peyre, Jean-François (2006) Article accepté pour publication ou publié
-
Evangelista, Sami; Haddad, Serge; Pradat-Peyre, Jean-François (2005) Communication / Conférence
-
Couvreur, Jean-Michel; Haddad, Serge; Pradat-Peyre, Jean-François (1993) Communication / Conférence
-
Pradat-Peyre, Jean-François; Haddad, Serge; Couvreur, Jean-Michel (1992) Article accepté pour publication ou publié