Aspectos de herança em uma notação orientada a objetos baseada em redes de petri.

Abstract

This work presents a discussion related to aspects dealing with the inclusion of the inheritance concept in a formal notation, based on Petri nets and Object Oriented concepts. The objective of such notation is the specification of concurrent distributed software systems. In this work a more adequate approach to deal with inheritance is considered, opposed to those that consider only practical aspects of inheritance to increase productivity. The importance of a mechanism to represent the conceptual specialization is the main concern in this work.