{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T19:01:44Z","timestamp":1777575704427,"version":"3.51.4"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2007,3,13]],"date-time":"2007-03-13T00:00:00Z","timestamp":1173744000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2007,3,13]],"date-time":"2007-03-13T00:00:00Z","timestamp":1173744000000},"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":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2007,6]]},"DOI":"10.1007\/s10009-007-0038-x","type":"journal-article","created":{"date-parts":[[2007,3,21]],"date-time":"2007-03-21T11:56:08Z","timestamp":1174478168000},"page":"213-254","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":761,"title":["Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems"],"prefix":"10.1007","volume":"9","author":[{"given":"Kurt","family":"Jensen","sequence":"first","affiliation":[]},{"given":"Lars Michael","family":"Kristensen","sequence":"additional","affiliation":[]},{"given":"Lisa","family":"Wells","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,3,13]]},"reference":[{"key":"38_CR1","volume-title":"Design of Embedded Control Systems","year":"2005","unstructured":"Adamski, M.A., Karatkevich, A.,Wegrzyn, M. (eds). (2005). Design of Embedded Control Systems. Springer, Berlin"},{"key":"38_CR2","unstructured":"Andrad\u00f3ttir, S.: Simulation optimization. In: Banks [3], chap. 9"},{"key":"38_CR3","volume-title":"Handbook of Simulation","year":"1998","unstructured":"Banks, J. (ed.): (1998). Handbook of Simulation. Wiley, New York"},{"key":"38_CR4","unstructured":"Billington, J.: ISO\/IEC 15909-1:2004 Software and system engineering. High-level Petri nets, Part 1: Concepts, definitions and graphical notation, 2004"},{"key":"38_CR5","volume-title":"Application of Petri Nets to Communication Networks, vol. 1605","year":"1999","unstructured":"Billington, J., Diaz, M., Rozenberg, G. (eds.): (1999). Application of Petri Nets to Communication Networks, vol. 1605. Springer, Berlin"},{"key":"38_CR6","doi-asserted-by":"crossref","unstructured":"Billington, J., Gallasch, G.E., Han, B.: A Coloured Petri Net approach to protocol verification. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. Advances in Petri Nets. In: Proceedings of 4th Advanced Course on Petri Nets, Lecture Notes in Computer Science, vol. 3018\u00a0pp. 210\u2013290. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-27755-2_6"},{"key":"38_CR7","unstructured":"BRITNeY Suite. http:\/\/www.wiki.daimi.au.dk\/britney\/"},{"key":"38_CR8","doi-asserted-by":"crossref","unstructured":"Cheng, A., Christensen, S., Mortensen, K.H.: Model checking coloured Petri Nets exploiting strongly connected components. In: Proceedings of International Workshop on Discrete Event Systems, pp. 169\u2013177 (1996)","DOI":"10.7146\/dpb.v26i519.7048"},{"key":"38_CR9","doi-asserted-by":"crossref","unstructured":"Christensen, S., Kristensen, L.M., Mailund, T.: Condensed state spaces for timed Petri Nets. In: Proceedings of International Conference on Application and Theory of Petri Nets. Lecture Notes in Computer Science, vol. 2075\u00a0pp. 101\u2013120. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45740-2_8"},{"key":"38_CR10","unstructured":"CPN Tools.: http:\/\/www.daimi.au.dk\/CPNTools\/"},{"key":"38_CR11","unstructured":"Desrochers, A.A., Al-Jaar, R.Y.: Applications of Petri Nets in Manufacturing Systems: Modeling, Control, and Performance Analysis. IEEE, (1994)"},{"key":"38_CR12","unstructured":"Examples of Industrial Use of CP-nets. http:\/\/www.daimi. au.dk\/CPnets\/intro\/example_indu.html"},{"key":"38_CR13","unstructured":"Gallasch, G.E., Kristensen, L.M.: COMMS\/CPN: A Communication Infrastructure for External Communication with Design\/CPN. In: Proceedings of Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, DAIMI PB-554, pp. 75\u201391. Department of Computer Science, University of Aarhus, Denmark (2001)"},{"key":"38_CR14","unstructured":"Gnuplot.: http:\/\/www.gnuplot.info"},{"key":"38_CR15","unstructured":"ITU (CCITT).: Recommendation Z.120: MSC. Technical report, International Telecommunication Union, 1992"},{"key":"38_CR16","volume-title":"Coloured Petri Nets. Basic concepts, analysis methods and practical use. Basic Concepts, vol. 1","author":"K. Jensen","year":"1992","unstructured":"Jensen K. (1992). Coloured Petri Nets. Basic concepts, analysis methods and practical use. Basic Concepts, vol. 1. Springer, Berlin"},{"key":"38_CR17","volume-title":"Coloured Petri Nets. Basic concepts, analysis methods and practical use. Analysis Methods, vol. 2","author":"K. Jensen","year":"1994","unstructured":"Jensen K. (1994). Coloured Petri Nets. Basic concepts, analysis methods and practical use. Analysis Methods, vol. 2. Springer, Berlin"},{"key":"38_CR18","doi-asserted-by":"crossref","unstructured":"Jensen, K. Condensed state spaces for symmetrical Coloured Petri Nets Formal Methods in System Design, vol. 9, (1996)","DOI":"10.1007\/BF00625967"},{"key":"38_CR19","volume-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Practical use, vol. 3","author":"K. Jensen","year":"1997","unstructured":"Jensen K. (1997). Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Practical use, vol. 3. Springer, Berlin"},{"key":"38_CR20","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets. Modelling and Validation of Concurrent Systems. Springer Textbook (in preparation) Companion web site: www.daimi.au.dk\/CPnets\/ cpnbook."},{"key":"38_CR21","unstructured":"Kelton, W.D., Sadowski, R.P., Sadowski, D.A.: Simulation with Arena, 2nd edn. McGraw-Hill, (2002)"},{"key":"38_CR22","unstructured":"Kleijnen, J.P.C.: Experimental design for sensitivity analysis, optimization, and validation of simulation models. In: Banks [3]"},{"issue":"2","key":"38_CR23","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/s100090050021","volume":"2","author":"L.M. Kristensen","year":"1998","unstructured":"Kristensen L.M., Christensen S. and Jensen K. (1998). The Practitioner\u2019s Guide to Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. 2(2): 98\u2013132","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"38_CR24","doi-asserted-by":"crossref","unstructured":"Kristensen, L.M., J\u00f8rgensen, J.B., Jensen, K.: Application of Coloured Petri Nets in System Development. In: Lectures on Concurrency and Petri Nets. Advances in Petri Nets. Proceedings of 4th Advanced Course on Petri Nets. Lecture Notes in Computer Science, vol. 3098, pp. 626\u2013685. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-27755-2_18"},{"key":"38_CR25","doi-asserted-by":"crossref","unstructured":"Kristensen, L.M., Mailund, T.: A generalised sweep-line method for safety properties. In: Proceedings of Formal Methods Europe, Lecture Notes in Computer Science, vol. 2391, pp. 549\u2013567. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45614-7_31"},{"key":"38_CR26","doi-asserted-by":"crossref","unstructured":"Kristensen, L.M., Valmari, A.: Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. In: Proceedings of International Conference on Application and Theory of Petri Nets. Lecture Notes in Computer Science, vol. 1420, pp. 104\u2013123. Springer, Berlin (1998)","DOI":"10.1007\/3-540-69108-1_7"},{"key":"38_CR27","unstructured":"Law, A.M., Kelton, W.D.: Simulation Modeling and Analysis, 3rd edn. McGraw-Hill, (2000)"},{"key":"38_CR28","doi-asserted-by":"crossref","unstructured":"Mortensen, K.H.: Efficient data-structures and algorithms for a Coloured Petri Nets Simulator. In: Proceedings of Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 2001","DOI":"10.7146\/dpb.v31i560.7117"},{"key":"38_CR29","unstructured":"Object Management Group. Unified Modeling Language: Superstructure, version 2.0, formal\/05-07-04, 2005"},{"key":"38_CR30","unstructured":"Proceedings of International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Springer, Berlin 1980\u2013present"},{"key":"38_CR31","unstructured":"Proceedings of Workshop on Modelling of Objects, Components, and Agents, 2001\u2013present"},{"key":"38_CR32","unstructured":"Proceedings of Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, 1998\u2013present. http:\/\/www.daimi. au.dk\/CPnets\/"},{"key":"38_CR33","volume-title":"Petri Nets. EATCS Monographs on Theoretical Computer Science, vol. 4","author":"W. Reisig","year":"1985","unstructured":"Reisig W. (1985). Petri Nets. EATCS Monographs on Theoretical Computer Science, vol. 4. Springer, Berlin"},{"key":"38_CR34","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03687-7","volume-title":"Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets","author":"W. Reisig","year":"1998","unstructured":"Reisig W. (1998). Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer, Berlin"},{"key":"38_CR35","unstructured":"SceneBeans. http:\/\/www.dse.doc.ic.ac.uk\/Software\/SceneBeans\/"},{"key":"38_CR36","unstructured":"Standard ML of New Jersey. http:\/\/www.smlnj.org"},{"key":"38_CR37","volume-title":"Elements of ML Programming","author":"J.D. Ullman","year":"1998","unstructured":"Ullman J.D. (1998). Elements of ML Programming. Prentice-Hall, Englewood Cliffs"},{"key":"38_CR38","doi-asserted-by":"crossref","unstructured":"Valmari, A.: The state explosion problem. In: Lectures on Petri Nets I: Basic Models. Lecture Notes in Computer Science, vol. 1491\u00a0pp. 429\u2013528. Springer, Berlin (1998)","DOI":"10.1007\/3-540-65306-6_21"},{"key":"38_CR39","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, Methods, and Systems","author":"W. van der Aalst","year":"2002","unstructured":"Aalst W. and Hee K. (2002). Workflow Management: Models, Methods and Systems. MIT Press, Cambridge, MA"},{"key":"38_CR40","doi-asserted-by":"crossref","unstructured":"Westergaard, M., Lassen, K.B.: The BRITNeY Suite Animation Tool. In: Proceedings of 27th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Lecture Notes in Computer Science, vol. 4024\u00a0pp. 431\u2013440. Springer, Berlin (2006)","DOI":"10.1007\/11767589_26"},{"key":"38_CR41","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3143-9","volume-title":"Hardware Design and Petri Nets","author":"A. Yakovlev","year":"2000","unstructured":"Yakovlev A., Gomes L. and Lavagno L. (2000). Hardware Design and Petri Nets. Springer, Berlin"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-007-0038-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-007-0038-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-007-0038-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-007-0038-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,15]],"date-time":"2025-01-15T04:18:33Z","timestamp":1736914713000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-007-0038-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,13]]},"references-count":41,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2007,6]]}},"alternative-id":["38"],"URL":"https:\/\/doi.org\/10.1007\/s10009-007-0038-x","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,3,13]]},"assertion":[{"value":"13 March 2007","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}