Inicio Explorar Ayuda
Iniciar sesión
bentley
/
modelverse
forked de yentl/modelverse
Seguir 1
Destacar 0
Fork 0
Archivos
Árbol: 25eccb9aca
Ramas Etiquetas

Historial de Commits

Autor SHA1 Mensaje Fecha
  Yentl Van Tendeloo 25eccb9aca PetriNet semantics checks for conformance to PetriNets first hace 9 años
  Yentl Van Tendeloo b05facddd6 Added a "list" command to the petri net semantics hace 9 años
  Yentl Van Tendeloo 9216635dce PN operational semantics seems to work (mostly, and unpolished) hace 9 años
  Yentl Van Tendeloo bdbb6db0dd Split the petri nets operational semantics from the pn_interface hace 9 años