• xmlui.mirage2.page-structure.header.title
    • français
    • English
  • Aide
  • Connexion
  • Langue 
    • Français
    • English
Consulter le document 
  •   Accueil
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • Consulter le document
  •   Accueil
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • Consulter le document
JavaScript is disabled for your browser. Some features of this site may not work without it.

Afficher

Toute la baseCentres de recherche & CollectionsAnnée de publicationAuteurTitreTypeCette collectionAnnée de publicationAuteurTitreType

Mon compte

Connexion

Enregistrement

Statistiques

Documents les plus consultésStatistiques par paysAuteurs les plus consultés
Thumbnail - Request a copy

Modular Verification of Petri nets properties: a Structure-based Approach

Klai, Kais; Haddad, Serge; Ilié, Jean-Michel (2005), Modular Verification of Petri nets properties: a Structure-based Approach, dans Wang, Farn, Formal Techniques for Networked and Distributed Systems - FORTE 2005 Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, Springer : Berlin, p. 189-203. http://dx.doi.org/10.1007/11562436_15

Type
Communication / Conférence
Date
2005
Titre du colloque
25th International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005
Date du colloque
2005-10
Ville du colloque
Taipei
Pays du colloque
Taïwan
Titre de l'ouvrage
Formal Techniques for Networked and Distributed Systems - FORTE 2005 Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
Auteurs de l’ouvrage
Wang, Farn
Éditeur
Springer
Titre de la collection
Lecture Notes in Computer Science
Numéro dans la collection
3731
Ville d’édition
Berlin
Isbn
978-3-540-29189-3
Nombre de pages
558
Pages
189-203
Identifiant publication
http://dx.doi.org/10.1007/11562436_15
Métadonnées
Afficher la notice complète
Auteur(s)
Klai, Kais
Haddad, Serge
Ilié, Jean-Michel
Résumé (EN)
In this paper, we address the modular verification problem for a Petri net obtained by composition of two subnets. At first, we show how to transform an asynchronous composition into a synchronous one where the new subnets are augmented from the original ones by means of linear invariants. Then we introduce a non-constraining relation between subnets based on their behaviour. Whenever this relation is satisfied, standard properties like the liveness and the boundedness and generic properties specified by a linear time logic may be checked by examination of the augmented subnets in isolation. Finally, we give a sufficient condition for this relation which can be detected modularly using an efficient algorithm.
Mots-clés
Abstraction; modular verification; (de)composition; Petri nets

Publications associées

Affichage des éléments liés par titre et auteur.

  • Vignette de prévisualisation
    An Incremental Verification Technique using Decomposition of Petri Nets 
    Klai, Kais; Haddad, Serge; Ilié, Jean-Michel (2002) Communication / Conférence
  • Vignette de prévisualisation
    Design and Evaluation of a Symbolic and Abstraction-Based Model Checker 
    Haddad, Serge; Ilié, Jean-Michel; Klai, Kais (2004) Communication / Conférence
  • Vignette de prévisualisation
    On the use of exact lumpability in partially symmetrical Well-formed Nets 
    Baarir, Souheib; Dutheillet, Claude; Haddad, Serge; Ilié, Jean-Michel (2005) Communication / Conférence
  • Vignette de prévisualisation
    Contribution des réseaux de Petri de haut niveau 
    Haddad, Serge; Ilié, Jean-Michel; Taghelit, Mohamed; Dutheillet, Claude; Moreaux, Patrice (1997) Article accepté pour publication ou publié
  • Vignette de prévisualisation
    Exploiting Partial Symmetries in Well-formed nets for the Reachability and the Linear Time Model Checking Problems 
    Baarir, Souheib; Haddad, Serge; Ilié, Jean-Michel (2005) Communication / Conférence
Dauphine PSL Bibliothèque logo
Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16
Tél. : 01 44 05 40 94
Contact
Dauphine PSL logoEQUIS logoCreative Commons logo