{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:48:29Z","timestamp":1759146509755},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540419426"},{"type":"electronic","value":"9783540453970"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45397-0_1","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:17:01Z","timestamp":1184602621000},"page":"1-37","source":"Crossref","is-referenced-by-count":22,"title":["Object Oriented Modelling with 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":[[2001,4,25]]},"reference":[{"key":"1_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":"1_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":"1_CR3","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Advances in Petri Nets 1988","author":"M. Baldassari","year":"1988","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)."},{"key":"1_CR4","unstructured":"E. Battiston, A. Chizzoni, and F. de Cindio Inheritance and Concurrency in CLOWN Proceedings of Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy (1995)."},{"key":"1_CR5","series-title":"Lect Notes Comput Sci","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":"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":"1_CR6","unstructured":"M.Y. Ben-Gershon and S.J. Goldsack Using inheritance to build extendable synchronisation policies for concurrent and distributed systems Proceedings of TOOLS Pacific 1995, pp 109\u2013122, Melbourne, Australia, Prentice-Hall (1995)."},{"key":"1_CR7","unstructured":"G. Booch and J. Rumbaugh Unified Method for Object-Oriented Development Version 0.8, Rational Software Corporation (1995)."},{"key":"1_CR8","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":"1_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-Case Studies, Zaragoza (1994).","DOI":"10.1007\/3-540-56863-8_67"},{"key":"1_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/3-540-55676-1_7","volume-title":"Application and Theory of Petri Nets","author":"S. Christensen","year":"1992","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)."},{"key":"1_CR11","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":"1_CR12","unstructured":"K. Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1: Basic Concepts EATCS Monographs in Computer Science, Vol. 26, Springer-Verlag (1992)."},{"key":"1_CR13","unstructured":"C.D. Keen and C.A. Lakos Information Systems Modelling using LOOPN++, an Object Petri Net Scheme Proceedings of 4th International Working Conference on Dynamic Modelling and Information Systems, pp 31\u201352, Noordwijkerhout, the Netherlands, Delft University Press (1994)."},{"key":"1_CR14","unstructured":"K. Kurbel and T. Schnieder Integration Issues of Information Engineering Based I-CASE Tools Proceedings of 4th International Conference on Information Systems Development, pp 431\u2013441, Bled, Slovenia, Moderna Organizacija, Kranj (1994)."},{"key":"1_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1007\/3-540-58152-9_19","volume-title":"A General Systematic Approach to Arc Extensions for Coloured Petri Nets","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":"1_CR16","unstructured":"C.A. Lakos Object Petri Nets. Definition and Relationship to Coloured Nets Technical Report TR94-3, Computer Science Department, University of Tasmania (1994)."},{"key":"1_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-60029-9_45","volume-title":"From Coloured Petri Nets to Object Petri Nets","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":"1_CR18","unstructured":"C.A. Lakos Pragmatic Inheritance Issues for Object Petri Nets Proceedings of TOOLS Pacific 1995, pp 309\u2013321, Melbourne, Australia, Prentice-Hall (1995)."},{"key":"1_CR19","series-title":"Lect Notes Comput Sci","first-page":"380","volume-title":"The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets","author":"C.A. Lakos","year":"1995","unstructured":"C.A. Lakos The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets Proceedings of 17th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 1091, pp 380\u2013399, Osaka, Japan, Springer-Verlag (1996)."},{"key":"1_CR20","unstructured":"C.A. Lakos The LOOPN++ User Manual Technical Report R96-1, Department of Computer Science, University of Tasmania (1996)."},{"key":"1_CR21","unstructured":"C.A. Lakos Towards a Reflective Implementation of Object Petri Nets Proceedings of TOOLS Pacific 1996, pp 129\u2013140, Melbourne, Australia, Monash Printing Services (1996)."},{"key":"1_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/3-540-63139-9_29","volume-title":"On the Abstraction of Coloured Petri Nets","author":"C.A. Lakos","year":"1997","unstructured":"C.A. Lakos On the Abstraction of Coloured Petri Nets Proceedings of 18th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 1248, pp 42\u201361, Toulouse, France, Springer-Verlag (1997)."},{"key":"1_CR23","unstructured":"C.A. Lakos and C.D. Keen Modelling a Door Controller Protocol in LOOPN Proceedings of 10th European Conference on the Technology of Objectoriented Languages and Systems, Versailles, Prentice-Hall (1993)."},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"S. Matsuoka and A. Yonezawa Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages Research Directions in Concurrent Object-Oriented Programming, G. Agha, P. Wegner, and A. Yonezawa (eds.), pp 107\u2013150, MIT Press (1993).","DOI":"10.7551\/mitpress\/2087.003.0007"},{"issue":"3","key":"1_CR25","first-page":"24","volume":"7","author":"S.J. Mellor","year":"1994","unstructured":"S.J. Mellor and S. Shlaer A deeper look. at execution and translation Journal of Object-Oriented Programming, 7, 3, pp 24\u201326 (1994).","journal-title":"Journal of Object-Oriented Programming"},{"key":"1_CR26","unstructured":"B. Meyer Object-Oriented Software Construction Prentice Hall (1988)."},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"O. Nierstrasz Composing Active Objects Research Directions in Concurrent Object-Oriented Programming, G. Agha, P. Wegner, and A. Yonezawa (eds.), pp 151\u2013171, MIT Press (1993).","DOI":"10.7551\/mitpress\/2087.003.0008"},{"key":"1_CR28","unstructured":"G. Philipson CASE technology\u2019s mid-life crisis Informatics, pp 34\u201336 (1993)."},{"key":"1_CR29","unstructured":"W. Reisig Petri nets: An Introduction EATCS Monographs on Theoretical Computer Science, Vol. 4, Springer-Verlag (1985)."},{"key":"1_CR30","unstructured":"J. Rumbaugh and et al Object-oriented modeling and design Prentice-Hall (1991)."},{"key":"1_CR31","unstructured":"S. Shlaer and S.J. Mellor Object Lifecycles. Modeling the World in States Yourdon Press, Prentice Hall (1992)."},{"key":"1_CR32","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/3-540-58152-9_26","volume-title":"Cooperative Nets","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":"1_CR33","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":"1_CR34","unstructured":"J. M. Vlissides Generalized Graphical Object Editing Technical Report CSL-TR-90-427, Stanford University (1990)."},{"key":"1_CR35","unstructured":"K. Wald\u00e9n and J. Nerson Seamless Object-Oriented Software Architecture Prentice-Hall (1995)."},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"P. Wegner Dimensions of Object-Based Language Design Proceedings of OOPSLA 87, pp 168\u2013182, Orlando, Florida, ACM (1987).","DOI":"10.1145\/38765.38823"}],"container-title":["Lecture Notes in Computer Science","Concurrent Object-Oriented Programming and Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45397-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,16]],"date-time":"2024-02-16T18:43:14Z","timestamp":1708108994000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45397-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540419426","9783540453970"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3-540-45397-0_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}