Petri Net Technology for Communication-Based Systems Advances in Petri Nets - Ehrig, Hartmut; Ehrig, Hartmut; Reisig, Wolfgang; Reisig, Wolfgang; Rozenberg, Grzegorz; Rozenberg, Grzegorz; Weber, Herbert; Weber, Herbert (Springer Berlin Heidelberg : Imprint: Springer, 2003)