Joeri Exelmans 5962a476c0 rename types in Petri Net formalism to prevent naming collisions when merging with 'Port' formalism		2024-11-22 15:20:16 +01:00
..
metamodels	rename types in Petri Net formalism to prevent naming collisions when merging with 'Port' formalism	2024-11-22 15:20:16 +01:00
models	rename types in Petri Net formalism to prevent naming collisions when merging with 'Port' formalism	2024-11-22 15:20:16 +01:00
operational_semantics	rename types in Petri Net formalism to prevent naming collisions when merging with 'Port' formalism	2024-11-22 15:20:16 +01:00
renderer.py	rename types in Petri Net formalism to prevent naming collisions when merging with 'Port' formalism	2024-11-22 15:20:16 +01:00
runner.py	also render petri net as object diagram	2024-11-21 16:28:38 +01:00