Add a module for synthesizing Petri Nets from words

Signed-off-by: Uli Schlachter <uli.schlachter@informatik.uni-oldenburg.de>