Drawing the Line: Basin Boundaries in Safe Petri Nets

Stefan Haar, Loïc Paulevé, Stefan Schwoon. Drawing the Line: Basin Boundaries in Safe Petri Nets. In Alessandro Abate, Tatjana Petrov, Verena Wolf, editors, Computational Methods in Systems Biology - 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings. Volume 12314 of Lecture Notes in Computer Science, pages 321-336, Springer, 2020. [doi]

@inproceedings{HaarPS20,
  title = {Drawing the Line: Basin Boundaries in Safe Petri Nets},
  author = {Stefan Haar and Loïc Paulevé and Stefan Schwoon},
  year = {2020},
  doi = {10.1007/978-3-030-60327-4_17},
  url = {https://doi.org/10.1007/978-3-030-60327-4_17},
  researchr = {https://researchr.org/publication/HaarPS20},
  cites = {0},
  citedby = {0},
  pages = {321-336},
  booktitle = {Computational Methods in Systems Biology - 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings},
  editor = {Alessandro Abate and Tatjana Petrov and Verena Wolf},
  volume = {12314},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-60327-4},
}