Authors: Nisse Husberg, Teemu Tynjälä, and Kimmo Varpaaniemi

Title: Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol

Appears in: M. Nielsen and D. Simpson (Eds.), Application and Theory of Petri Nets 2000, LNCS 1825, Springer-Verlag, 2000.

Pages: 244-260

The modelling of a telecommunication protocol, ISDN-DSS1, defined using SDL, is described and the problems and methods used are discussed. The formalism used for the model is a high-level Petri net, the PROD input language which is close to a predicate/transition net. The influence of the model on the reachability analysis is also discussed with a special attention on the use of priorities and reduction methods. Finally, further development of tools which aid in modelling and analysis of this class of systems is discussed.


the paper in Postscript,