{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T16:27:05Z","timestamp":1755793625489},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662606506"},{"type":"electronic","value":"9783662606513"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-662-60651-3_4","type":"book-chapter","created":{"date-parts":[[2019,11,20]],"date-time":"2019-11-20T06:04:25Z","timestamp":1574229865000},"page":"101-125","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics"],"prefix":"10.1007","author":[{"given":"David","family":"Mosteller","sequence":"first","affiliation":[]},{"given":"Michael","family":"Haustermann","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Moldt","sequence":"additional","affiliation":[]},{"given":"Dennis","family":"Schmitz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,11,21]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","unstructured":"Abrah\u00e3o, S., et al.: User experience for model-driven engineering: challenges and future directions. In: 20th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, 17\u201322 September 2017, pp. 229\u2013236. IEEE Computer Society (2017). \nhttps:\/\/doi.org\/10.1109\/MODELS.2017.5","DOI":"10.1109\/MODELS.2017.5"},{"key":"4_CR2","doi-asserted-by":"publisher","unstructured":"Biermann, E., Ehrig, K., Ermel, C., Hurrelmann, J.: Generation of simulation views for domain specific modeling languages based on the Eclipse modeling framework. In: 2009 IEEE\/ACM International Conference on Automated Software Engineering, pp. 625\u2013629, November 2009. \nhttps:\/\/doi.org\/10.1109\/ASE.2009.46","DOI":"10.1109\/ASE.2009.46"},{"key":"4_CR3","unstructured":"Bousse, E., Degueule, T., Vojtisek, D., Mayerhofer, T., DeAntoni, J., Combemale, B.: Execution framework of the GEMOC studio (tool demo). In: van der Storm, T., Balland, E., Varr\u00f3, D. (eds.) Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, 31 October\u20131 November 2016, pp. 84\u201389. ACM (2016), \nhttp:\/\/dl.acm.org\/citation.cfm?id=2997384"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/j.jss.2017.11.025","volume":"137","author":"Erwan Bousse","year":"2018","unstructured":"Bousse, E., Leroy, D., Combemale, B., Wimmer, M., Baudry, B.: Omniscient debugging for executable DSLs. J. Syst. Softw. 137, 261\u2013288 (2017). \nhttps:\/\/hal.inria.fr\/hal-01662336","journal-title":"Journal of Systems and Software"},{"issue":"2","key":"4_CR5","doi-asserted-by":"publisher","first-page":"225","DOI":"10.2298\/CSIS110114012B","volume":"8","author":"BR Bryant","year":"2011","unstructured":"Bryant, B.R., Gray, J., Mernik, M., Clarke, P.J., France, R.B., Karsai, G.: Challenges and directions in formalizing the semantics of modeling languages. Comput. Sci. Inf. Syst. 8(2), 225\u2013253 (2011). \nhttps:\/\/doi.org\/10.2298\/CSIS110114012B","journal-title":"Comput. Sci. Inf. Syst."},{"key":"4_CR6","unstructured":"Cabac, L.: Modeling Petri Net-Based Multi-Agent Applications, Agent Technology - Theory and Applications, vol. 5. Logos Verlag, Berlin (2010). \nhttp:\/\/www.logos-verlag.de\/cgi-bin\/engbuchmid?isbn=2673&lng=eng&id=\n\n. \nhttp:\/\/www.sub.uni-hamburg.de\/opus\/volltexte\/2010\/4666\/"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-319-39086-4_7","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"L Cabac","year":"2016","unstructured":"Cabac, L., Haustermann, M., Mosteller, D.: Renew 2.5 \u2013 towards a comprehensive integrated development environment for Petri net-based applications. In: Kordon, F., Moldt, D. (eds.) PETRI NETS 2016. LNCS, vol. 9698, pp. 101\u2013112. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-39086-4_7"},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1016\/j.scico.2017.12.003","volume":"157","author":"L Cabac","year":"2018","unstructured":"Cabac, L., Haustermann, M., Mosteller, D.: Software development with Petri nets and agents: approach, frameworks and tool set. Sci. Comput. Program. 157, 56\u201370 (2018). \nhttps:\/\/doi.org\/10.1016\/j.scico.2017.12.003","journal-title":"Sci. Comput. Program."},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/3-540-58152-9_10","volume-title":"Application and Theory of Petri Nets 1994","author":"S Christensen","year":"1994","unstructured":"Christensen, S., Damgaard Hansen, N.: Coloured Petri nets extended with channels for synchronous communication. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol. 815, pp. 159\u2013178. Springer, Heidelberg (1994). \nhttps:\/\/doi.org\/10.1007\/3-540-58152-9_10"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-319-98648-7_6","volume-title":"Business Process Management","author":"F Corradini","year":"2018","unstructured":"Corradini, F., Muzi, C., Re, B., Rossi, L., Tiezzi, F.: Animating multiple instances in BPMN collaborations: from formal semantics to tool support. In: Weske, M., Montali, M., Weber, I., vom Brocke, J. (eds.) BPM 2018. LNCS, vol. 11080, pp. 83\u2013101. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-98648-7_6"},{"key":"4_CR11","doi-asserted-by":"publisher","unstructured":"Cramer, B., Kastens, U.: Animation automatically generated from simulation specifications. In: 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC), pp. 157\u2013164, September 2009. \nhttps:\/\/doi.org\/10.1109\/VLHCC.2009.5295274","DOI":"10.1109\/VLHCC.2009.5295274"},{"issue":"12","key":"4_CR12","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281\u20131294 (2008). \nhttps:\/\/doi.org\/10.1016\/j.infsof.2008.02.006","journal-title":"Inf. Softw. Technol."},{"key":"4_CR13","unstructured":"Eclipse Foundation Inc.: Eclipse Modeling Framework (EMF) (2018). \nhttps:\/\/www.eclipse.org\/modeling\/emf\/\n\n. Accessed 24 May 2018"},{"issue":"2","key":"4_CR14","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/j.infsof.2012.08.014","volume":"55","author":"PV Gorp","year":"2013","unstructured":"Gorp, P.V., Dijkman, R.M.: A visual token-based formalization of BPMN 2.0 based on in-place transformations. Inf. Softw. Technol. 55(2), 365\u2013394 (2013). \nhttps:\/\/doi.org\/10.1016\/j.infsof.2012.08.014","journal-title":"Inf. Softw. Technol."},{"issue":"3","key":"4_CR15","doi-asserted-by":"publisher","first-page":"71","DOI":"10.3311\/PPee.7078","volume":"56","author":"\u00c1bel Heged\u00fcs","year":"2012","unstructured":"Heged\u00fcs, \u00c1b., R\u00e1th, I., Varr\u00f3, D.: Replaying execution trace models for dynamic modeling languages. Period. Polytech. Electr. Eng. Comput. Sci. 56(3), 71\u201382 (2012). \nhttps:\/\/pp.bme.hu\/eecs\/article\/view\/7078","journal-title":"Periodica Polytechnica Electrical Engineering"},{"key":"4_CR16","unstructured":"Hewelt, M., Wagner, T., Cabac, L.: Integrating verification into the PAOSE approach. In: Duvigneau, M., Moldt, D., Hiraishi, K. (eds.) Petri Nets and Software Engineering. International Workshop PNSE 2011, Newcastle upon Tyne, UK, June 2011. Proceedings. CEUR Workshop Proceedings, vol. 723, pp. 124\u2013135. CEUR-WS.org, June 2011. \nhttp:\/\/ceur-ws.org\/Vol-723\/"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/3-540-53863-1_30","volume-title":"Advances in Petri Nets 1990","author":"P Huber","year":"1991","unstructured":"Huber, P., Jensen, K., Shapiro, R.M.: Hierarchies in coloured Petri nets. In: Rozenberg, G. (ed.) ICATPN 1989. LNCS, vol. 483, pp. 313\u2013341. Springer, Heidelberg (1991). \nhttps:\/\/doi.org\/10.1007\/3-540-53863-1_30"},{"key":"4_CR18","unstructured":"The GEMOC Initiative: The GEMOC initiative - breathe life into your designer! model simulation, animation and debugging with sirius animator, part of the GEMOC studio. \nhttp:\/\/gemoc.org\/breathe-life-into-your-designer\n\n. Accessed 9 Oct 2018"},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.ins.2016.12.044","volume":"385","author":"A Kheldoun","year":"2017","unstructured":"Kheldoun, A., Barkaoui, K., Ioualalen, M.: Formal verification of complex business processes based on high-level Petri nets. Inf. Sci. 385, 39\u201354 (2017). \nhttps:\/\/doi.org\/10.1016\/j.ins.2016.12.044","journal-title":"Inf. Sci."},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-319-91268-4_17","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"E Kindler","year":"2018","unstructured":"Kindler, E.: ePNK applications and annotations: a simulator for YAWL nets. In: Khomenko, V., Roux, O.H. (eds.) PETRI NETS 2018. LNCS, vol. 10877, pp. 339\u2013350. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-91268-4_17"},{"key":"4_CR21","unstructured":"Kleppe, A.: Software Language Engineering: Creating Domain-Specific Languages Using Metamodels. Pearson Education, London (2008). \nhttps:\/\/dl.acm.org\/citation.cfm?id=1496375"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-69927-9_4","volume-title":"Theory and Practice of Model Transformations","author":"DS Kolovos","year":"2008","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The epsilon transformation language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46\u201360. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-69927-9_4"},{"key":"4_CR23","unstructured":"Kummer, O.: Referenznetze. Logos Verlag, Berlin (2002). \nhttp:\/\/www.logos-verlag.de\/cgi-bin\/engbuchmid?isbn=0035&lng=eng&id="},{"key":"4_CR24","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., Cabac, L., Haustermann, M., Mosteller, D.: Renew - the Reference Net Workshop, June 2016. \nhttp:\/\/www.renew.de\/\n\n. release 2.5"},{"key":"4_CR25","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., Cabac, L., Haustermann, M., Mosteller, D.: Renew - User Guide (Release 2.5). University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, June 2016"},{"issue":"3","key":"4_CR26","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/s10270-003-0047-5","volume":"3","author":"J Lara de","year":"2004","unstructured":"de Lara, J., Vangheluwe, H., Alfonseca, M.: Meta-modelling and graph grammars for multi-paradigm modelling in atom3. Softw. Syst. Model. 3(3), 194\u2013209 (2004). \nhttps:\/\/doi.org\/10.1007\/s10270-003-0047-5","journal-title":"Softw. Syst. Model."},{"key":"4_CR27","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-00899-3_3","volume":"2","author":"N Lohmann","year":"2009","unstructured":"Lohmann, N., Verbeek, E., Dijkman, R.M.: Petri net transformations for business processes - a survey. Trans. Petri Nets Other Models Concurr. 2, 46\u201363 (2009)","journal-title":"Trans. Petri Nets Other Models Concurr."},{"key":"4_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-319-74730-9_18","volume-title":"Software Technologies: Applications and Foundations","author":"T Mayerhofer","year":"2018","unstructured":"Mayerhofer, T., Combemale, B.: The tool generation challenge for executable domain-specific modeling languages. In: Seidl, M., Zschaler, S. (eds.) STAF 2017. LNCS, vol. 10748, pp. 193\u2013199. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-74730-9_18"},{"key":"4_CR29","unstructured":"M\u00f6ller, P., Haustermann, M., Mosteller, D., Schmitz, D.: Simulating multiple formalisms concurrently based on reference nets. In: Moldt, D., Cabac, L., R\u00f6lke, H. (eds.) Petri Nets and Software Engineering. International Workshop, PNSE 2017, Zaragoza, Spain, 25\u201326 June 2017. Proceedings. CEUR Workshop Proceedings, vol. 1846, pp. 137\u2013156. CEUR-WS.org (2017). \nhttp:\/\/CEUR-WS.org\/Vol-1846\/"},{"key":"4_CR30","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-662-58381-4_5","volume":"13","author":"P M\u00f6ller","year":"2018","unstructured":"M\u00f6ller, P., Haustermann, M., Mosteller, D., Schmitz, D.: Model synchronization and concurrent simulation of multiple formalisms based on reference nets. Trans. Petri Nets Other Models Concurr. XIII 13, 93\u2013115 (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-662-58381-4_5","journal-title":"Trans. Petri Nets Other Models Concurr. XIII"},{"key":"4_CR31","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-662-53401-4_5","volume":"11","author":"D Mosteller","year":"2016","unstructured":"Mosteller, D., Cabac, L., Haustermann, M.: Integrating Petri net semantics in a model-driven approach: the Renew meta-modeling and transformation framework. Trans. Petri Nets Other Models Concurr. XI 11, 92\u2013113 (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-662-53401-4_5","journal-title":"Trans. Petri Nets Other Models Concurr. XI"},{"key":"4_CR32","unstructured":"Mosteller, D., Haustermann, M., Moldt, D., Schmitz, D.: Graphical simulation feedback in Petri net-based domain-specific languages within a meta-modeling environment. In: Moldt, D., Kindler, E., R\u00f6lke, H. (eds.) Petri Nets and Software Engineering. International Workshop, PNSE 2018, Bratislava, Slovakia, 25\u201326 June 2018. Proceedings. CEUR Workshop Proceedings, vol. 2138, pp. 56\u201375. CEUR-WS.org (2018). \nhttp:\/\/ceur-ws.org\/Vol-2138\/"},{"key":"4_CR33","unstructured":"OMG: Object Management Group: Business Process Model and Notation (BPMN) - Version 2.0.2 (2013). \nhttp:\/\/www.omg.org\/spec\/BPMN\/2.0.2"},{"issue":"4","key":"4_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/MDSO.2007.22","volume":"8","author":"Luis Pedro","year":"2007","unstructured":"Pedro, L., Lucio, L., Buchs, D.: System prototype and verification using metamodel-based transformations. IEEE Distrib. Syst. Online 8(4) (2007). \nhttps:\/\/doi.org\/10.1109\/MDSO.2007.22","journal-title":"IEEE Distributed Systems Online"},{"key":"4_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-319-47169-3_12","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"F Rybicki","year":"2016","unstructured":"Rybicki, F., Smyth, S., Motika, C., Schulz-Rosengarten, A., von Hanxleden, R.: Interactive model-based compilation continued \u2013 incremental hardware synthesis for SCCharts. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 150\u2013170. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-47169-3_12"},{"key":"4_CR36","doi-asserted-by":"publisher","unstructured":"Sedrakyan, G., Snoeck, M.: Enriching model execution with feedback to support testing of semantic conformance between models and requirements - design and evaluation of feedback automation architecture. In: Calabr\u00f2, A., Lonetti, F., Marchetti, E. (eds.) Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, AMARETTO@MODELSWARD 2016, Rome, Italy, 19\u201321 February 2016, pp. 14\u201322. SciTePress (2016). \nhttps:\/\/doi.org\/10.5220\/0005841800140022","DOI":"10.5220\/0005841800140022"},{"key":"4_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-69108-1_1","volume-title":"Application and Theory of Petri Nets 1998","author":"R Valk","year":"1998","unstructured":"Valk, R.: Petri nets as token objects. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 1\u201324. Springer, Heidelberg (1998). \nhttps:\/\/doi.org\/10.1007\/3-540-69108-1_1"},{"key":"4_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-642-21834-7_19","volume-title":"Applications and Theory of Petri Nets","author":"M Westergaard","year":"2011","unstructured":"Westergaard, M.: Access\/CPN 2.0: a high-level interface to coloured petri net models. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 328\u2013337. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-21834-7_19"},{"key":"4_CR39","unstructured":"Wincierz, M.: A tool chain for test-driven development of reference net software components in the context of CAPA agents. In: Moldt, D., Cabac, L., R\u00f6lke, H. (eds.) Petri Nets and Software Engineering. International Workshop, PNSE 2017, Zaragoza, Spain, 25\u201326 June 2017. Proceedings. CEUR Workshop Proceedings, vol. 1846, pp. 197\u2013214. CEUR-WS.org (2017). \nhttp:\/\/CEUR-WS.org\/Vol-1846\/"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency XIV"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-60651-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,20]],"date-time":"2019-11-20T06:10:18Z","timestamp":1574230218000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-60651-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783662606506","9783662606513"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-60651-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"21 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}