@misc{indiciae8650e4925300,
  title = {Stochastic Decision Petri Nets},
  author = {Florian Wittbold and Rebecca Bernemann and Reiko Heckel and Tobias Heindel and Barbara König},
  year = {2023},
  url = {https://arxiv.org/abs/2303.13344},
  note = {Source identifier: 2303.13344}
}