I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Übersetzung von SDL-Spezifikationen in Petri-Netze


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


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:

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

GZipped PostScript (547 kB)
See theoretica.informatik.uni-oldenburg.de ...