Applications and Theory of Petri Nets - Hee, Kees M. (Springer Berlin Heidelberg, 2008)