{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T14:17:23Z","timestamp":1778249843637,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540422525","type":"print"},{"value":"9783540457404","type":"electronic"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45740-2_16","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T10:30:51Z","timestamp":1195122651000},"page":"263-282","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Incremental State Space Construction for Coloured Petri Nets"],"prefix":"10.1007","author":[{"given":"Glenn","family":"Lewis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Lakos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"issue":"3","key":"16_CR1","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1093\/comjnl\/43.3.224","volume":"43","author":"S. Christensen","year":"2000","unstructured":"S. Christensen and L. Petrucci. Modular Analysis of Petri Nets. The Computer Journal, 43(3):224\u2013242, 2000.","journal-title":"The Computer Journal"},{"issue":"2","key":"16_CR2","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/s100090050023","volume":"2","author":"S. Gordon","year":"1998","unstructured":"S. Gordon and J. Billington. Analysing a Missile Simulator using Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2):144\u2013159, December 1998.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"16_CR3","unstructured":"K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use: Volume 1, Analysis Methods. Monographs in Theoretical Computer Science. Springer-Verlag, 1992."},{"key":"16_CR4","unstructured":"K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use: Volume 2, Analysis Methods. Monographs in Theoretical Computer Science. Springer-Verlag, 1995."},{"key":"16_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/3-540-44988-4_19","volume-title":"21st International Conference on Application and Theory of Petri Nets (ICATPN\u20192000) Aarhus, Denmark, June 25-29, 2000","author":"C.A. Lakos","year":"2000","unstructured":"C.A. Lakos. Composing Abstractions of Coloured Petri Nets. In 21st International Conference on Application and Theory of Petri Nets (ICATPN\u20192000) Aarhus, Denmark, June 25-29, 2000, volume 1825 of Lecture Notes in Computer Science, pages 323\u2013342, June 2000."},{"key":"16_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/BFb0097772","volume-title":"Application of Petri nets to Communication Networks: Advances in Petri Nets","author":"C.A. Lakos","year":"1999","unstructured":"C.A. Lakos and J. Lamp. The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets. In J. Billington, M. Diaz, and G. Rozenberg, editors, Application of Petri nets to Communication Networks: Advances in Petri Nets, volume 1605 of Lecture Notes in Computer Science, pages 37\u201368. Springer-Verlag, 1999."},{"key":"16_CR7","unstructured":"G.A. Lewis. An Incremental Perspective-Incremental Development and Incremental Analysis in the Context of Coloured Petri Nets. PhD thesis, Department of Computing, University of Tasmania, Hobart, Tasmania, Australia. (to be submitted)."},{"key":"16_CR8","volume-title":"Maria-Modular Reachability Analyzer for Many-Sorted Petri Nets","author":"M. M\u00e4kel\u00e4","year":"1999","unstructured":"M. M\u00e4kel\u00e4. Maria-Modular Reachability Analyzer for Many-Sorted Petri Nets. Helsinki University of Technology, Espoo, Finland, 1999. version 0.1."},{"key":"16_CR9","series-title":"Licentiate thesis","volume-title":"A Reachability Analyser for Algebraic System Nets","author":"M. M\u00e4kel\u00e4","year":"2000","unstructured":"M. M\u00e4kel\u00e4. A Reachability Analyser for Algebraic System Nets. Licentiate thesis, Helsinki University of Technology, Theoretical Computer Science Laboratory, Espoo, Finland, March2000."},{"key":"16_CR10","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: Advances in Petri Nets","author":"A. Valmari","year":"1998","unstructured":"A. Valmari. The State Explosion Problem. In W. Reisig and G. Rozenberg, editors, Lectures on Petri Nets I: Advances in Petri Nets, volume 1491 of Lecture Notes in Computer Science, pages 429\u2013528. Springer-Verlag, 19"},{"key":"16_CR11","series-title":"Technical Report","volume-title":"PROD reference manual","author":"K. Varpaaniemi","year":"1995","unstructured":"K. Varpaaniemi, J. Halme, K. Hiekkanen, and T. Pyssysalo. PROD reference manual. Technical Report B13, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, August 1995."},{"key":"16_CR12","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Advances in Petri Nets 1990","author":"W. Vogler","year":"1991","unstructured":"W. Vogler, W. Brauer, and R. Gold. A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets. In Advances in Petri Nets 1990, volume 483 of Lecture Notes in Computer Science, pages 1\u201346. Springer-Verlag, 1991."}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2001"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45740-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T13:57:47Z","timestamp":1778248667000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-45740-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422525","9783540457404"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45740-2_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"28 June 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}