{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T23:14:05Z","timestamp":1780528445380,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540437871","type":"print"},{"value":"9783540480686","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48068-4_4","type":"book-chapter","created":{"date-parts":[[2007,6,18]],"date-time":"2007-06-18T11:01:43Z","timestamp":1182164503000},"page":"59-67","source":"Crossref","is-referenced-by-count":3,"title":["The Challenge of Object Orientation for the Analysis of Concurrent Systems"],"prefix":"10.1007","author":[{"given":"Charles","family":"Lakos","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,6,6]]},"reference":[{"key":"4_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45397-0","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"G. Agha","year":"2001","unstructured":"G. Agha, F. De Cindio, and G. Rozenberg, editors. Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2001."},{"key":"4_CR2","series-title":"Lect Notes Comput Sci","first-page":"60","volume-title":"REX School\/Workshop","author":"P. America","year":"1995","unstructured":"P. America. Designing an object-oriented language with behavioural subtyping. In REX School\/Workshop, volume 489 of Lecture Notes in Computer Science, pages 60\u201390, Noordwijkerhout, The Netherlands, 1995. Springer-Verlag."},{"key":"4_CR3","series-title":"Benjamin\/ Cummings Series in Object-oriented Software Engineering","volume-title":"Object-oriented Analysis and Design with Applications","author":"G. Booch","year":"1994","unstructured":"G. Booch. Object-oriented Analysis and Design with Applications. Benjamin\/ Cummings Series in Object-oriented Software Engineering. Benjamin\/Cummings, Redwood City, California, 2nd edition, 1994.","edition":"2nd edition"},{"key":"4_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46852-8_1","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1999","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobsen. The Unified Modeling Language User Guide. Addison-Wesley, Reading, Mass., 1999."},{"key":"4_CR5","volume-title":"Design and Use of Software Architectures: Adopting and Evolving a Product-Line Approach","author":"J. Bosch","year":"2000","unstructured":"Jan Bosch. Design and Use of Software Architectures: Adopting and Evolving a Product-Line Approach. Addison-Wesley, Reading, Mass, 2000."},{"key":"4_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/BFb0053376","volume-title":"European Conference on Object-Oriented Programming","author":"K. Bruce","year":"1997","unstructured":"K. Bruce and L. Petersen. Subtyping is not a good \u201dmatch\u201d for object-oriented languages. In M. Aksit and S. Matsuoka, editors, European Conference on Object-Oriented Programming, volume 1241 of Lecture Notes in Computer Science, pages 104\u2013127, Jyv\u00e4skyl\u00e4, Finland, 1997. Springer."},{"key":"4_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/3-540-60029-9_41","volume-title":"Application and Theory of Petri Nets","author":"S. Christensen","year":"1995","unstructured":"S. Christensen and L. Petrucci. Modular state space analysis of Coloured Petri Nets. In G. De Michelis and M. Diaz, editors, Application and Theory of Petri Nets, volume 935 of Lecture Notes in Computer Science, pages 201\u2013217. Springer-Verlag, Berlin, 1995."},{"key":"4_CR8","unstructured":"J. Ellsberger, D. Hogrefe, and A. Sarma. SDL: Formal Object-Oriented Language for Communication Systems. Prentice-Hall, 1996."},{"key":"4_CR9","series-title":"Addison Wesley Professional Computing Series","volume-title":"Design Patterns \u2014 Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns \u2014 Elements of Reusable Object-Oriented Software. Addison Wesley Professional Computing Series. Addison-Wesley, Reading Massachussets, 1994."},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"R. Gorrieri and A. Rensink. Action refinement. In J. Bergstra, A. Ponse, and S. Smolka, editors, Handbook of Process Algebra, pages 1047\u20131147. Elsevier Science, 2001.","DOI":"10.1016\/B978-044482830-9\/50034-5"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"W. Harrison and H. Ossher. Subject-oriented programming (a critique of pure objects). In OOPSLA 93 Conference on Object-Oriented Programming Systems, Languages, and Applications, volume 28 of SIGPLAN Notices, pages 411\u2013428. ACM, 1993.","DOI":"10.1145\/167962.165932"},{"key":"4_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"642","DOI":"10.1007\/3-540-48119-2_36","volume-title":"Formal Methods 1999","author":"N. Husberg","year":"1999","unstructured":"N. Husberg and T. Manner. Emma: Developing an industrial reachability analyser for SDL. In Formal Methods 1999, volume 1709 of Lecture Notes in Computer Science, pages 642\u2013661, Toulouse, France, 1999. Springer-Verlag."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"R. Iosif. Exploiting heap symmetries in explicit-state model checking of software. In 16th IEEE Conference on Automated Software Engineeering, pages 254\u2013261. IEEE, 2001.","DOI":"10.1109\/ASE.2001.989811"},{"key":"4_CR14","series-title":"Lect Notes Comput Sci","first-page":"261","volume-title":"6th SPIN Workshop","author":"R. Iosif","year":"1999","unstructured":"R. Iosif and R. Sisto. dSPIN: A dynamic extension of SPIN. In 6th SPIN Workshop, volume 1680 of Lecture Notes in Computer Science, pages 261\u2013276. Springer, 1999."},{"key":"4_CR15","series-title":"EATCS Monographs in Computer Science","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use \u2014 Volume 1: Basic Concepts","author":"K. Jensen","year":"1992","unstructured":"K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use \u2014 Volume 1: Basic Concepts, volume 26 of EATCS Monographs in Computer Science. Springer-Verlag, Berlin, 1992."},{"key":"4_CR16","series-title":"EATCS Monographs on Theoretical Computer Science","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use \u2014 Volume 2: Analysis Methods","author":"K. Jensen","year":"1994","unstructured":"K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use \u2014 Volume 2: Analysis Methods. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, 1994."},{"key":"4_CR17","doi-asserted-by":"crossref","first-page":"269","DOI":"10.3233\/FI-1999-37305","volume":"37","author":"T. A. Junttila","year":"1999","unstructured":"T. A. Junttila. Finding symmetries of Algebraic System Nets. Fundamenta Informatica, 37:269\u2013289, 1999.","journal-title":"Fundamenta Informatica"},{"key":"4_CR18","unstructured":"Wolfram Kaiser. Become a programming Picasso with JHotDraw: Use the highly customizable GUI framework to simplify draw application development. Java-World, February 2001."},{"key":"4_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"European Conference on Object-Oriented Programming ECOOP\u201997","author":"G. Kiczales","year":"1997","unstructured":"G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J. Loingtier, and J. Irwin. Aspect-oriented programming. In European Conference on Object-Oriented Programming ECOOP\u201997, volume 1241 of Lecture Notes in Computer Science, pages 220\u2013242, Finland, 1997. Springer-Verlag."},{"key":"4_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/3-540-63139-9_29","volume-title":"18th International Conference on the Application and Theory of Petri Nets","author":"C. A. Lakos","year":"1997","unstructured":"C. A. Lakos. On the abstraction of Coloured Petri Nets. In P. Az\u00e9ma and G. Balbo, editors, 18th International Conference on the Application and Theory of Petri Nets, volume 1248 of Lecture Notes in Computer Science, pages 42\u201361, Toulouse, France, 1997. Springer-Verlag."},{"key":"4_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/3-540-44988-4_19","volume-title":"International Conference on the Application and Theory of Petri Nets","author":"C.A. Lakos","year":"2000","unstructured":"C.A. Lakos. Composing abstractions of Coloured Petri Nets. In M. Nielsen and D. Simpson, editors, International Conference on the Application and Theory of Petri Nets, volume 1825 of Lecture Notes in Computer Science, pages 323\u2013342, Aarhus, Denmark, 2000. Springer."},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"C.A. Lakos and G.A. Lewis. A practical approach to incremental specification. In S. Smith and C. Talcott, editors, Fourth International Conference on Formal Methods for Open Object-based Distributed Systems, pages 233\u2013256, Stanford, California, 2000. Kluwer.","DOI":"10.1007\/978-0-387-35520-7_12"},{"key":"4_CR23","unstructured":"G.A. Lewis. Incremental Specification and Analysis in the Context of Coloured Petri Nets. Phd, Department of Computing, University of Tasmania, 2002."},{"key":"4_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45740-2_16","volume-title":"International Conference on the Application and Theory of Petri Nets 2001","author":"G.A. Lewis","year":"2001","unstructured":"G.A. Lewis and C.A. Lakos. Incremental state space construction of Coloured Petri Nets. In International Conference on the Application and Theory of Petri Nets 2001, volume 2075 of Lecture Notes in Computer Science, Newcastle, U.K., 2001. Springer."},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"L. Lorentsen and L. Kristensen. Exploiting stabilizers and parallelism in state space generation with the symmetry method. In 2nd International Conference on Application of Concurrency to System Design, pages 211\u2013220, Newcastle, U.K., 2001. IEEE Computer Society.","DOI":"10.1109\/CSD.2001.981778"},{"key":"4_CR26","volume-title":"Eiffel: The Language","author":"B. Meyer","year":"1992","unstructured":"B. Meyer. Eiffel: The Language. Prentice Hall, New York, 1992."},{"key":"4_CR27","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"B. Meyer. Object-Oriented Software Construction. Prentice Hall, New York, 2nd edition, 1997.","edition":"2nd edition"},{"issue":"9","key":"4_CR28","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1145\/130994.131005","volume":"35","author":"O. Nierstrasz","year":"1992","unstructured":"O. Nierstrasz, S. Gibbs, and D. Tsichritzis. Component-oriented software development. Communications of the ACM, 35(9):160\u2013165, 1992.","journal-title":"Communications of the ACM"},{"key":"4_CR29","volume-title":"Object-Oriented Type Systems","author":"J. Palsberg","year":"1994","unstructured":"J. Palsberg and M.I. Schwartzbach. Object-Oriented Type Systems. Wiley Professional Computing. Wiley, Chichester, 1994."},{"issue":"12","key":"4_CR30","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D. L. Parnas","year":"1972","unstructured":"D. L. Parnas. On the criteria to be used in decomposing systems into modules. CACM, 15(12):1053\u20131058, 1972.","journal-title":"CACM"},{"key":"4_CR31","volume-title":"Object-Oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, 1991."},{"key":"4_CR32","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Mary Shaw and David Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs, 1996."},{"key":"4_CR33","volume-title":"CORBA Fundamentals and Programming","author":"J. Siegel","year":"1996","unstructured":"J. Siegel. CORBA Fundamentals and Programming. Wiley, New York, 1996."},{"key":"4_CR34","unstructured":"Clemens Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley, 1998."},{"key":"4_CR35","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/3-540-65306-6_21","volume-title":"Lectures on Petri Nets I: Basic Models","author":"A. Valmari","year":"1998","unstructured":"A. Valmari. The state explosion problem. In W. Reisig and G. Rozenberg, editors, Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science, pages 429\u2013528. Springer, Dagstuhl, 1998."},{"key":"4_CR36","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-55767-9","volume-title":"Modular Construction and Partial Order Semantics of Petri Nets","author":"W. Vogler","year":"1992","unstructured":"W. Vogler. Modular Construction and Partial Order Semantics of Petri Nets, volume 625 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1992."},{"key":"4_CR37","unstructured":"T. Vojnar. Towards Formal Analysis and Verification over State Spaces of Object-Oriented Petri Nets. PhD thesis, Department of Computer Science and Engineering, Brno University of Technology, 2001."},{"key":"4_CR38","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-45910-3_4","volume-title":"ECOOP\u2019 88-European Conference on Object Oriented Programming","author":"P. Wegner","year":"1988","unstructured":"P. Wegner and S. B. Zdonik. Inheritance as an incremental modification mechanism, or what like is and isn\u2019t like. In S. Gjessing and K. Nygaard, editors, ECOOP\u2019 88-European Conference on Object Oriented Programming, volume 322 of Lecture Notes in Computer Science, pages 55\u201377, Oslo, Norway, 1988. Springer Verlag."},{"key":"4_CR39","doi-asserted-by":"crossref","unstructured":"A. Weinand, E. Gamma, and R. Marty. ET++\u2014 An object-oriented application framework in C++. In OOPSLA 88 Conference on Object Oriented Programming, Systems, Languages and Applications. ACM, 1988.","DOI":"10.1145\/62083.62089"},{"issue":"3","key":"4_CR40","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/295685.295717","volume":"42","author":"D. Wong","year":"1999","unstructured":"D. Wong, N. Paciorek, and D. Moore. Java-based mobile agents. Communications of the ACM, 42(3):92\u2013102, 1999.","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48068-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,23]],"date-time":"2020-04-23T04:19:00Z","timestamp":1587615540000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48068-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437871","9783540480686"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/3-540-48068-4_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}