Stochastic time petri nets: time processes modelling in Modelica and application in hospital and healthcare

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).