Augmented Marked Graphs . INF 32 (1).