Augmented Marked Graphs - Cheung, King Sing (Springer International Publishing : Imprint: Springer, 2014)