A Modular Verification Methodology for D-NRI Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

A Modular Verification Methodology for D-NRI Petri Nets

Jean-Michel Ilié
  • Fonction : Auteur
  • PersonId : 962210
Kaïs Klai
  • Fonction : Auteur
  • PersonId : 1009138

Résumé

Summary form only given. Verification techniques concerning temporal properties are known to be based on the detection of infinite runs. However, their practical interests are limited due to a combinatorial explosion problem in space and time. Therefore, we introduce a new class of Petri net, named D-NRI, which can be decomposed through an interface of transitions. Conditions are specified in such a way that the checking is realized on the components separately. With this divide and conquer technique, we address the problem of model checking of action based temporal properties as for client-server protocols.
Fichier non déposé

Dates et versions

hal-01529946 , version 1 (31-05-2017)

Identifiants

Citer

Jean-Michel Ilié, Kaïs Klai. A Modular Verification Methodology for D-NRI Petri Nets. International Conference ACS/IEEE 2003 on Computer Systems and Applications (AICCSA-03), Jul 2003, Tunis, Tunisia. ⟨10.1109/AICCSA.2003.1227568⟩. ⟨hal-01529946⟩
154 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More