Inicio Explorar Axuda
Iniciar sesión
lucas
/
modelverse
Fork de yentl/modelverse
Seguir 1
Destacar 0
Fork 0
Ficheiros
Árbore: 74e9c4e88c
Ramas Etiquetas

Commit History

Autor SHA1 Mensaxe Data
  Yentl Van Tendeloo 2bd562bb6a Fixed PM and related formalisms/algorithms: reachability starts running %!s(int64=8) %!d(string=hai) anos
  Yentl Van Tendeloo 83f9424d0e Added simple PM for petri net construction and reachability analysis %!s(int64=8) %!d(string=hai) anos