Šimoňák, S.; Tomášek, M. ACP Semantics for Petri Nets. Comput. Inform. 2019, 37, 1464-1484.