| .. |
|
metamodels
|
6571d8556c
petri net formalism: add inhibitor arc
|
8 mesiacov pred |
|
models
|
8ee9fba4ea
petrinet example fixed
|
3 mesiacov pred |
|
operational_semantics
|
87fc7362db
Scheduler petrinet example
|
3 mesiacov pred |
|
translational_semantics
|
8fe7b0ea04
Commit some outstanding changes. Add TODO for cleanup.
|
6 mesiacov pred |
|
helpers.py
|
26d8655147
add Jinja2-based tapaal exporter
|
7 mesiacov pred |
|
renderer.py
|
bd1588d809
forgot to remove debug output
|
8 mesiacov pred |
|
runner.py
|
9475b1fdc5
Merge remote-tracking branch 'origin/master' into development
|
2 mesiacov pred |
|
runner_export_tapaal.py
|
26d8655147
add Jinja2-based tapaal exporter
|
7 mesiacov pred |
Inte Vleminckx
9475b1fdc5
Merge remote-tracking branch 'origin/master' into development