Distributed and structured analysis approaches to study large and complex systems
Lectures on formal methods and performance analysis
An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm
Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XI
Compositional State Space Generation
Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
Modular Analysis of Systems Composed of Semiautonomous Subsystems
ACSD '04 Proceedings of the Fourth International Conference on Application of Concurrency to System Design
Model checking safety properties in modular high-level nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Local Verification Using a Distributed State Space
Fundamenta Informaticae
| Hi-index | 0.00 |
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.