{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:35:31Z","timestamp":1761597331119},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600299"},{"type":"electronic","value":"9783540494089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60029-9_45","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:30:34Z","timestamp":1330277434000},"page":"278-297","source":"Crossref","is-referenced-by-count":51,"title":["From Coloured Petri Nets to 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":[{"key":"17_CR1","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).","DOI":"10.7551\/mitpress\/2087.001.0001"},{"key":"17_CR2","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).","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"M. Baldassari and G. Bruno An Environment for Object-Oriented Conceptual Programming Based on PROT Nets Advances in Petri Nets 1988, G. Rozenberg (ed.), Lecture Notes in Computer Science 340, pp 1\u201319, Springer Verlag (1988).","DOI":"10.1007\/3-540-50580-6_21"},{"key":"17_CR4","first-page":"717","volume-title":"Class Orientation and Inheritance in Modular Algebraic Nets","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)."},{"key":"17_CR5","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":"17_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)."},{"key":"17_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":"17_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":"17_CR9","doi-asserted-by":"crossref","unstructured":"L. Cherkasova, V. Kotov, and T. Rokicki On Net Modelling of Industrial Size Concurrent Systems Proceedings of 15th International Conference on the Application and Theory of Petri Nets \u2014 Case Studies, Zaragoza (1994).","DOI":"10.1007\/3-540-56863-8_67"},{"key":"17_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":"17_CR11","doi-asserted-by":"crossref","unstructured":"S. Christensen and L. Petrucci Towards a Modular Analysis of Coloured Petri Nets Application and Theory of Petri Nets, K. Jensen (ed.), Lecture Notes in Computer Science 616, pp 113\u2013133, Springer-Verlag (1992).","DOI":"10.1007\/3-540-55676-1_7"},{"key":"17_CR12","unstructured":"S. Christensen and J. Toksvig DesignBeta V2.0.1 \u2014 BETA Code Segments in CP-nets Lecture Notes OO&CPN \u2014 nr 5, Computer Science Department, Aarhus University (1993)."},{"key":"17_CR13","first-page":"229","volume-title":"Lecture Notes in Computer Science 489","author":"J. Engelfriet","year":"1991","unstructured":"J. Engelfriet, G. Leih, and G. Rozenberg Net-Based Description of Parallel Object-Based Systems, or POTs and POPs Proceedings of 1990 REX Workshop on Foundations of Object-Oriented Languages, Lecture Notes in Computer Science 489, pp 229\u2013273, Noordwijkerhout, Netherlands, Springer-Verlag (1991)."},{"key":"17_CR14","first-page":"3","volume-title":"Proceedings of Modelling and Simulation (European Simulation Multiconference","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)."},{"key":"17_CR15","volume-title":"Lecture Notes in Computer Science","author":"K. Hee","year":"1991","unstructured":"K.M.v. Hee and P.A.C. Verkoulen Integration of a Data Model and High-Level Petri Nets Proceedings of 12th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science, Gjern, Denmark, Springer (1991)."},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"P. Huber, K. Jensen, and R.M. Shapiro Hierarchies of Coloured Petri Nets Proceedings of 10th International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science 483, pp 313\u2013341, Springer-Verlag (1990).","DOI":"10.1007\/3-540-53863-1_30"},{"key":"17_CR17","unstructured":"K. Jensen Coloured Petri Nets: A High Level Language for System Design and Analysis Advances in Petri Nets 1990, G. Rozenberg (ed.), Lecture Notes in Computer Science 483, Springer-Verlag (1990)."},{"key":"17_CR18","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":"17_CR19","unstructured":"K. Jensen, S. Christensen, P. Huber, and M. Holla Design\/CPN\u2122: A Reference Manual MetaSoftware Corporation (1992)."},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"K. Jensen and N. Wirth Pascal User Manual and Report Second edn., Springer-Verlag (1975).","DOI":"10.1007\/978-1-4615-9984-5"},{"key":"17_CR21","unstructured":"B.B. Kristensen, O.L. Madsen, B. M\u00f8ller-Pedersen, and K. Nygaard Object Oriented Programming in the BETA Programming Language (1991)."},{"key":"17_CR22","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":"17_CR23","first-page":"369","volume-title":"Proceedings of Modelling and Simulation (European Simulation Multiconference","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)."},{"key":"17_CR24","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":"17_CR25","unstructured":"C.A. Lakos and C.D. Keen Modelling Layered Protocols in LOOPN Proceedings of Fourth International Workshop on Petri Nets and Performance Models, Melbourne, Australia (1991)."},{"key":"17_CR26","volume-title":"Modelling a Door Controller Protocol in LOOPN","author":"C.A. Lakos","year":"1993","unstructured":"C.A. Lakos and C.D. Keen Modelling a Door Controller Protocol in LOOPN Proceedings of 10th European Conference on the Technology of Object-oriented Languages and Systems Versailles, Prentice-Hall (1993)."},{"key":"17_CR27","volume-title":"Thesis","author":"A. Martin","year":"1993","unstructured":"A. Martin and B. Santanach Introducing Object-Oriented Concepts into the Framework of Coloured Petri Nets Thesis, Institut D'Informatique D'Entreprise, Evry (1993)."},{"key":"17_CR28","unstructured":"B. Meyer Object-Oriented Software Construction Prentice Hall (1988)."},{"key":"17_CR29","unstructured":"SAA Programming Language FORTRAN Australian Standard, Vol. AS1486-1973, Standards Association of Australia (1973)."},{"key":"17_CR30","volume-title":"Object Lifecycles \u2014 Modeling the World in States","author":"S. Shlaer","year":"1992","unstructured":"S. Shlaer and S.J. Mellor Object Lifecycles \u2014 Modeling the World in States Yourdon Press, Prentice Hall (1992)."},{"key":"17_CR31","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":"17_CR32","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)."},{"key":"17_CR33","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)."},{"key":"17_CR34","doi-asserted-by":"crossref","unstructured":"P.S. Thiagarajan Elementary Net Systems Advances in Petri Nets 1986, Part I, W. Brauer, W. Reisig, and G. Rozenberg (eds.), Lecture Notes in Computer Science 254, pp 26\u201359, Springer-Verlag (1987).","DOI":"10.1007\/978-3-540-47919-2_3"},{"key":"17_CR35","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":"17_CR36","doi-asserted-by":"crossref","unstructured":"J. Vautherin Parallel Systems Specifications with Coloured Petri Nets and Algebraic Specifications Advances in Petri Nets 1987, G. Rozenberg (ed.), Lecture Notes in Computer Science 266, pp 293\u2013308, Springer Verlag (1987).","DOI":"10.1007\/3-540-18086-9_31"},{"key":"17_CR37","volume-title":"PhD Thesis","author":"P.A.C. Verkoulen","year":"1993","unstructured":"P.A.C. Verkoulen Integrated Information Systems Design: An Approach Based on Object-Oriented Concepts and Petri Nets PhD Thesis, Technical University of Eindhoven, the Netherlands (1993)."},{"key":"17_CR38","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":"17_CR39","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 1995"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60029-9_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T09:19:29Z","timestamp":1640942369000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60029-9_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600299","9783540494089"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/3-540-60029-9_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}