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