25 November 2011
A hybrid Petri net formalism that allows deterministic, generally distributed and fluid transitions is introduced. Models in such formalism are analyzed by separating the deterministic and the stochastic evolution of the system. Several performance metrics, such as the distribution of fluid over time, can be derived by deconditioning according to arbitrary continuous probability distributions. This efficient concept allows for the analysis of an arbitrary number of fluid places, as opposed to classical hybrid Petri net approaches.