Abstract
This 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bastide, R., Sibertin-Blanc, R., Palanque, P.: Cooperative objects: A concurrent, Petri-net based, object-oriented language. In: Proc. of the IEEE International Conference on Systems, Man and Cybernetics, vol. 3, pp. 286–292 (1993)
Bastide, R.: Approaches in unifying Petri Nets and the Object-Oriented Approach. In: Proc. of the 1st Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy (1995)
Battiston, E., Chizzoni, A., Cindio, F.: Inheritance and concurrency in CLOW. In: Proc. of the 1st Workshop on Object-Oriented Programming and Models of Concurrency. Torino, Italy (1995)
Ceska, M., Janousek, V.: Object Orientation in Petri Nets. In: Proc. of the 22nd Conference of the ASU, Clermont-Ferrand, France, pp. 69–80 (1997)
Lakos, C.A., Keen, C.D.: LOOPN - Language for Object-Oriented Petri Nets. In: Proc. of the SCS Multiconference on Object-Oriented Simulation, Anaheim, USA, pp. 22–30 (1991)
Maier, C., Moldt, D.: Object Coloured Petri Nets - A formal technique for object oriented modelling. In: Farwer, B., Moldt, D., Stehr, M.O. (eds.) Petri Nets in System Engineering, Modelling, Verification and Validation, pp. 11–19. University of Hamburg (1997)
Mossakowski, T.: Representations, hierarchies and graphs of institutions. PhD thesis, Universitat Bremen (1996)
ISO/IEC 15909-1, Software and system engineering. High-level Petri nets. Part 1: Concepts, definitions and graphical notation (2004)
Battiston, E., Cindio, F.D., Mauri, G.: OBJSA nets: A Class of High-level Nets having Objects as Domains. In: Rozenberg, G. (ed.) APN 1988. LNCS, vol. 340, pp. 20–43. Springer, Heidelberg (1988)
Biberstein, O., Buchs, D., Guelfi, N.: Object-oriented nets with algebraic specifications: The CO-OPN/2 formalism. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2001, pp. 70–127. Springer, Heidelberg (2001)
Brezovan, M.: A formal definition of High Level Petri Nets with Objects. Annals of the University of Craiova. Series: Electrical Engineering 26, 45–54 (2002)
Bruce, K., Cardelli, L., Castagna, G.: The Hopkins Objects Group, Leavens G, Pierce B, On Binary Methods. Theor. Pract. Obj. Syst. 1(3), 221–242 (1996)
Castagna, G.: Covariance and Contravariance: Conflict without a Cause. ACM T Progr. Lang. Sys. 17(3), 431–447 (1995)
Goguen, J., Meseguer, J.: Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partialoperations. Theor. Comput. Sci. 105(2), 216–263 (1992)
Lakos, C.A.: Object Oriented Modelling with Object Petri Nets. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2001, pp. 1–37. Springer, Heidelberg (2001)
Reisig, W.: Petri nets and algebraic specifications. Theor. Comput. Sci. 80, 1–34 (1991)
Taivalsaari, A.: On the Notion of Inheritance. ACM Comput. Surv. 28(3), 438–479 (1996)
Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specifications I. In: Equations and Initial Semantics. EATCS Monograph in Theoretical Computer Science, vol. 6, Springer, Heidelberg (1985)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brezovan, M., Burdescu, D., Ganea, E., Stanescu, L. (2010). High-Level Petri Nets with Object-Orientation – A High-Level Petri Net Model Allowing Multiple Inheritance and Multiple Polymorphism. In: Essaaidi, M., Malgeri, M., Badica, C. (eds) Intelligent Distributed Computing IV. Studies in Computational Intelligence, vol 315. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15211-5_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-15211-5_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15210-8
Online ISBN: 978-3-642-15211-5
eBook Packages: EngineeringEngineering (R0)