Inicio Explorar Axuda
Iniciar sesión
projects
/
muMLE
Seguir 1
Destacar 0
Fork 0
Ficheiros Incidencias 0 Pull Requests 0 Wiki
Árbore: 3ddfc96532
Ramas Etiquetas
muMLE
/
examples
/
petrinet
Joeri Exelmans 3ddfc96532 add renderer for Port + Petri Net + traceability hai 8 meses
..
metamodels 6571d8556c petri net formalism: add inhibitor arc hai 8 meses
models bef233a854 Petri net: forgot to render inhibitor arcs (thanks Jason) hai 8 meses
operational_semantics 6571d8556c petri net formalism: add inhibitor arc hai 8 meses
renderer.py 3ddfc96532 add renderer for Port + Petri Net + traceability hai 8 meses
runner.py bef233a854 Petri net: forgot to render inhibitor arcs (thanks Jason) hai 8 meses