Cheung, K.-S. . Augmented Marked Graphs . Informatica. 32, 1 ().