{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T01:10:07Z","timestamp":1746148207611,"version":"3.40.4"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319050317"},{"type":"electronic","value":"9783319050324"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-05032-4_12","type":"book-chapter","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T09:36:26Z","timestamp":1394184986000},"page":"151-163","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["PetriCode: A Tool for Template-Based Code Generation from CPN Models"],"prefix":"10.1007","author":[{"given":"Kent Inge Fagerland","family":"Simonsen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,8]]},"reference":[{"key":"12_CR1","first-page":"305","volume-title":"On Modeling Techniques for Supporting Model Driven Development of Protocol Processing Applications","author":"M Alanen","year":"2005","unstructured":"Alanen, M., Lilius, J., Porres, I., Truscan, D.: On Modeling Techniques for Supporting Model Driven Development of Protocol Processing Applications, pp. 305\u2013328. Springer, Heidelberg (2005)"},{"issue":"1","key":"12_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/COMST.2002.5341329","volume":"4","author":"F Babich","year":"2002","unstructured":"Babich, F., Deotto, L.: Formal methods for specification and analysis of communication protocols. IEEE Commun. Surv. Tutor. 4(1), 2\u201320 (2002)","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"12_CR3","unstructured":"Groovy. Project Web Site. http:\/\/groovy.codehaus.org"},{"key":"12_CR4","unstructured":"ITU-T. Recommendation Z.100 (11\/99) Specification and Description Language (SDL) (1999)"},{"key":"12_CR5","doi-asserted-by":"publisher","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.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009)"},{"issue":"3\u20134","key":"12_CR6","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. 9(3\u20134), 213\u2013254 (2007)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Kindler, E.: Model-based software engineering: the challenges of modelling behaviour. In: Proceedings of BM-FA \u201910, pp. 4:1\u20134:8. ACM Electronic Libraries (2010)","DOI":"10.1145\/1811147.1811151"},{"key":"12_CR8","series-title":"LNCS","first-page":"56","volume-title":"ToPNoC 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.) ToPNoC VII. LNCS, vol. 7480, pp. 56\u2013115. Springer, Heidelberg (2013)"},{"key":"12_CR9","series-title":"LNCS","first-page":"215","volume-title":"FMICS 2010","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":"12_CR10","series-title":"LNCS","first-page":"493","volume-title":"ICWE 2009","author":"C Kroiss","year":"2009","unstructured":"Kroiss, C., Koch, N., Knapp, A.: UWE4JSF: a model-driven generation approach for web applications. In: Gaedke, M., Grossniklaus, M., D\u00edaz, O. (eds.) ICWE 2009. LNCS, vol. 5648, pp. 493\u2013496. Springer, Heidelberg (2009)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Kukkala, P., Helminen, V., Hannikainen, M., Hamalainen, T.D.: UML 2.0 implementation of an embedded WLAN protocol. In: Proceedings of PIMRC \u201904, vol. 2, pp. 1158\u20131162 (2004)","DOI":"10.1109\/PIMRC.2004.1373880"},{"key":"12_CR12","series-title":"LNCS","first-page":"484","volume-title":"ICATPN 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":"12_CR13","doi-asserted-by":"crossref","unstructured":"Parssinen, J., von Knorring, N., Heinonen, J., Turunen, M.: UML for protocol engineering-extensions and experiences. In: Proceedings of TOOLS \u201900, pp. 82\u201393 (2000)","DOI":"10.1109\/TOOLS.2000.848753"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Pereira, C.L., da Silva, D.C., Jr., Duarte, R.G., Fernandes, A.O., Canaan, L.H., Coelho, C.J.N., Ambrosio, L.L.: Jade: an embedded systems specification, code generation and optimization tool. In: Proceedings of SBCCI \u201900, pp. 263\u2013268 (2000)","DOI":"10.1109\/SBCCI.2000.876040"},{"key":"12_CR15","unstructured":"PetriCode. Project Web Site. http:\/\/kentis.github.io\/petriCode\/"},{"key":"12_CR16","unstructured":"Simonsen, K.I.F.: On the use of pragmatics for model-based development of protocol software. In: Proceedings of PNSE \u201911, vol. 723 of CEUR Workshop Proceedings, pp. 179\u2013190. www.CEUR-WS.org (2011)"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Simonsen, K.I.F.: PetriCode: a tool for template-based code generation from CPN models. Technical Report DTU Compute-Technical Reports-2013-11, PetriCode (2013)","DOI":"10.1007\/978-3-319-05032-4_12"},{"key":"12_CR18","series-title":"LNCS","first-page":"106","volume-title":"MOMPES 2012","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":"12_CR19","doi-asserted-by":"crossref","unstructured":"Simonsen, K.I.F., Kristensen, L.M., Kindler, E.: Code generation for protocol software from CPN models annotated with pragmatics. In: Proceedings of SBMF\u201913. LNCS. Springer (2013, to appear)","DOI":"10.1007\/978-3-642-41071-0_16"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Wehrmeister, M.A., Freitas, E.P., Pereira, C.E., Rammig, F.: Genertica: a tool for code generation and aspects weaving. In: Proceedings of ISORC \u201908, pp. 234\u2013238. IEEE Computer Society, Washington, DC (2008)","DOI":"10.1109\/ISORC.2008.67"},{"key":"12_CR21","series-title":"LNCS","first-page":"313","volume-title":"PETRI NETS 2009","author":"M Westergaard","year":"2009","unstructured":"Westergaard, M., Kristensen, L.M.: The access\/CPN framework: a tool for interacting with the CPN tools simulator. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 313\u2013322. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05032-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T00:36:03Z","timestamp":1746146163000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05032-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319050317","9783319050324"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05032-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"8 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}