{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:53:39Z","timestamp":1778298819935,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540676935","type":"print"},{"value":"9783540449881","type":"electronic"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44988-4_19","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T21:38:07Z","timestamp":1185917887000},"page":"323-342","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Composing Abstractions of Coloured Petri Nets"],"prefix":"10.1007","author":[{"given":"Charles","family":"Lakos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,6,9]]},"reference":[{"key":"19_CR1","unstructured":"B. Baumgarten Petri-Netze: Grundlagen und Anwendungen Wissenschaftsverlag (1990)."},{"key":"19_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Mathematical Foundations of Programming Semantics","author":"L. Cardelli","year":"1989","unstructured":"L. Cardelli and J.C. Mitchell Operations on Records Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science 442, Springer Verlag (1989)."},{"key":"19_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/3-540-53863-1_25","volume-title":"Advances in Petri Nets 1990","author":"J. Desel","year":"1990","unstructured":"J. Desel and A. Merceron Vicinity Respecting Net Morphisms Advances in Petri Nets 1990, G. Rozenberg (ed.), Lecture Notes in Computer Science 483, pp 165\u2013185, Springer-Verlag (1990)."},{"key":"19_CR4","unstructured":"J. Desel and A. Merceron Vicinity Respecting Homomorphisms for Abstracting System Requirements Report 337, Universit\u00e4t Karlsruhe (1996)."},{"key":"19_CR5","unstructured":"A. Diller Z: An Introduction to Formal Methods 2nd edn., Wiley (1994)."},{"key":"19_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-56689-9_43","volume-title":"Advances in Petri Nets 1993","author":"R. Fehling","year":"1993","unstructured":"R. Fehling A Concept of Hierarchical Petri Nets with Building Blocks Advances in Petri Nets 1993, G. Rozenberg (ed.), Lecture Notes in Computer Science, pp 148\u2013168, Springer-Verlag (1993)."},{"key":"19_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/3-540-10001-6_39","volume-title":"Net Theory and Applications","author":"H.J. Genrich","year":"1980","unstructured":"H.J. Genrich A Dictionary of Some Basic Notions of Net Theory Net Theory and Applications, W. Brauer (ed.), Lecture Notes in Computer Science 84, pp 519\u2013535, Springer-Verlag (1980)."},{"key":"19_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Predicate\/Transition Nets Advances in Petri Nets 1986 \u2014 Part 1","author":"H.J. Genrich","year":"1987","unstructured":"H.J. Genrich Predicate\/Transition Nets Advances in Petri Nets 1986 \u2014 Part 1, W. Brauer, W. Reisig, and G. Rozenberg (eds.), Lecture Notes in Computer Science 254, Springer-Verlag (1987)."},{"key":"19_CR9","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":"19_CR10","unstructured":"K. Jensen, S. Christensen, P. Huber, and M. Holla Design\/CPN\u2122: A Reference Manual MetaSoftware Corporation (1992)."},{"key":"19_CR11","unstructured":"C. Lakos and G. Lewis A Catalogue of Incremental Changes for Coloured Petri Nets Technical Report TR99-02, Department of Computer Science, University of Adelaide (1999)."},{"key":"19_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/3-540-63139-9_29","volume-title":"Proceedings of 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 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":"19_CR13","unstructured":"C.A. Lakos The Compositionality of Abstraction for Coloured Petri Nets Technical Report TR99-01, Department of Computer Science, University of Adelaide (1999)."},{"key":"19_CR14","unstructured":"G. Lewis and C. Lakos Incremental Reachability Algorithms Technical Report TR99-1, Department of Electrical Engineering and Computer Science, University of Tasmania (1999)."},{"issue":"2","key":"19_CR15","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"J. Meseguer and U. Montanari Petri Nets are Monoids Information and Computation, 88,2, pp 105\u2013155 (1990).","journal-title":"Information and Computation"},{"key":"19_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-10001-6_21","volume-title":"Net Theory and Applications","author":"C.A. Petri","year":"1980","unstructured":"C.A. Petri Introduction to General Net Theory Net Theory and Applications, W. Brauer (ed.), Lecture Notes in Computer Science 84, pp 1\u201319, Springer-Verlag (1980)."},{"key":"19_CR17","series-title":"Lect Notes Comput Sci","first-page":"63","volume-title":"Advances in Petri Nets 1986 \u2014 Part 2","author":"W. Reisig","year":"1987","unstructured":"W. Reisig Petri Nets in Software Engineering Advances in Petri Nets 1986 \u2014 Part 2, W. Brauer, W. Reisig, and G. Rozenberg (eds.), Lecture Notes in Computer Science 255, pp 63\u201396, Springer-Verlag (1987)."},{"key":"19_CR18","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0890-5401(87)90032-0","volume":"72","author":"G. Winskel","year":"1987","unstructured":"G. Winskel Petri Nets, Algebras, Morphisms, and Compositionality Information and Computation, 72, pp 197\u2013238 (1987).","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 2000"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44988-4_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,25]],"date-time":"2021-10-25T01:08:42Z","timestamp":1635124122000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-44988-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676935","9783540449881"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44988-4_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"9 June 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}