COSTA, S. A. D.; http://lattes.cnpq.br/2740893467510305; COSTA, Sandro Alex Damasceno.
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.