Abstract
Nowadays, modeling complex systems requires a combination of techniques to facilitate multiple perspectives and adequate modeling. Therefore, UML and other formalisms are used in combination with Petri nets. Often the different models are transformed into a single formalism to simulate the resulting models within a homogeneous execution environment. For UML, the mapping is usually done via the transformation to some programming language.
Anyhow, the problem with generative techniques is that the different perspectives that are provided by the applied modeling techniques can hardly be retained once the models are transformed into a single formalism. In this contribution we elaborate on how multiple formalisms can be used together in their original representation.
One of the main challenges for our approach is the provision of means for coupling mentioned formalisms so they can be executed together. We utilize the synchronization features of Reference Nets to couple multiple modeling techniques. Therefore, we present an approach to transform modeling languages into Reference Nets, which can be executed with the simulation environment Renew. The simulation events are forwarded to the original representation in the form of graphical user feedback and interaction.
This results in a simultaneous and concurrent execution of models featuring a combination of multiple modeling formalisms. A finite automata modeling and simulation tool is presented to showcase the application of our concept. Based on our results, we present a case study that utilizes finite automata in combination with Reference Nets and activity diagrams.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The full multi-formalism feature will be part of Renew version 2.6 and then be available at http://renew.de. The current development version can be found at http://paose.net/wiki/MultiFormalism.
References
Agarwal, B.: Transformation of UML activity diagrams into Petri nets for verification purposes. Int. J. Eng. Comput. Sci. 2(3), 798–805 (2013)
AToM\(^{3}\) website. http://atom3.cs.mcgill.ca. Accessed 19 Jan 2017
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–130. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45397-0_3
Bruni, R., Montanari, U.: Zero-safe nets: the individual token approach. In: Presicce, F.P. (ed.) WADT 1997. LNCS, vol. 1376, pp. 122–140. Springer, Heidelberg (1998). https://doi.org/10.1007/3-540-64299-4_30
Burkhard, H.D.: Control of Petri nets by finite automata. Annales Societatis Mathematicae Polonae Series IV: Fundamenta Informaticae VI.2, 185–215 (1983)
Cabac, L., Haustermann, M., Mosteller, D.: Renew 2.5 – 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–112. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-39086-4_7
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–178. Springer, Heidelberg (1994). https://doi.org/10.1007/3-540-58152-9_10
Courtney, T., Gaonkar, S., Keefe, K., Rozier, E.W.D., Sanders, W.H.: Möbius 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–358, June 2009
Ezpeleta, J., Colom, J.M., Martínez, J.: A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Robot. Autom. 11(2), 173–184 (1995)
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–14 February (2003)
Frank, U.: Multi-perspective enterprise modeling: foundational concepts, prospects and future research challenges. Softw. Syst. Model. 13(3), 941–962 (2014)
Friedrich, M., Moldt, D.: Introducing refactoring for reference nets. In: Cabac, L., Kristensen, L.M., Rölke, H. (eds.) Proceedings of the Petri Nets and Software Engineering. International Workshop, PNSE 2016, Toruń, Poland, 20–21 June 2016. CEUR Workshop Proceedings, vol. 1591, pp. 76–92. CEUR-WS.org (2016)
GEMOC Initiative website. http://gemoc.org/index.html. Accessed 02 Apr 2017
Giua, A., Seatzu, C.: Petri nets for the control of discrete event systems. Softw. Syst. Model. 14(2), 693–701 (2015)
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–2034 (2015)
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
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–21 December 2016, pp. 181–186. IEEE Computer Society (2016)
Jeusfeld, M.A.: SemCheck: checking constraints for multi-perspective modeling languages. Domain-Specific Conceptual Modeling, pp. 31–53. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-39417-6_2
Krogstie, J.: Perspectives to Process Modeling. Studies in Computational Intelligence, vol. 444, pp. 1–39. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-28409-0_1
Kummer, O.: Referenznetze. Logos Verlag, Berlin (2002)
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
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
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–188. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45923-5_12
Larsen, V., Ezequiel, M.: BCOol: The Behavioral Coordination Operator Language. Theses, Université de Nice Sophia Antipolis, April 2016
Milner, R.: Elements of interaction - turing award lecture. Commun. ACM 36(1), 78–89 (1993)
Möller, P., Haustermann, M., Mosteller, D., Schmitz, D.: Simulating multiple formalisms concurrently based on reference nets. In: Moldt, D., Cabac, L., Rölke, H. (eds.) Proceedings of the Petri Nets and Software Engineering. International Workshop, PNSE 2017, Zaragoza, Spain, 25–26 June 2017. CEUR Workshop Proceedings, vol. 1846, pp. 137–156. CEUR-WS.org (2017)
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–113. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-662-53401-4_5
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ölke, H. (eds.) Proceedings of the Petri Nets and Software Engineering. International Workshop, PNSE 2018, Bratislava, Slovakia, 25–26 June 2018. CEUR Workshop Proceedings, vol. 2138, pp. 57–76. CEUR-WS.org (2018). http://ceur-ws.org/Vol-2138
Petri, C.A.: Kommunikation mit Automaten. Dissertation, Schriften des IIM 2, Rheinisch-Westfälisches Institut für Instrumentelle Mathematik an der Universität Bonn, Bonn (1962)
Reisig, W.: Embedded system description using Petri nets. In: Kündig, A., Bührer, R.E., Dähler, J. (eds.) Embedded Systems. LNCS, vol. 284, pp. 18–62. Springer, Heidelberg (1987). https://doi.org/10.1007/BFb0016346
Valk, R.: Petri nets as token objects. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 1–24. Springer, Heidelberg (1998). https://doi.org/10.1007/3-540-69108-1_1
Zeigler, B.P.: Multifacetted Modelling and Discrete Event Simulation. Academic Press Professional Inc., San Diego (1984)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer-Verlag GmbH Germany, part of Springer Nature
About this chapter
Cite this chapter
Möller, P., Haustermann, M., Mosteller, D., Schmitz, D. (2018). Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets. In: Koutny, M., Kristensen, L., Penczek, W. (eds) Transactions on Petri Nets and Other Models of Concurrency XIII. Lecture Notes in Computer Science(), vol 11090. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-58381-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-662-58381-4_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-58380-7
Online ISBN: 978-3-662-58381-4
eBook Packages: Computer ScienceComputer Science (R0)