Abstract
In this paper we present OMPetri, a new tool for modeling, simulation, and analyzing of a powerful unifying Petri net concept: extended hybrid Petri nets (xHPN). The software features a modern, lightweight, and intuitive graphical user interface that focuses on users who are new to Petri nets, while also enabling experienced users to model more complex and advanced systems. It has not been designed for any specific application cases. Thus it is as universal as the related Petri net formalism that can be applied for modeling systems of various research areas, such as systems biology, business processes, and industrial workflows.
It greatly enables and simplifies the modeling of discrete, continuous, and hybrid Petri nets. New models can be created and existing models can be modified and improved quickly and easily due to two different model views. During the process of modeling, the Petri net may change its class (discrete, continuous, hybrid) and solving strategies for conflicts can be defined.
The tool employs OpenModelica and the advanced Modelica Petri net library PNlib to provide an elaborated and powerful simulation environment. Additionally, it provides basic features to check and evaluate the model and to analyze simulation results generated by the simulation back-end.
Both, the tool, as well as OpenModelica are open source and free of charge for academic usage. Java source code, executable JAR and a tutorial are available at: https://agbi.techfak.uni-bielefeld.de/OMPetri.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Dotoli, M., Fanti, M.P., Giua, A., Seatzu, C.: Modelling systems by hybrid Petri nets: an application to supply chains. In: Petri Net, Theory and Applications, pp. 91–112. InTech (2008)
Petri, C.A.: Dissertation: Kommunikation mit Automaten. Schriften des Rheinisch-Westfälischen Institutes für Instrumentelle Mathematik an der Universität Bonn (1962)
Nagasaki, M., Saito, A., Jeong, E., Li, C., Kojima, K., Ikeda, E., Miyano, S.: Cell illustrator 4.0: a computational platform for systems biology. Silico Biol. 10(1), 5–26 (2010)
Nagasaki, M., Doi, A., Matsuno, H., Miyano, S.: Genomic Object Net: I. A platform for modelling and simulating biopathways. Appl. Bioinf. 2(3), 181–184 (2003)
Heiner, M., Herajy, M., Liu, F., Rohr, C., Schwarick, M.: Snoopy – a unifying petri net tool. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol. 7347, pp. 398–407. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31131-4_22
Matsuno, H., Tanaka, Y., Aoshima, H., Doi, A., Matsui, M., Miyano, S.: Biopathways representation and simulation on hybrid functional Petri net. Silico Biol. 3(3), 389–404 (2003)
Proß, S., Bachmann, B.: Pnlib - an advanced Petri net library for hybrid process modeling. In: Proceedings of the 9th International MODELICA Conference, Munich, Germany, 3–5 September 2012, no. 76, pp. 47–56. Linköping University Electronic Press, Linköpings universitet (2012)
Fritzson, P., Bunus, P.: Modelica - a general object-oriented language for continuous and discrete-event system modeling. In: Proceedings of the 35th Annual Simulation Symposium, pp. 14–18 (2002)
Fritzson, P., Aronsson, P., Lundvall, H., Nyström, K., Pop, A., Saldamli, L., Broman, D.: The openmodelica modeling, simulation, and software development environment. Simul. News Eur. 44(45), 8–16 (2005)
Modelica: Modelica association. https://www.modelica.org/. Accessed 22 Jan 2018
OSMC: Open source modelica consortium. https://openmodelica.org/home/consortium. Accessed 22 Jan 2018
Oracle: Java 8 documentation. https://docs.oracle.com/javase/8/docs/. Accessed 22 Jan 2018
Pivotal Software: Spring framework. https://projects.spring.io/spring-framework/. Accessed 22 Jan 2018
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Brinkrolf, C., Reipke, P. (2018). OMPetri - A Software Application for Modeling and Simulation Using Extended Hybrid Petri Nets by Employing OpenModelica. In: Khomenko, V., Roux, O. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2018. Lecture Notes in Computer Science(), vol 10877. Springer, Cham. https://doi.org/10.1007/978-3-319-91268-4_23
Download citation
DOI: https://doi.org/10.1007/978-3-319-91268-4_23
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-91267-7
Online ISBN: 978-3-319-91268-4
eBook Packages: Computer ScienceComputer Science (R0)