 Yentl Van Tendeloo
|
064d8b08cd
Changes in models code for new set representation
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
e33ebc33cd
More cleanup of code mess (+ included debug output)
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
70a05c0dab
Prepend the name of the entry in the port
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
bc0f2e2118
Removed unnecessary links in plant2EPN
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
830846067d
Fixed some problems with transformations which break up the reachability
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
e49072b57b
Fixes to the combine_EPN
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
4925efefdd
Make initial state configurable for controller to EPN transformation
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
8ded411292
Various bugfixes to transformations and internals
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
3ea339e496
Add tracability links for the transitions as well for plant
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
eb7be888fe
Fixed bug in transformation: check if association source/destination is actually typed by required type
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
86eeb372f2
Fixed another problem with transformation
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
75a49fb0c1
Fixes to transformations and core
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
f516e23eba
Fixed models
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
cf211a3b73
Updated rules and their integration
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
1ab9dd9529
Putting things together in the PM
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
9ea44ba6e6
Fixed many compilation/syntax errors
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
4e1e7efa27
Added draft of plant_to_EPN
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
9d5e57128c
Added outline of the plant_to_EPN transformation
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
6b5f486a84
Many cleanups to shift to the much simplified model
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
f18db38b71
Test passes
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
799e34e55a
Various fixes to plant2EPN
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
619b464a42
Finished R_sensor as well
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
417a148140
Finished no_sensor rule of PW_to_EPN
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
35dbdf7fe1
First iteration of plant_to_EPN (no P2T and T2P links yet)
|
%!s(int64=8) %!d(string=hai) anos |
