Šimoňák, S. and Tomášek, M. 2019. ACP Semantics for Petri Nets. Computing and Informatics. 37, 6 (Feb. 2019), 1464–1484.