Joeri Exelmans 0b936a48d1 get rid of outdated examples		2025-07-23 16:00:42 +02:00
..
metamodels	petri net formalism: add inhibitor arc	2024-12-03 23:25:10 +01:00
models	get rid of outdated examples	2025-07-23 16:00:42 +02:00
operational_semantics	A fully working version of the scheduling language with added examples	2025-06-27 12:21:41 +02:00
translational_semantics/tapaal	Commit some outstanding changes. Add TODO for cleanup.	2025-01-27 16:03:45 +01:00
helpers.py	add Jinja2-based tapaal exporter	2024-12-17 14:30:24 +01:00
petrinet_renderer.j2	A fully working version of the scheduling language with added examples	2025-06-27 12:21:41 +02:00
renderer.py	A fully working version of the scheduling language with added examples	2025-06-27 12:21:41 +02:00
runner.py	Added some documentation, fixed test and missing schedule	2025-06-30 18:03:47 +02:00
runner_export_tapaal.py	add Jinja2-based tapaal exporter	2024-12-17 14:30:24 +01:00