Sistemas de redes de petri modulares baseados em objetos.

Abstract

In this work, we introduce a tool which allows the formal description, specification and modeling of complex software systems based on Petri Nets Theory and Object Orientation. Our work is motivated by the growing necessity of mathematical based tools in order to establish an effective Software Engineering Discipline. All definitions related to the tool, are presented through a gradual approach which allows the inclusion of the desired features in a one-per-one basis. Two applications of this tool are discussed with the objective of experimentation and validation. The applicattions, also allow the detection of eventual mistakes and/or unexpected effects caused by the underlying formalism. Thus, opening several research possibilities in order to develop and refine the introduced tool.