Lectures on concurrency and Petri nets : advances in Petri nets - Desel, Jörg, 1959-; Reisig, Wolfgang, 1950-; Rozenberg, Grzegorz, 1942- (Lecture notes in computer science, 2004)