Inheritance issues in object-oriented Petri net models

In this paper we discuss relevant issues of inheritance in the context of object-oriented specification languages with concurrent semantics based on High-Level Petri Nets. A specific formalization, named OO-CPN, is presented to discuss possible approaches to deal with inheritance in such a context.

[1]  Peter Wegner,et al.  The Object-Oriented Classification Paradigm , 1987, Research Directions in Object-Oriented Programming.

[2]  Stanley B. Zdonik,et al.  Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like , 1988, ECOOP.

[3]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[4]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[5]  Pierre America,et al.  A parallel object-oriented language with inheritance and subtyping , 1990, OOPSLA/ECOOP '90.

[6]  J. Palsberg,et al.  Static Typing for Object-Oriented Programming , 1991 .

[7]  Carla Simone,et al.  A survey of equivalence notions for net based systems , 1992, Advances in Petri Nets: The DEMON Project.

[8]  Christophe Sibertin-Blanc,et al.  Cooperative Nets , 1994, Application and Theory of Petri Nets.

[9]  Jens Palsberg,et al.  A Denotational Semantics of Inheritance and Its Correctness , 1994, Inf. Comput..

[10]  Charles Lakos.  Pragmatic Inheritance Issues for Object Petri Nets , 1995 .

[11]  Antero Taivalsaari,et al.  On the notion of inheritance , 1996, CSUR.

[12]  A. Perkusich,et al.  Object-based high-level Petri nets as a formal approach to distributed information systems , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

[13]  Charles Lakos,et al.  On the Abstraction of Coloured Petri Nets , 1997, ICATPN.