Application and Theory of Petri Nets - Hutchison, David; Kanade, Takeo; Kittler, Josef; Pomello, Lucia (Springer Berlin Heidelberg, 2012)