Applications and Theory of Petri Nets - Hee, Kees M.; Hee, Kees Max van; Kanade, Takeo; Valk, Rüdiger (Springer Berlin Heidelberg, 2008)