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