Please enable JavaScript in your browser!
ホーム
エクスプローラ
ヘルプ
サインイン
jonathanvdc
/
modelverse
フォーク元
yentl/modelverse
Watch
1
Star
0
Fork
0
ファイル
ツリー:
ed364ab8ef
ブランチ
タグ
DEVS
jit
live_modelling
master
transformations
yentl
v0.3.5
v0.3
v0.2
v0.1
コミット履歴
検索
作者
SHA1
メッセージ
日付
Yentl Van Tendeloo
d6f1ef4573
Updated all integration test code as well
8 年 前
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 年 前