| .. |
|
rules
|
f77ae21e70
Finish starting point for assignment 6
|
8 місяців тому |
|
.gitignore
|
6571d8556c
petri net formalism: add inhibitor arc
|
8 місяців тому |
|
merged_mm.od
|
6571d8556c
petri net formalism: add inhibitor arc
|
8 місяців тому |
|
regenerate_mm.py
|
da4f1718ce
RAMification adds 'name' attribute, giving control over the names of created objects
|
8 місяців тому |
|
renderer.py
|
fd8bc3bc40
improve (Port + Petri Net + traceability)-renderer
|
8 місяців тому |
|
runner_exec_pn.py
|
c7288635f8
fix runner_exec_pn
|
8 місяців тому |
|
runner_translate.py
|
9e74075066
can call custom functions from condition code while pattern matching / rewriting + added example to runner_translate.py
|
8 місяців тому |
Joeri Exelmans
c7288635f8
fix runner_exec_pn