Reference:

Stefan Schwoon. Übersetzung von SDL-Spezifikationen in Petri-Netze. Master's thesis, Universität Hildesheim, 1998. In German.

Abstract:

It is shown how to translate formal specifications written in SDL into Petri nets. A compiler is implemented and integrated into the PEP-project. To allow verifications of SDL-specifications, the compiler is supplemented by a reference component and a formula transformer.

Suggested BibTeX entry:

@mastersthesis{Sch98,
    author = {Stefan Schwoon},
    note = {In German},
    school = {Universit{\"a}t Hildesheim},
    title = {{\"Ubersetzung von SDL-Spezifikationen in Petri-Netze}},
    year = {1998}
}