Lectures on Concurrency and Petri Nets Advances in Petri Nets - Desel, Jörg; Reisig, Wolfgang; Rozenberg, Grzegorz (Springer Berlin Heidelberg, 2004)