Unifying Petri Nets : Advances in Petri Nets - Hartmut Ehrig, Julia Padberg, Gabriel Juhás, Grzegorz Rozenberg ((Lecture Notes in Computer Science))