@inproceedings{
    HuTyVrp00,
    editor = "Nielsen, Mogens and Simpson, Dan",
    author = {Husberg, Nisse and Tynj{\"{a}}l{\"{a}}, Teemu and Varpaaniemi, Kimmo},
    publisher = "Springer-Verlag, Berlin, Germany",
    note = "© Springer-Verlag Berlin Heidelberg 2000",
    title = "{M}odelling and Analysing the {S}{D}{L} Description of the {I}{S}{D}{N}-{D}{S}{S}1 Protocol",
    url = "http://users.tkk.fi/~kvarpaan/info/HuTyVrp00.html",
    series = "Lecture Notes in Computer Science",
    booktitle = "{A}pplication and Theory of {P}etri Nets 2000: 21st International Conference, {I}{C}{A}{T}{P}{N} 2000, {A}arhus, {D}enmark, {J}une 26--30, 2000, Proceedings",
    pages = "244--260",
    volume = "1825",
    flags = "public,copy",
    year = "2000",
    keywords = "ISDN, DSS1, SDL, protocol verification, reachability analysis, high-level Petri nets",
    abstract = "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."
}