Skip to Main content Skip to Navigation
Conference papers

A Modular Verification Methodology for D-NRI Petri Nets

Jean-Michel Ilié 1 Kaïs Klai 1
1 SRC - Systèmes répartis et coopératifs
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas
Contributor : Lip6 Publications <>
Submitted on : Wednesday, May 31, 2017 - 3:37:59 PM
Last modification on : Thursday, March 21, 2019 - 1:06:33 PM



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⟩



Record views