R. Heckel. Petri Net Technology for Communication Based Systems, volume 2472 of Lecture Notes in Computer Science, page 281--294. Springer-Verlag, Berlin, (2003)
R. Heckel. Petri Net Technology for Communication Based Systems, volume 2472 of Lecture Notes in Computer Science, page 281--294. Springer-Verlag, Berlin, (2003)
G. Engels, R. Heckel, and J.M. 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)
G. Engels, R. Heckel, and J.M. 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)