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