Timo Lask
ABSTRACT
This article displays how different processes in the hospital and healthcare sector can be modeled using Petri nets, focusing particularly on time modeling. For the duration of processes cannot be determined exactly in the field at the most, different options of modeling stochastic time concepts are featured. Also, the piece gives an overview on which new (stochastic) time concepts are by now featured within the Modelica library PNlib (see section 1.3), as well as their concrete utilization in the project FiliP (see section 4).
- Bachmann B, Kleine-Döpke T, Kruse H-J, Ochel L, and Proß S. 2014. Petri-Netz-Formalismen und Lösungsansätze für allgemeine Konfliktsituationen bei Feuerprozessen in Petri-Netz-Modellen. Forschungsreihe des Fachbereichs Ingenieurwissenschaften und Mathematik der Fachhochschule Bielefeld, Vol. 2. https://www.fh-bielefeld.de/ium/forschung/forschungsschwerpunkte/ammo/veroeffentlichungen ISSN 2196--6192.Google Scholar
- Baumgarten B. 1997. Petri-Netze - Grundlagen und Anwendungen (2. ed.). Spektrum Akademischer Verlag, Heidelberg; Berlin; Oxford.Google Scholar
- Diestel R. 2017. Graph Theory (5. ed.). Springer. Google ScholarDigital Library
- Ganiyu RA, Olabiyisi SO, Badmus TA, and Akingbade OY. 2015. Development of a Timed Coloured Petri Nets Model for Health Centre Patient Care Flow Processes. International Journal Of Engineering And Computer Science Volume 4 Issue 1 (2015), 9954--9961.Google Scholar
- Gerber S. 2004. Petri-Netze 2. Technical Report. Institut für Informatik, Universität Leipzig.Google Scholar
- Hackmann T. 2010. Arbeitsmarkt Pflege. Bestimmung der zukünftigen Altenpflegekräfte unter Berücksichtigung der Berufsverweildauer. Sozialer Fortschritt 59, 9 (2010), 235--244.Google ScholarCross Ref
- Herajy M, Liu F, Rohr C, and Heiner M. 2017. (Coloured) Hybrid Petri Nets in Snoopy -User Manual. (2017). ISSN 1437--7969.Google Scholar
- Hien W. 2009. Pflege bis 67? Die gesundheitliche Situation älterer Pflegekräfte. Mabuse-Verlag.Google Scholar
- Jensen K and Kristensen LM. 2009. Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, Berlin-Heidelberg. Google ScholarDigital Library
- Kleine-Döpke T and Kruse H-J. 2015. Lösungsansätze für Konfliktsituationen bei Feuerprozessen in kapazitierten Petri-Netzen. Technical Report. AMMO - Berichte aus Forschung und Technologietransfer, Fachhochschule Bielefeld. https://www.fh-bielefeld.de/ium/forschung/forschungsschwerpunkte/ammo/veroeffentlichungen ISSN 2198-4824.Google Scholar
- Lask T, Kruse H-J, and Bachmann B. 2016. Simulation und Optimierung der Personalplanung im Pflegebereich von Krankenhäusern durch Petri-Netz-Modelle. In Angewandte mathematische Modellierung und Optimierung - Ausgewählte Modelle, Methoden, Fallstudien, Kruse H-J and Lask T (Eds.). Forschungsreihe des Fachbereichs Ingenieurwissenschaften und Mathematik der Fachhochschule Bielefeld, Vol. 4. 36--61. https://www.fh-bielefeld.de/ium/forschung/forschungsschwerpunkte/ammo/veroeffentlichungen ISSN 2196--6192.Google Scholar
- Ochel L. 2017. Petri-Netz-basierte Simulation biologischer Prozesse mit OpenModelica. Ph.D. Dissertation.Google Scholar
- Otter M, Thiele B, and Elmqvist H. 2012. A Library for Synchronous Control Systems in Modelica. In Proceedings of the 9th International Modelica Conference. 27--36.Google Scholar
- Priese Land Wimmel H. 2003. Theoretische Informatik - Petri-Netze. Springer, Berlin-Heidelberg.Google Scholar
- Proß S. 2013. Hybrid Modeling and Optimization of Biological Processes. Forschungsreihe des Fachbereichs Ingenieurwissenschaften und Mathematik der Fachhochschule Bielefeld, Vol. 1. https://www.fh-bielefeld.de/ium/forschung/forschungsschwerpunkte/ammo/veroeffentlichungen ISSN 2196--6192.Google Scholar
- Reisig W. 1982. Petrinetze - Eine Einführung. Springer, Berlin-Heidelberg.Google Scholar
- Reisig W. 2010. Petrinetze. Springer, Wiesbaden.Google Scholar
- Sarshar Kl and Loos P. 2005. Modellierung überbetrieblicher Behandlungsprozesse durch Objekt-Petrinetze. Wirtschaftsinformatik 47 (2005), 203--220.Google ScholarCross Ref
- Silberberg J, Lask T, and Bachmann B. 2016. Formalismen für gefärbte Petri-Netze und Verfahren zur effizienten Bestimmung von aktiven Modus-Mengen. Technical Report. AMMO - Berichte aus Forschung und Technologietransfer, Fachhochschule Bielefeld. https://www.fh-bielefeld.de/ium/forschung/forschungsschwerpunkte/ammo/veroeffentlichungen ISSN 2198--4824.Google Scholar
- Starke PH. 1990. Analyse von Petri-Netz-Modellen. Springer, Stuttgart.Google Scholar
- Vigna S. 2016. Further scramblings of Marsaglia's xorshift generators. CoRR abs/1404.0390v3 (2016). http://arxiv.org/abs/1404.0390v3Google Scholar
Index Terms
- Stochastic time petri nets: time processes modelling in Modelica and application in hospital and healthcare
Recommendations
OMPetri - A Software Application for Modeling and Simulation Using Extended Hybrid Petri Nets by Employing OpenModelica
Application and Theory of Petri Nets and ConcurrencyAbstractIn 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 ...
Discrete Time Stochastic Petri Nets
Basic graph models of processes, such as Petri nets, have usually omitted the concept of time as a parameter. Time has been added to the Petri net model in two ways. The timed Petri net (TPN) uses a fixed number of discrete time intervals. The ...
Complete Process Semantics of Petri Nets
In the first part of this paper we extend the semantical framework proposed in [22] for process and causality semantics of Petri nets by an additional aim, firstly mentioned in the habilitation thesis [15]. The aim states that causality semantics ...
Comments