| .. |
|
metamodels
|
5962a476c0
rename types in Petri Net formalism to prevent naming collisions when merging with 'Port' formalism
|
1 anno fa |
|
models
|
5962a476c0
rename types in Petri Net formalism to prevent naming collisions when merging with 'Port' formalism
|
1 anno fa |
|
operational_semantics
|
5962a476c0
rename types in Petri Net formalism to prevent naming collisions when merging with 'Port' formalism
|
1 anno fa |
|
renderer.py
|
9883e09ac2
merging (meta-)models works (but it's dirty!)
|
1 anno fa |
|
runner.py
|
daa50d8c82
also render petri net as object diagram
|
1 anno fa |
Joeri Exelmans
9883e09ac2
merging (meta-)models works (but it's dirty!)