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
Abstract
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.