Nantes Université

Skip to content

GitLab

Explorer

Connexion
S'inscrire

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.

24 validations
1 branche
0 étiquette

README

Date de création

April 02, 2024

Copier l'URL de clonage SSHgit@gitlab.univ-nantes.fr:delfieu-d/embedpn.git
Copier l'URL HTTPS de clonagehttps://gitlab.univ-nantes.fr/delfieu-d/embedpn.git

Chargement en cours