Heinz Jürgen Burkhardt Hans Eckert Rainer Prinoth Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets. 165-192 1984 conf/pstv/1984 PSTV db/conf/pstv/pstv1984.html#BurkhardtEP84