Hans Fleischhack Bernd Grahlmann A Compositional Petri Net Semantics for SDL. 144-164 http://dx.doi.org/10.1007/3-540-69108-1_9 1998 conf/apn/1998 ICATPN db/conf/apn/icatpn98.html#FleischhackG98