Cheung, K.-S. Augmented Marked Graphs . IJCAI 32.