Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber: Petri Net Technology for Communication-Based Systems - Advances in Petri Nets. Lecture Notes in Computer Science 2472, Springer 2003, ISBN 3-540-20538-1