. Augmented Marked Graphs . Informatica. 32, 1 ().