Petri Net Technology for Communication-Based Systems : Advances in Petri Nets - Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber ((Lecture Notes in Computer Science))