High-Level Petri Nets with Object-Orientation – A High-Level Petri Net Model Allowing Multiple Inheritance and Multiple Polymorphism

Abstract

AbstractThis paper presents a high-level Petri net model called High-Level Petri Nets with Object-Orientation (HLPNOO), a new approach for introducing object-oriented concepts into the framework of Petri nets. An important feature of the HLPNOO formalism is the fact that it allows distinct hierarchies for subtyping and subclassing. We use order-sorted algebras in order to specify the notion of subtyping for object type hierarchies. Moreover we use the notions from category theory and institutions in order to allow composable Petri nets and multiple inheritance. We use encapsulated multi-methods and a multi-dispatching mechanism for messages in order to safety integrate the concepts of covariant and contravariant specialization of inherited methods and to allow the multiple polymorphism.KeywordsObject TypeDynamic SemanticPublic MethodMultiple InheritanceSubtype RelationThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.