• français
    • English
  • English 
    • français
    • English
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.
BIRD Home

Browse

This CollectionBy Issue DateAuthorsTitlesSubjectsJournals BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesSubjectsJournals

My Account

Login

Statistics

View Usage Statistics

De nouvelles réductions colorées pour la validation de logiciels

Thumbnail
Date
2004
Dewey
Programmation, logiciels, organisation des données
Sujet
Software Validation; Reductions; High-level Petri nets
Journal issue
e-STA
Volume
3
Publication date
2004
Publisher
Société de l'électricité, de l'électronique et des technologies de l'information et de la communication
URI
https://basepub.dauphine.fr/handle/123456789/2754
Collections
  • LAMSADE : Publications
Metadata
Show full item record
Author
Evangelista, Sami
Haddad, Serge
Pradat-Peyre, Jean-François
Type
Article accepté pour publication ou publié
Abstract (FR)
Une abstraction structurelle du modèle analysé permet de réduire très efficacement la complexité d’une méthode d’analyse basée sur l’énumération des états accessibles. Nous présentons dans cet article des réductions pertinentes de réseaux colorés construites sur de nouvelles réductions de réseaux de Petri ordinaires. Ces réductions ne font appel qu’à des conditions structurelles ou algébriques. Elles préservent la vivacité du modèle mais aussi toute formule LTL qui n’observe pas les transitions réduites du réseau. L’utilisation conjointe de conditions structurelles et algébriques permet d’élargir significativement le domaine d’application de ces réductions. De plus la définition de ces réductions est paramètrée vis à vis du cardinal des domaines de couleurs.
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 significantly enlarges their application area. Furthermore the specification of the transformation is parametric with respect to the cardinalities of coloured domains.

  • Accueil Bibliothèque
  • Site de l'Université Paris-Dauphine
  • Contact
SCD Paris Dauphine - Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16

 Content on this site is licensed under a Creative Commons 2.0 France (CC BY-NC-ND 2.0) license.