“APC Semantics for Petri Nets”. Informatica 32 (3). https://puffbird.ijs.si/index.php/informatica/article/view/197.