Augmented Marked Graphs . INF. 32(1). Accessed September 24, 2025. https://puffbird.ijs.si/index.php/informatica/article/view/179