In: 1988: Informatik Informationen, Reporte, Nr. 16, pages 148-159. Akademie der Wissenschaften der DDR, Institut für Informatik und Rechentechnik, 1988.
Abstract: Starting with a short summary of features of SDL, an description language of CCITT important to specify distributed communication software in the form of services and protocols, a tool set will be provided for validation of such SDL specifications in a comprehensive sense. One major part dealing with derived Petri net models is discussed in detail. Transformation rules developed to construct net models from SDL programs are introduced and illustrated with a sample specification of a fictive protocol.