https://5dok.net/document/8yd18mgy-compositional-modelling-using-petri-analysis-stochastic-hybrid-processes.html