Análise de sistemas complexos baseada na decomposição de sistemas de G-Nets.

Abstract

When specifying, designing and analyzing complex systems, it is necessary to adopt a modular or compositional methodology. This methodology shall allow the designer the ability to verify local properties of individual modules or components in the system, and also shall allow the verification of the correct behavior of interacting components. The application of Petri nets for the modeling and verification of systems, at specification and design levels are well know. Despite of powerful structuring mechanisms available in the Petri nets theory for the construction of the model of complex systems, the designer is still likely to face the problem of state explosion, when analyzing and verifying large systems. In this work we introduce a compositional analysis methodology for a kind of high level Petri nets called G-Nets. Moreover, having in mind the objective of applying this methodology for actual systems, we also address the systematic introduction of fault-tolerant properties in the design of a component. The application and exemplification of the introduced analysis methodology is on the design of software systems.