@misc{indiciae99ec2b0790ef,
  title = {State-space construction of Hybrid Petri nets with multiple stochastic firings},
  author = {Jannik Hüls and Carina Pilch and Patricia Schinke and Henner Niehaus and Joanna Delicaris and Anne Remke},
  year = {2020},
  url = {https://arxiv.org/abs/2010.11056},
  note = {Source identifier: 2010.11056}
}