Petrinet to LMNtal Converter