Applications and Theory of Petri Nets - Lilius, Johan; Kanade, Takeo; Penczek, Wojciech; Kittler, Josef (Springer Berlin Heidelberg, 2010)