Applications and Theory of Petri Nets - Franceschinis, Giuliana (Springer Berlin Heidelberg, 2009)