G. Engels, R. Heckel, and J. Küster. 4th International Conference on The Unified Modeling Language (UML 2001), volume 2185 of Lecture Notes in Computer Science, page 272--286. Springer-Verlag, Berlin, (2001)
R. Heckel. Petri Net Technology for Communication Based Systems, volume 2472 of Lecture Notes in Computer Science, page 281--294. Springer-Verlag, Berlin, (2003)