Applications and Theory of Petri Nets - Kristensen, Lars M. (Springer Berlin Heidelberg, 2011)