SCSC 2007 START Conference Manager    

A Distributed Verification Approach For Modular Petri Nets

Chiheb Ameur Abid and Belhassen Zouari

Summer Computer Simulation Conference 2007 (SCSC 2007)
San Diego, California (USA), July 15-18, 2007


This paper reviews a proposal for the modular analysis of Petri nets. It improves the modularity of the verification process using modular state spaces. By adding some computations during the construction of the modular state space, one can determine the liveness of a module without exploring other local information. Thereby, it is suitable for the conception of a new distributed verification approach where every site maintains one module. The sites need to cooperate only during the construction of the modular state space.

START Conference Manager (V2.54.4)