Selected publications by Stefan Schwoon

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.

@mastersthesis{Schwoon98,
   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 = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PS/schwoon98.ps},
   year = {1998},
}

About LSV