{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:32:38Z","timestamp":1742635958596,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540613633"},{"type":"electronic","value":"9783540685050"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61363-3_21","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:35:18Z","timestamp":1330292118000},"page":"380-399","source":"Crossref","is-referenced-by-count":6,"title":["The consistent use of names and polymorphism in the definition of Object Petri Nets"],"prefix":"10.1007","author":[{"given":"Charles","family":"Lakos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"G. Agha, S. Fr\u00f8lund, W. Y. Kim, R. Panwar, A. Patterson, and D. Sturman Abstraction and Modularity Mechanisms for Concurrent Computing Research Directions in Concurrent Object-Oriented Programming, G. Agha, P, Wegner, and A. Yonezawa (eds.), pp 3\u201321, MIT Press (1993).","key":"21_CR1","DOI":"10.7551\/mitpress\/2087.001.0001"},{"doi-asserted-by":"crossref","unstructured":"G.A. Agha Actors: A Model of Concurrent Computation in Distributed Systems The MIT Press series in artificial intelligence, MIT Press (1986).","key":"21_CR2","DOI":"10.7551\/mitpress\/1086.001.0001"},{"unstructured":"E. Battiston, A. Chizzoni, and F.D. Cindio Inheritance and Concurrency in CLOWN Proceedings of Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy (1995).","key":"21_CR3"},{"key":"21_CR4","first-page":"717","volume-title":"Man and Cybernetics2","author":"E. Battiston","year":"1993","unstructured":"E. Battiston and F. de Cindio Class Orientation and Inheritance in Modular Algebraic Nets Proceedings of IEEE International Conference on Systems, Man and Cybernetics2, pp 717\u2013723, Le Touquet, France, IEEE (1993)."},{"unstructured":"E. Battiston, F. de Cindio, and G. Mauri OBJSA Nets: A Class of High-level Nets having Objects as Domains Advances in Petri Nets 1988, G. Rozenberg (ed.), Lecture Notes in Computer Science 340, pp 20\u201343, Springer-Verlag (1988).","key":"21_CR5"},{"key":"21_CR6","volume-title":"Lecture notes in computer science 731","author":"M. Bever","year":"1993","unstructured":"M. Bever, K. Geihs, L. Heuser, M. M\u00fchlh\u00e4user, and A. Schill Distributed Systems, OSF DCE, and Beyond Proceedings of International DCE Workshop: DCE \u2014 the OSF distributed computing environment: Client\/Server Model and Beyond, Lecture notes in computer science 731, Karlsruhe, Germany, Springer-Verlag (1993)."},{"unstructured":"O. Biberstein and D. Buchs Structured Algebraic Nets with Object-Orientation Proceedings of Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy (1995).","key":"21_CR7"},{"unstructured":"D. Buchs and N. Guelfi CO-OPN: A Concurrent Object Oriented Petri Net Approach Proceedings of 12th International Conference on the Application and Theory of Petri Nets, Gjern, Denmark (1991).","key":"21_CR8"},{"unstructured":"D. Buchs and N, Guelfi Open Distributed Programming Using the Object Oriented Specification Formalism CO-OPN Proceedings of 5th International Conference on Putting into Practice Methods and Tools for Information System Design, Nantes (1992).","key":"21_CR9"},{"key":"21_CR10","first-page":"159","volume-title":"Lecture Notes in Computer Science 815","author":"S. Christensen","year":"1994","unstructured":"S. Christensen and N. D. Hansen Coloured Petri Nets Extended with Channels for Synchronous Communication Proceedings of 15th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 815, pp 159\u2013178, Zaragoza, Springer-Verlag (1994)."},{"key":"21_CR11","first-page":"3","volume-title":"Computer Simulation: Growth Through Extension","author":"P.A. Fishwick","year":"1994","unstructured":"P.A. Fishwick Computer Simulation: Growth Through Extension Proceedings of Modelling and Simulation (European Simulation Multiconference), pp 3\u201320, Barcelona, Society for Computer Simulation (1994)."},{"doi-asserted-by":"crossref","unstructured":"S. Haddad A Reduction Theory for Coloured Nets. Advances in Petri Nets 1989, G. Rozenberg (ed.), Lecture Notes in Computer Science 424, pp 209\u2013235, Springer-Verlag (1990).","key":"21_CR12","DOI":"10.1007\/3-540-52494-0_31"},{"unstructured":"K. Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use \u2014 Volume 1: Basic Concepts EATCS Monographs in Computer Science, Vol. 26, Springer-Verlag (1992).","key":"21_CR13"},{"unstructured":"K. Jensen, S. Christensen, P. Huber, and M. Holla Design\/CPN\u2122: A Reference Manual MetaSoftware Corporation (1992).","key":"21_CR14"},{"key":"21_CR15","first-page":"338","volume-title":"Lecture Notes in Computer Science 815","author":"C. Lakos","year":"1994","unstructured":"C. Lakos and S. Christensen A General Systematic Approach to Arc Extensions for Coloured Petri Nets Proceedings of 15th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 815, pp 338\u2013357, Zaragoza, Springer-Verlag (1994)."},{"key":"21_CR16","first-page":"369","volume-title":"LOOPN++: A New Language for Object-Oriented Petri Nets","author":"C. Lakos","year":"1994","unstructured":"C. Lakos and C. Keen LOOPN++: A New Language for Object-Oriented Petri Nets Proceedings of Modelling and Simulation (European Simulation Multiconference), pp 369\u2013374, Barcelona, Society for Computer Simulation (1994)."},{"unstructured":"C.A. Lakos Object Petri Nets \u2014 Definition and Relationship to Coloured Nets Technical Report TR94-3, Computer Science Department, University of Tasmania (1994).","key":"21_CR17"},{"doi-asserted-by":"crossref","unstructured":"C.A. Lakos The Consistent Use of Names and Polymorphism to Achieve an Elegant Definition of Object Petri Nets Technical Report R95-12, Computer Science Department, University of Tasmania (1995).","key":"21_CR18","DOI":"10.1007\/3-540-61363-3_21"},{"key":"21_CR19","first-page":"278","volume-title":"Lecture Notes in Computer Science 935","author":"C.A. Lakos","year":"1995","unstructured":"C.A. Lakos From Coloured Petri Nets to Object Petri Nets Proceedings of 16th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 935, pp 278\u2013297, Torino, Italy, Springer-Verlag (1995)."},{"key":"21_CR20","volume-title":"Pragmatic Inheritance Issues for Object Petri Nets","author":"C.A. Lakos","year":"1995","unstructured":"C.A. Lakos Pragmatic Inheritance Issues for Object Petri Nets Proceedings of TOOLS Pacific 1995, Melbourne, Australia, Prentice-Hall (1995)."},{"unstructured":"B. Meyer Object-Oriented Software Construction Prentice Hall (1988).","key":"21_CR21"},{"unstructured":"B. Meyer Eiffel: The Language Prentice Hall (1992).","key":"21_CR22"},{"issue":"1","key":"21_CR23","first-page":"78","volume":"36","author":"R. Milner","year":"1993","unstructured":"R. Milner Elements of Interaction Communications of the ACM, 36, 1, pp 78\u201389 (1993).","journal-title":"Elements of Interaction Communications of the ACM"},{"issue":"1","key":"21_CR24","first-page":"1","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and D. Walker A Calculus of Mobile Processes, I Information and Computation, 100, 1, pp 1\u201340 (1992).","journal-title":"A Calculus of Mobile Processes, I Information and Computation"},{"doi-asserted-by":"crossref","unstructured":"C.A. Petri \u201cForgotten\u201d Topics of Net Theory Advances in Petri Nets 1986Lecture Notes in Computer Science, Springer-Verlag (1986).","key":"21_CR25","DOI":"10.1007\/3-540-17906-2_36"},{"unstructured":"W. Reisig Petri nets: An Introduction EATCS Monographs on Theoretical Computer Science, Vol. 4, Springer-Verlag (1985).","key":"21_CR26"},{"key":"21_CR27","first-page":"377","volume-title":"Lecture Notes in Computer Science 691","author":"C. Sibertin-Blanc","year":"1993","unstructured":"C. Sibertin-Blanc A Client-Server Protocol for the Composition of Petri Nets Proceedings of 14th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 691, pp 377\u2013396, Chicago, Springer-Verlag (1993)."},{"key":"21_CR28","first-page":"471","volume-title":"Lecture Notes in Computer Science 815","author":"C. Sibertin-Blanc","year":"1994","unstructured":"C. Sibertin-Blanc Cooperative Nets Proceedings of 15th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 815, pp 471\u2013490, Zaragoza, Spain, Springer-Verlag (1994)."},{"unstructured":"C. Sibertin-Blanc, N. Hameurlain, and P. Touzeau SYROCO: A C++ Implementation of Cooperative Objects Proceedings of Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy (1995).","key":"21_CR29"},{"key":"21_CR30","first-page":"341","volume-title":"Electronic Data Interchange: A High-level Formal Specification in Object-Z","author":"P.A. Swatman","year":"1991","unstructured":"P.A. Swatman, P.M.C. Swatman, and R. Duke Electronic Data Interchange: A High-level Formal Specification in Object-Z Proceedings of 6th Australian Software Engineering Conference, pp 341\u2013354, Sydney, Australia, Springer-Verlag (1991)."},{"unstructured":"R. Valk Modelling Concurrency by Task\/Flow EN Systems 3rd Workshop on Concurrency and Compositionality, 1991, E. Best, et al. (ed.), GMD-Studien 191, pp 207\u2013215 (1991).","key":"21_CR31"},{"unstructured":"R. Valk Petri Nets as Dynamical Objects Proceedings of Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy (1995).","key":"21_CR32"},{"key":"21_CR33","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1145\/38765.38823","volume-title":"Proceedings of OOPSLA 87","author":"P. Wegner","year":"1987","unstructured":"P. Wegner Dimensions of Object-Based Language Design Proceedings of OOPSLA 87, pp 168\u2013182, Orlando, Florida, ACM (1987)."},{"key":"21_CR34","first-page":"55","volume-title":"Lecture Notes in Computer Science 322","author":"P. Wegner","year":"1988","unstructured":"P. Wegner Inheritance as an Incremental Modification Mechanism, or What Like Is and Isn't Like Proceedings of ECOOP '88 \u2014 European Conference on Object Oriented Programming, Lecture Notes in Computer Science 322, pp 55\u201377, Oslo, Norway, Springer Verlag (1988)."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1996"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61363-3_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:18:31Z","timestamp":1742599111000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61363-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613633","9783540685050"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-61363-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}