Selected publications by Stefan Schwoon

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.

   author = {Schwoon, Stefan},
   month = aug,
   school = {Universit{\"a}t Hildesheim},
   type = {{M}aster's {T}hesis},
   title = {{\"U}bersetzung von {SDL}-Spezifikationen in {P}etri-Netze},
   url = {},
   year = {1998},

About LSV