| .. |
|
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
|
3ddfc96532
add renderer for Port + Petri Net + traceability
|
преди 8 месеца |
|
runner_exec_pn.py
|
7391d7d9a6
add files for assignment 6
|
преди 8 месеца |
|
runner_translate.py
|
503d4b828a
add simpler Port models for testing petri net translation
|
преди 8 месеца |
Joeri Exelmans
3ddfc96532
add renderer for Port + Petri Net + traceability