Title: Augmented Marked Graphs
Subjects: Petri nets