{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T05:34:38Z","timestamp":1740548078278,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152108"},{"type":"electronic","value":"9783642152115"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15211-5_23","type":"book-chapter","created":{"date-parts":[[2010,9,20]],"date-time":"2010-09-20T11:38:15Z","timestamp":1284982695000},"page":"219-228","source":"Crossref","is-referenced-by-count":3,"title":["High-Level Petri Nets with Object-Orientation \u2013 A High-Level Petri Net Model Allowing Multiple Inheritance and Multiple Polymorphism"],"prefix":"10.1007","author":[{"given":"Marius","family":"Brezovan","sequence":"first","affiliation":[]},{"given":"Dumitru","family":"Burdescu","sequence":"additional","affiliation":[]},{"given":"Eugen","family":"Ganea","sequence":"additional","affiliation":[]},{"given":"Liana","family":"Stanescu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"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.\u00a03, pp. 286\u2013292 (1993)","DOI":"10.1109\/ICSMC.1993.385025"},{"key":"23_CR2","unstructured":"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)"},{"key":"23_CR3","unstructured":"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)"},{"key":"23_CR4","unstructured":"Ceska, M., Janousek, V.: Object Orientation in Petri Nets. In: Proc. of the 22nd Conference of the ASU, Clermont-Ferrand, France, pp. 69\u201380 (1997)"},{"key":"23_CR5","unstructured":"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\u201330 (1991)"},{"key":"23_CR6","unstructured":"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\u201319. University of Hamburg (1997)"},{"key":"23_CR7","unstructured":"Mossakowski, T.: Representations, hierarchies and graphs of institutions. PhD thesis, Universitat Bremen (1996)"},{"key":"23_CR8","unstructured":"ISO\/IEC 15909-1, Software and system engineering. High-level Petri nets. Part 1: Concepts, definitions and graphical notation (2004)"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/3-540-50580-6_22","volume-title":"Advances in Petri Nets 1988","author":"E. Battiston","year":"1988","unstructured":"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.\u00a0340, pp. 20\u201343. Springer, Heidelberg (1988)"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/3-540-45397-0_3","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"O. Biberstein","year":"2001","unstructured":"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.\u00a02001, pp. 70\u2013127. Springer, Heidelberg (2001)"},{"key":"23_CR11","first-page":"45","volume":"26","author":"M. Brezovan","year":"2002","unstructured":"Brezovan, M.: A formal definition of High Level Petri Nets with Objects. Annals of the University of Craiova. Series: Electrical Engineering\u00a026, 45\u201354 (2002)","journal-title":"Annals of the University of Craiova. Series: Electrical Engineering"},{"issue":"3","key":"23_CR12","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1002\/j.1096-9942.1995.tb00019.x","volume":"1","author":"K. Bruce","year":"1996","unstructured":"Bruce, K., Cardelli, L., Castagna, G.: The Hopkins Objects Group, Leavens G, Pierce B, On Binary Methods. Theor. Pract. Obj. Syst.\u00a01(3), 221\u2013242 (1996)","journal-title":"Theor. Pract. Obj. Syst."},{"issue":"3","key":"23_CR13","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1145\/203095.203096","volume":"17","author":"G. Castagna","year":"1995","unstructured":"Castagna, G.: Covariance and Contravariance: Conflict without a Cause. ACM T Progr. Lang. Sys.\u00a017(3), 431\u2013447 (1995)","journal-title":"ACM T Progr. Lang. Sys."},{"issue":"2","key":"23_CR14","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J. Goguen","year":"1992","unstructured":"Goguen, J., Meseguer, J.: Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partialoperations. Theor. Comput. Sci.\u00a0105(2), 216\u2013263 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"23_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45397-0_1","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"C.A. Lakos","year":"2001","unstructured":"Lakos, C.A.: Object Oriented Modelling with Object Petri Nets. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02001, pp. 1\u201337. Springer, Heidelberg (2001)"},{"key":"23_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"Reisig, W.: Petri nets and algebraic specifications. Theor. Comput. Sci.\u00a080, 1\u201334 (1991)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"23_CR17","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1145\/243439.243441","volume":"28","author":"A. Taivalsaari","year":"1996","unstructured":"Taivalsaari, A.: On the Notion of Inheritance. ACM Comput. Surv.\u00a028(3), 438\u2013479 (1996)","journal-title":"ACM Comput. Surv."},{"key":"23_CR18","series-title":"EATCS Monograph in Theoretical Computer Science","volume-title":"Equations and Initial Semantics","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specifications I. In: Equations and Initial Semantics. EATCS Monograph in Theoretical Computer Science, vol.\u00a06, Springer, Heidelberg (1985)"}],"container-title":["Studies in Computational Intelligence","Intelligent Distributed Computing IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15211-5_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T22:58:42Z","timestamp":1740524322000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15211-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152108","9783642152115"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15211-5_23","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2010]]}}}