Nantes Université

E

EmbedPN

Informations sur le projet

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.

26 validations
1 branche
0 étiquette

README

Date de création

2 avril 2024

Chargement en cours