State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings

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

Abstract

Abstract is missing.