Головна сторінка Огляд Довідка
Увійти
jonathanvdc
/
modelverse
відгалужено від yentl/modelverse
Слідкувати 1
Зірка 0
Відгалуження 0
Файли
Дерево: d9f2887de0
Гілки Теги

Історія комітів

Автор SHA1 Опис Дата
  Yentl Van Tendeloo 5ed2215925 PetriNet semantics checks for conformance to PetriNets first 9 роки тому
  Yentl Van Tendeloo 2d113a4826 Added a "list" command to the petri net semantics 9 роки тому
  Yentl Van Tendeloo abf36256d6 PN operational semantics seems to work (mostly, and unpolished) 9 роки тому
  Yentl Van Tendeloo 65bc1c06ee Split the petri nets operational semantics from the pn_interface 9 роки тому