Automatic Translation of SDL into High Level Petri Nets

Reference:

Annikka Aalto. Automatic translation of SDL into high level Petri nets. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2004.

Suggested BibTeX entry:

@mastersthesis{AaltoMsc,
    author = {Annikka Aalto},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
    title = {{A}utomatic Translation of {S}{D}{L} into High Level {P}etri Nets},
    year = {2004},
}