Augmented Marked Graphs . IJCAI 32 (1).