Augmented Marked Graphs (Informatica, 2025)
Augmented Marked Graphs