Applications and Theory of Petri Nets - Franceschinis, Giuliana; Kanade, Takeo; Wolf, Karsten; Kittler, Josef (Springer Berlin Heidelberg, 2009)