{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T22:35:11Z","timestamp":1784241311521,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662534007","type":"print"},{"value":"9783662534014","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-53401-4_1","type":"book-chapter","created":{"date-parts":[[2016,9,2]],"date-time":"2016-09-02T15:34:52Z","timestamp":1472830492000},"page":"1-27","source":"Crossref","is-referenced-by-count":1,"title":["Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification"],"prefix":"10.1007","author":[{"given":"Kent Inge Fagerland","family":"Simonsen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lars M.","family":"Kristensen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ekkart","family":"Kindler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,9,2]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets - Modelling and Validation of Concurrent Systems","author":"K Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/978-3-540-27755-2_6","volume-title":"Lectures on Concurrency and Petri Nets","author":"J Billington","year":"2004","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. LNCS, vol. 3098, pp. 210\u2013290. Springer, Heidelberg (2004)"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1007\/978-3-642-38143-0_3","volume-title":"Transactions on Petri Nets and Other Models of Concurrency VII","author":"LM Kristensen","year":"2013","unstructured":"Kristensen, L.M., Simonsen, K.I.F.: Applications of Coloured Petri Nets for functional validation of protocol designs. In: Jensen, K., van der Aalst, W.M.P., Balbo, G., Koutny, M., Wolf, K. (eds.) Transactions on Petri Nets and Other Models of Concurrency VII. LNCS, vol. 7480, pp. 56\u2013115. Springer, Heidelberg (2013)"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/978-3-642-41071-0_16","volume-title":"Formal Methods: Foundations and Applications","author":"KIF Simonsen","year":"2013","unstructured":"Simonsen, K.I.F., Kristensen, L.M., Kindler, E.: Generating protocol software from CPN models annotated with pragmatics. In: Iyoda, J., de Moura, L. (eds.) SBMF 2013. LNCS, vol. 8195, pp. 227\u2013242. Springer, Heidelberg (2013)"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/978-3-319-05032-4_12","volume-title":"Software Engineering and Formal Methods","author":"KIF Simonsen","year":"2014","unstructured":"Simonsen, K.I.F.: PetriCode: a tool for template-based code generation from CPN models. In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 151\u2013163. Springer, Heidelberg (2014)"},{"key":"1_CR6","unstructured":"Simonsen, K.: Code generation from pragmatics annotated Coloured Petri Nets. Ph.D. thesis. Technical University of Denmark (2014)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/978-3-662-43352-2_9","volume-title":"Distributed Applications and Interoperable Systems","author":"KIF Simonsen","year":"2014","unstructured":"Simonsen, K.I.F., Kristensen, L.M.: Implementing the websocket protocol based on formal modelling and automated code generation. In: Magoutis, K., Pietzuch, P. (eds.) DAIS 2014. LNCS, vol. 8460, pp. 104\u2013118. Springer, Heidelberg (2014)"},{"key":"1_CR8","unstructured":"Simonsen, K.: An evaluation of automated code generation with the PetriCode approach. In: Proceedings of PNSE 2014, vol. 1160. CEUR Workshop Proceedings, pp. 295\u2013312. CEUR-WS.org (2014)"},{"key":"1_CR9","unstructured":"Simonsen, K., Kristensen, L., Kindler, E.: Pragmatics annotated Coloured Petri Nets for protocol software generation and verification. In: Proceedings of PNSE 2015, vol. 1372. CEUR Workshop Proceedings, pp. 79\u201398 (2015)"},{"key":"1_CR10","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/j.tcs.2011.12.036","volume":"429","author":"K Jensen","year":"2012","unstructured":"Jensen, K., Kristensen, L., Mailund, T.: The sweep-line state space exploration method. Theor. Comput. Sci. 429, 169\u2013179 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/978-3-642-38209-3_7","volume-title":"Model-Based Methodologies for Pervasive and Embedded Software","author":"KIF Simonsen","year":"2013","unstructured":"Simonsen, K.I.F., Kristensen, L.M.: Towards a CPN-based modelling approach for reconciling verification and implementation of protocol models. In: Machado, R.J., Maciel, R.S.P., Rubin, J., Botterweck, G. (eds.) MOMPES 2012. LNCS, vol. 7706, pp. 106\u2013125. Springer, Heidelberg (2013)"},{"key":"1_CR12","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1007\/978-3-662-05324-9_22","volume-title":"Petri Nets for System Engineering","author":"WE Kaim","year":"2003","unstructured":"Kaim, W.E., Kordon, F.: Code generation. In: Girault, C., Valk, R. (eds.) Petri Nets for System Engineering, pp. 433\u2013470. Springer, Heidelberg (2003)"},{"issue":"10","key":"1_CR13","doi-asserted-by":"crossref","first-page":"1444","DOI":"10.1016\/j.jss.2005.12.022","volume":"79","author":"S Philippi","year":"2006","unstructured":"Philippi, S.: Automatic code generation from high-level Petri-Nets for model driven systems engineering. J. Syst. Softw. 79(10), 1444\u20131455 (2006)","journal-title":"J. Syst. Softw."},{"key":"1_CR14","unstructured":"Lassen, K.B., Tjell, S.: Translating colored control flow nets into readable Java via annotated Java workflow nets. In: Proceedings of 8th CPN Workshop, pp. 127\u2013146 (2007)"},{"key":"1_CR15","first-page":"165","volume-title":"International Workshop on Implementation of Functional Languages","author":"C Reinke","year":"1999","unstructured":"Reinke, C.: Haskell-coloured Petri Nets. In: Koopman, P., Clack, C. (eds.) International Workshop on Implementation of Functional Languages. LNCS, vol. 1868, pp. 165\u2013180. Springer, Heidelberg (1999)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"484","DOI":"10.1007\/978-3-540-27793-4_29","volume-title":"Applications and Theory of Petri Nets 2004","author":"O Kummer","year":"2004","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., K\u00f6hler, M., Moldt, D., R\u00f6lke, H., Valk, R.: An extensible editor and simulation engine for Petri Nets: Renew. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 484\u2013493. Springer, Heidelberg (2004)"},{"key":"1_CR17","unstructured":"Mascheroni, M., Wagner, T., W\u00fcstenberg, L.: Verifying reference nets by means of hypernets: a plugin for renew. In: Proceedings of PNSE 2010. Berichte des Fachbereichs Informatik. Universit\u00e4t Hamburg, pp. 39\u201354 (2010)"},{"key":"1_CR18","unstructured":"Betz, T., et al.: Integrating web services in Petri Net-Based agent applications. In: Proceedings of PNSE 2013, vol. 989. CEUR Workshop Proceedings, pp. 97\u2013116 (2013)"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/3-540-44988-4_21","volume-title":"Application and Theory of Petri Nets 2000","author":"KH Mortensen","year":"2000","unstructured":"Mortensen, K.H.: Automatic code generation method based on Coloured Petri Net models applied on an access control system. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 367\u2013386. Springer, Heidelberg (2000)"},{"key":"1_CR20","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10009-007-0053-y","volume":"10","author":"LM Kristensen","year":"2008","unstructured":"Kristensen, L.M., Mechlenborg, P., Zhang, L., Mitchell, B., Gallasch, G.E.: Model-based development of a course of action scheduling tool. Int. J. Softw. Tools Technol. Transf. 10, 5\u201314 (2008)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/978-3-642-15898-8_14","volume-title":"Formal Methods for Industrial Critical Systems","author":"LM Kristensen","year":"2010","unstructured":"Kristensen, L.M., Westergaard, M.: Automatic structure-based code generation from Coloured Petri Nets: a proof of concept. In: Kowalewski, S., Roveri, M. (eds.) FMICS 2010. LNCS, vol. 6371, pp. 215\u2013230. Springer, Heidelberg (2010)"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/11575771_5","volume-title":"On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE","author":"WMP Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., J\u00f8rgensen, J.B., Lassen, K.B.: Let\u2019s go all the way: from requirements via Colored Workflow Nets to a BPEL implementation of a new bank system. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol. 3760, pp. 22\u201339. Springer, Heidelberg (2005)"},{"key":"1_CR23","unstructured":"Schmidt, K.: Controllability of open workflow nets. In: Enterprise Modelling and Information Systems Architectures, Proceedings of the Workshop in Klagenfurt, 24\u201325 October 2005, pp. 236\u2013249 (2005)"},{"issue":"6","key":"1_CR24","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1016\/j.ipl.2008.07.006","volume":"108","author":"P Massuthe","year":"2008","unstructured":"Massuthe, P., et al.: Can i find a partner? undecidability of partner existence for open nets. Inf. Process. Lett. 108(6), 374\u2013378 (2008)","journal-title":"Inf. Process. Lett."},{"key":"1_CR25","unstructured":"Blech, J., Glesner, S., Leitner, J.: Formal verification of Java code generation from UML models. In: Fujaba Days 2005, pp. 49\u201356 (2005)"},{"issue":"5","key":"1_CR26","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M Utting","year":"2012","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test. Verification Reliab. 22(5), 297\u2013312 (2012)","journal-title":"Softw. Test. Verification Reliab."}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency XI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53401-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T21:53:17Z","timestamp":1498341197000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-53401-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662534007","9783662534014"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53401-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}