PetriToStar Create petri nets and convert them to other formats. supported formats: pnml lola DOT (graphViz)