S. Šimoňák and M. Tomášek, “ACP Semantics for Petri Nets”, Comput. Inform., vol. 37, no. 6, pp. 1464–1484, Feb. 2019.