 Yentl Van Tendeloo
|
bc0f2e2118
Removed unnecessary links in plant2EPN
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
d77e3b1581
Removed unnecessary links in control2EPN
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
419531a026
Added dict_eq as a compiled function
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
f5dd1366be
Fetch the token from any selected place; increased performance for combine_EPN
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
44afb6fe31
Fix bug in control_to_EPN
|
%!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
|
5c3d32a433
Fixed the combine_EPN transformation
|
%!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
|
1cc7400847
Updated PN_print to also print the transitions
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
e5cd448ece
Fixed name of transition in control_to_EPN
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
a0f5a8f0de
Attempt at optimizing rule create_transitions
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
04aa6db095
Fixed wrong labels in control_to_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
|
b9c1a84fb6
Fixes to environment to EPN transformation
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
9b761d6753
Fixed Plant 2 EPN, which is now seemingly working
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
91f63d1d1a
Fixed syntax error
|
%!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
|
537f24d017
Added tracability links in control model as well
|
%!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
|
a48812101d
Fixed object_operations code for list of instantiable attributes
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
d45185a261
Added new ALC to print the intermediate EPN and PN
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
0a30a4cec4
Complete process is running (though failing)
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
0ddd634b89
Add matching algorithm
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
dc77ba9cc0
Merge EPN2PN into combine_EPN
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
844c3def4c
More fixes to PM
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
c8f39db2cb
Fixes to the calling mechanism in PM execution of transformation/AL
|
%!s(int64=8) %!d(string=hai) anos |
