(untitled) (Informatica)
Augmented Marked Graphs