Explorer les projets

https://e187954y.univ-nantes.io/projet-2021-website

Copy of Antora demo-a

Analyse conception et mise en oeuvre de logiciels: Rodrigue MEUNIER Nathan DeESHAYES Bilal MOLLI Erwan BOISTEAU-DESDEVISES

Experiments with various Higher-Order Networks models

Copy of Antora demo-b

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.

Présentations des workshops NuTS

Fork of carveme https://github.com/cdanielmachado/carveme

Modified for humess https://gitlab.univ-nantes.fr/bird_pipeline_registry/humess