Почетна Преглед Помоћ
Пријавите се
andrei
/
modelverse
изданак од yentl/modelverse
Прати 1
Волим 0
Креирај огранак 0
Датотеке
Дрво: 643b84b6f4
Гране Ознаке

Историја ревизија

Аутор SHA1 Порука Датум
  Yentl Van Tendeloo 25eccb9aca PetriNet semantics checks for conformance to PetriNets first пре 9 година
  Yentl Van Tendeloo b05facddd6 Added a "list" command to the petri net semantics пре 9 година
  Yentl Van Tendeloo 9216635dce PN operational semantics seems to work (mostly, and unpolished) пре 9 година
  Yentl Van Tendeloo bdbb6db0dd Split the petri nets operational semantics from the pn_interface пре 9 година