Šimoňák, S. and Tomášek, M. (2019) “ACP Semantics for Petri Nets”, COMPUTING AND INFORMATICS, 37(6), pp. 1464–1484. Available at: https://www.cai.sk/ojs/index.php/cai/article/view/2018_6_1464 (Accessed: 8 February 2023).