K.-S. Cheung, “Augmented Marked Graphs ”, IJCAI, vol. 32, no. 1.