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.