Applications and Theory of Petri Nets - Kristensen, Lars M.; Kanade, Takeo; Petrucci, Laure; Kittler, Josef (Springer Berlin Heidelberg, 2011)