Ronny Tredup. Hardness Results for the Synthesis of b-bounded Petri Nets. In Susanna Donatelli, Stefan Haar, editors, Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings. Volume 11522 of Lecture Notes in Computer Science, pages 127-147, Springer, 2019. [doi]
@inproceedings{Tredup19,
title = {Hardness Results for the Synthesis of b-bounded Petri Nets},
author = {Ronny Tredup},
year = {2019},
doi = {10.1007/978-3-030-21571-2_9},
url = {https://doi.org/10.1007/978-3-030-21571-2_9},
researchr = {https://researchr.org/publication/Tredup19},
cites = {0},
citedby = {0},
pages = {127-147},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings},
editor = {Susanna Donatelli and Stefan Haar},
volume = {11522},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-21571-2},
}