Šimoňák, S., & Tomášek, M. (2018). ACP Semantics for Petri Nets. Computing and Informatics, 37(6), 1464–1484. https://doi.org/10.4149/cai_2018_6_1464