Local Verification Using a Distributed State Space

摘要: This paper deals with the modular analysis of distributed concurrent systems modelled by Petri nets. The main techniques such suffer from well-known problem combinatory explosion state space. In order to cope this problem, we use a representation space instead ordinary one. representation, namely space, is much smaller than We propose distribute on every machine associated one module. enhance modularity verification some local properties any module limiting it exploration and global information. Once construction performed, there no communication between modules during verification.