State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. - Jannik Hüls; Carina Pilch; Patricia Schinke; Joanna Delicaris; Anne Remke (QEST, 2019)

State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. - Jannik Hüls; Carina Pilch; Patricia Schinke; Henner Niehaus; Joanna Delicaris; Anne Remke (ACM Trans. Model. Comput. Simul., 2021)