@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},
}