Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks

Rebecca Bernemann, Benjamin Cabrera, Reiko Heckel, Barbara König 0001. Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks. In Nitin Saxena 0001, Sunil Simon, editors, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference). Volume 182 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]

@inproceedings{BernemannCH020,
  title = {Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks},
  author = {Rebecca Bernemann and Benjamin Cabrera and Reiko Heckel and Barbara König 0001},
  year = {2020},
  doi = {10.4230/LIPIcs.FSTTCS.2020.38},
  url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2020.38},
  researchr = {https://researchr.org/publication/BernemannCH020},
  cites = {0},
  citedby = {0},
  booktitle = {40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference)},
  editor = {Nitin Saxena 0001 and Sunil Simon},
  volume = {182},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  isbn = {978-3-95977-174-0},
}