{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T17:22:42Z","timestamp":1755796962097},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662583807"},{"type":"electronic","value":"9783662583814"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-662-58381-4_5","type":"book-chapter","created":{"date-parts":[[2018,11,20]],"date-time":"2018-11-20T14:48:09Z","timestamp":1542725289000},"page":"93-115","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets"],"prefix":"10.1007","author":[{"given":"Pascale","family":"M\u00f6ller","sequence":"first","affiliation":[]},{"given":"Michael","family":"Haustermann","sequence":"additional","affiliation":[]},{"given":"David","family":"Mosteller","sequence":"additional","affiliation":[]},{"given":"Dennis","family":"Schmitz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,11,21]]},"reference":[{"issue":"3","key":"5_CR1","first-page":"798","volume":"2","author":"B Agarwal","year":"2013","unstructured":"Agarwal, B.: Transformation of UML activity diagrams into Petri nets for verification purposes. Int. J. Eng. Comput. Sci. 2(3), 798\u2013805 (2013)","journal-title":"Int. J. Eng. Comput. Sci."},{"key":"5_CR2","unstructured":"AToM$$^{3}$$ website. http:\/\/atom3.cs.mcgill.ca . Accessed 19 Jan 2017"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/3-540-45397-0_3","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"O Biberstein","year":"2001","unstructured":"Biberstein, O., Buchs, D., Guelfi, N.: Object-oriented nets with algebraic specifications: the CO-OPN\/2 formalism. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) Concurrent Object-Oriented Programming and Petri Nets. LNCS, vol. 2001, pp. 73\u2013130. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45397-0_3"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/3-540-64299-4_30","volume-title":"Recent Trends in Algebraic Development Techniques","author":"R Bruni","year":"1998","unstructured":"Bruni, R., Montanari, U.: Zero-safe nets: the individual token approach. In: Presicce, F.P. (ed.) WADT 1997. LNCS, vol. 1376, pp. 122\u2013140. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/3-540-64299-4_30"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Burkhard, H.D.: Control of Petri nets by finite automata. Annales Societatis Mathematicae Polonae Series IV: Fundamenta Informaticae VI.2, 185\u2013215 (1983)","DOI":"10.3233\/FI-1983-6204"},{"key":"5_CR6","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). https:\/\/doi.org\/10.1007\/978-3-319-39086-4_7"},{"key":"5_CR7","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). https:\/\/doi.org\/10.1007\/3-540-58152-9_10"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Courtney, T., Gaonkar, S., Keefe, K., Rozier, E.W.D., Sanders, W.H.: M\u00f6bius 2.3: an extensible tool for dependability, security, and performance evaluation of large and complex system models. In: 2009 IEEE\/IFIP International Conference on Dependable Systems Networks, pp. 353\u2013358, June 2009","DOI":"10.1109\/DSN.2009.5270318"},{"issue":"2","key":"5_CR9","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1109\/70.370500","volume":"11","author":"J Ezpeleta","year":"1995","unstructured":"Ezpeleta, J., Colom, J.M., Mart\u00ednez, J.: A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Robot. Autom. 11(2), 173\u2013184 (1995)","journal-title":"IEEE Trans. Robot. Autom."},{"key":"5_CR10","unstructured":"Ezpeleta, J., Moldt, D.: A proposal for flexible testing of deadlock control strategies in resource allocation systems. In: Pahlavani, Z. (ed.) Proceedings of International Conference on Computational Intelligence for Modelling Control and Automation, Vienna, Austria, 12\u201314 February (2003)"},{"issue":"3","key":"5_CR11","doi-asserted-by":"publisher","first-page":"941","DOI":"10.1007\/s10270-012-0273-9","volume":"13","author":"U Frank","year":"2014","unstructured":"Frank, U.: Multi-perspective enterprise modeling: foundational concepts, prospects and future research challenges. Softw. Syst. Model. 13(3), 941\u2013962 (2014)","journal-title":"Softw. Syst. Model."},{"key":"5_CR12","unstructured":"Friedrich, M., Moldt, D.: Introducing refactoring for reference nets. In: Cabac, L., Kristensen, L.M., R\u00f6lke, H. (eds.) Proceedings of the Petri Nets and Software Engineering. International Workshop, PNSE 2016, Toru\u0144, Poland, 20\u201321 June 2016. CEUR Workshop Proceedings, vol. 1591, pp. 76\u201392. CEUR-WS.org (2016)"},{"key":"5_CR13","unstructured":"GEMOC Initiative website. http:\/\/gemoc.org\/index.html . Accessed 02 Apr 2017"},{"issue":"2","key":"5_CR14","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1007\/s10270-014-0425-1","volume":"14","author":"A Giua","year":"2015","unstructured":"Giua, A., Seatzu, C.: Petri nets for the control of discrete event systems. Softw. Syst. Model. 14(2), 693\u2013701 (2015)","journal-title":"Softw. Syst. Model."},{"issue":"5","key":"5_CR15","doi-asserted-by":"publisher","first-page":"2026","DOI":"10.1109\/TCST.2015.2391014","volume":"23","author":"H Hu","year":"2015","unstructured":"Hu, H., Liu, Y., Zhou, M.: Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets. IEEE Trans. Control Syst. Technol. 23(5), 2026\u20132034 (2015)","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"5_CR16","unstructured":"Jacob, T., Kummer, O., Moldt, D., Ultes-Nitsche, U.: Implementation of workflow systems using reference nets - security and operability aspects. In: Jensen, K. (ed.) Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. Department of Computer Science, University of Aarhus, August 2002"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Jamal, M., Zafar, N.A.: Transformation of activity diagram into coloured Petri nets using weighted directed graph. In: International Conference on Frontiers of Information Technology, FIT 2016, Islamabad, Pakistan, 19\u201321 December 2016, pp. 181\u2013186. IEEE Computer Society (2016)","DOI":"10.1109\/FIT.2016.041"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-319-39417-6_2","volume-title":"Domain-Specific Conceptual Modeling","author":"MA Jeusfeld","year":"2016","unstructured":"Jeusfeld, M.A.: SemCheck: checking constraints for multi-perspective modeling languages. Domain-Specific Conceptual Modeling, pp. 31\u201353. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39417-6_2"},{"key":"5_CR19","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-28409-0_1","volume-title":"Perspectives to Process Modeling","author":"J Krogstie","year":"2013","unstructured":"Krogstie, J.: Perspectives to Process Modeling. Studies in Computational Intelligence, vol. 444, pp. 1\u201339. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-28409-0_1"},{"key":"5_CR20","volume-title":"Referenznetze","author":"O Kummer","year":"2002","unstructured":"Kummer, O.: Referenznetze. Logos Verlag, Berlin (2002)"},{"key":"5_CR21","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., Cabac, L., Haustermann, M., Mosteller, D.: Renew - the Reference Net Workshop, June 2016. http:\/\/www.renew.de\/ . Release 2.5"},{"key":"5_CR22","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., Cabac, L., Haustermann, M., Mosteller, D.: Renew - User Guide (Release 2.5). Faculty of Informatics, Theoretical Foundations Group, University of Hamburg, Hamburg, June 2016"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/3-540-45923-5_12","volume-title":"Fundamental Approaches to Software Engineering","author":"J Lara de","year":"2002","unstructured":"de Lara, J., Vangheluwe, H.: AToM3: a tool for multi-formalism and meta-modelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 174\u2013188. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45923-5_12"},{"key":"5_CR24","unstructured":"Larsen, V., Ezequiel, M.: BCOol: The Behavioral Coordination Operator Language. Theses, Universit\u00e9 de Nice Sophia Antipolis, April 2016"},{"issue":"1","key":"5_CR25","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/151233.151240","volume":"36","author":"R Milner","year":"1993","unstructured":"Milner, R.: Elements of interaction - turing award lecture. Commun. ACM 36(1), 78\u201389 (1993)","journal-title":"Commun. ACM"},{"key":"5_CR26","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.) Proceedings of the Petri Nets and Software Engineering. International Workshop, PNSE 2017, Zaragoza, Spain, 25\u201326 June 2017. CEUR Workshop Proceedings, vol. 1846, pp. 137\u2013156. CEUR-WS.org (2017)"},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-662-53401-4_5","volume-title":"Transactions on Petri Nets and Other Models of Concurrency XI","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. In: Koutny, M., Desel, J., Kleijn, J. (eds.) Transactions on Petri Nets and Other Models of Concurrency XI. LNCS, vol. 9930, pp. 92\u2013113. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-53401-4_5"},{"key":"5_CR28","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.) Proceedings of the Petri Nets and Software Engineering. International Workshop, PNSE 2018, Bratislava, Slovakia, 25\u201326 June 2018. CEUR Workshop Proceedings, vol. 2138, pp. 57\u201376. CEUR-WS.org (2018). http:\/\/ceur-ws.org\/Vol-2138"},{"key":"5_CR29","unstructured":"Petri, C.A.: Kommunikation mit Automaten. Dissertation, Schriften des IIM 2, Rheinisch-Westf\u00e4lisches Institut f\u00fcr Instrumentelle Mathematik an der Universit\u00e4t Bonn, Bonn (1962)"},{"key":"5_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/BFb0016346","volume-title":"Embedded Systems","author":"W Reisig","year":"1987","unstructured":"Reisig, W.: Embedded system description using Petri nets. In: K\u00fcndig, A., B\u00fchrer, R.E., D\u00e4hler, J. (eds.) Embedded Systems. LNCS, vol. 284, pp. 18\u201362. Springer, Heidelberg (1987). https:\/\/doi.org\/10.1007\/BFb0016346"},{"key":"5_CR31","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). https:\/\/doi.org\/10.1007\/3-540-69108-1_1"},{"key":"5_CR32","volume-title":"Multifacetted Modelling and Discrete Event Simulation","author":"BP Zeigler","year":"1984","unstructured":"Zeigler, B.P.: Multifacetted Modelling and Discrete Event Simulation. Academic Press Professional Inc., San Diego (1984)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency XIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-58381-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T15:54:43Z","timestamp":1662479683000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-58381-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783662583807","9783662583814"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-58381-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}