Simulação automática e geração de espaço de estados de modelos em redes de petri orientadas a objetos.

Abstract

Object Oriented Petri Nets (RPOO) is a formalism that merges the Petri Nets and Object Oriented semantics. This kind of merging guarantees the maintaining of original features of each one of the paradigms. The integration of formalisms in RPOO is an important as pect because it uses supported resources in Petri Nets and in object oriented. The inherent features of RPOO make it adequate for the specification, simulation and verification of protocols, concurrent systems and systems with mobile features. However, even with the for malism completely defined and experienced, the absent of some important tools makes the simulation–validation–verification process difficult and harder to be done. In this way, the practical use of RPOO formalism was damaged. This work had like main goal developing a software package that gives support to the building of simulating and state space generating tools for models in Object Oriented Petri Nets. The software package was completely developed in a oriented programing language — Java. Petri Nets and their mechanisms of evolution were simulated by classes and methods. With the software package building for RPOO, it was possible to build bigger and more complex models, and with the simulator and space state generator prototypes it was possible to simulate the models and to generate their space states.