EmbedPN

Produce a Moore machine from a Petri Net (PN), where all the transitions of the PN become inputs of the machine whereas markings are the states. This application takes in input an xml file produced by hte tool Romeo (https://romeo.ls2n.fr/) and produce the automaton (Moore machine) in a Vhdl, C and Latex files.