|
|
8fe7b0ea04
|
Commit some outstanding changes. Add TODO for cleanup.
|
2025-01-27 16:03:45 +01:00 |
|
|
|
c7288635f8
|
fix runner_exec_pn
|
2024-12-11 11:33:04 +01:00 |
|
|
|
9e74075066
|
can call custom functions from condition code while pattern matching / rewriting + added example to runner_translate.py
|
2024-12-10 12:28:49 +01:00 |
|
|
|
fd8bc3bc40
|
improve (Port + Petri Net + traceability)-renderer
|
2024-12-09 17:43:01 +01:00 |
|
|
|
3ddfc96532
|
add renderer for Port + Petri Net + traceability
|
2024-12-09 17:09:43 +01:00 |
|
|
|
54845b2a4a
|
forgot to include WorkerSet in Port-model
|
2024-12-04 15:50:56 +01:00 |
|
|
|
503d4b828a
|
add simpler Port models for testing petri net translation
|
2024-12-04 13:18:27 +01:00 |
|
|
|
f77ae21e70
|
Finish starting point for assignment 6
|
2024-12-03 23:49:25 +01:00 |
|
|
|
7391d7d9a6
|
add files for assignment 6
|
2024-12-03 23:26:40 +01:00 |
|
|
|
6571d8556c
|
petri net formalism: add inhibitor arc
|
2024-12-03 23:25:10 +01:00 |
|
|
|
da4f1718ce
|
RAMification adds 'name' attribute, giving control over the names of created objects
|
2024-12-03 20:28:16 +01:00 |
|
|
|
9883e09ac2
|
merging (meta-)models works (but it's dirty!)
|
2024-12-03 17:58:03 +01:00 |
|
|
|
6ac8e30747
|
fix bug in simulator: termination condition was not checked when disabling conformance checking
|
2024-11-22 15:06:17 +01:00 |
|
|
|
5240c7e21a
|
Add petrinet language
|
2024-11-21 12:10:28 +01:00 |
|
|
|
1845c3deb9
|
Rename matcher modules to make more sense
|
2024-11-13 11:10:31 +01:00 |
|
|
|
42757ddc4f
|
add examples
|
2024-11-13 10:07:16 +01:00 |
|
|
|
ad3752cd61
|
Rewrite the 'rewriter' + Added transformation schedule to CBD example, simplifying the rules
|
2024-11-08 16:27:32 +01:00 |
|
|
|
1eb8a84553
|
(WIP) implementing CBD language... Meta-meta-model: Association inherits from Class. Matcher accepts pivot. Add generic graphviz renderer.
|
2024-11-07 09:46:29 +01:00 |
|
|
|
a89fe4bb71
|
Port language: Textual renderer shows when a berth is being operated
|
2024-10-30 10:23:35 +01:00 |
|
|
|
cc89fe96c1
|
Fix graphviz renderer for 'port' language
|
2024-10-30 10:17:20 +01:00 |
|
|
|
b944ece747
|
Let's keep it simple
|
2024-10-30 03:14:50 +01:00 |
|
|
|
86610139d2
|
Refactor 'port' demo to include starting point for assignment
|
2024-10-30 01:02:11 +01:00 |
|
|
|
b116496f87
|
Make sure line is erased.
|
2024-10-29 23:48:42 +01:00 |
|
|
|
a14676da42
|
Add models for assignment 4.
|
2024-10-29 23:46:10 +01:00 |
|
|
|
d671c5d71a
|
Remove duped code
|
2024-10-29 16:22:29 +01:00 |
|
|
|
043f44d163
|
Move function for making actions pure to simulator lib
|
2024-10-29 11:36:42 +01:00 |
|
|
|
c738e8bcd1
|
Extract language-independent 'Simulator' class from woods example
|
2024-10-29 11:20:32 +01:00 |
|
|
|
38924237e1
|
Don't add conformance check to actions (just check always after every step)
|
2024-10-28 16:31:57 +01:00 |
|
|
|
d8b52dd5c4
|
Add random simulation. Add option to also execute actions that lead to non-conforming model.
|
2024-10-28 16:16:30 +01:00 |
|
|
|
cd26a401fe
|
Add example of 'woods' operational semantics. Clearer error messages. Implement full OD-API. Small refactoring of Conformance class.
|
2024-10-28 14:15:12 +01:00 |
|
|
|
f2dc299eab
|
Begin working on semantics example: runtime (meta-)model extends design (meta-)model
|
2024-10-24 16:25:53 +02:00 |
|
