For the most recent entries see the Petri Nets Newsletter.

Evaluation of SDL Specifications with Petri Nets.

Fischer, J.; Leipner, P.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography