Jannik Hüls, Carina Pilch, Patricia Schinke, Joanna Delicaris, Anne Remke. State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. In David Parker 0001, Verena Wolf, editors, Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings. Volume 11785 of Lecture Notes in Computer Science, pages 182-199, Springer, 2019. [doi]
Abstract is missing.