Cheung, K.-S. Augmented Marked Graphs . Informatica, 32(1). Retrieved from https://puffbird.ijs.si/index.php/informatica/article/view/179