| .. |
|
architecture.mvc
|
ff23177f0e
Add architecture metamodel and model
|
преди 8 години |
|
architecture_model.mvc
|
ff23177f0e
Add architecture metamodel and model
|
преди 8 години |
|
combine_EPN.mvc
|
0842848b7f
Added a "slow" test which first uploads a bad control model
|
преди 8 години |
|
control_PW.mvc
|
cf211a3b73
Updated rules and their integration
|
преди 8 години |
|
control_model.mvc
|
4925efefdd
Make initial state configurable for controller to EPN transformation
|
преди 8 години |
|
control_model_wrong.mvc
|
0842848b7f
Added a "slow" test which first uploads a bad control model
|
преди 8 години |
|
control_to_EPN.mvc
|
acece5e842
Fixed buggy dict_eq operation (I think...)
|
преди 8 години |
|
environment_PW.mvc
|
9ea44ba6e6
Fixed many compilation/syntax errors
|
преди 8 години |
|
environment_model.mvc
|
4925efefdd
Make initial state configurable for controller to EPN transformation
|
преди 8 години |
|
environment_to_EPN.alc
|
c8f39db2cb
Fixes to the calling mechanism in PM execution of transformation/AL
|
преди 8 години |
|
environment_to_EPN.mvc
|
4925efefdd
Make initial state configurable for controller to EPN transformation
|
преди 8 години |
|
epn_print.alc
|
9b761d6753
Fixed Plant 2 EPN, which is now seemingly working
|
преди 8 години |
|
initialize.mvc
|
7c8ab47990
Added basis for control_to_EPN (which is now just a copy of
|
преди 8 години |
|
matches.mvc
|
2d5cad00f3
Simplified the matches operation
|
преди 8 години |
|
petrinet_ports.mvc
|
f5dd1366be
Fetch the token from any selected place; increased performance for combine_EPN
|
преди 8 години |
|
plant_PW.mvc
|
cf211a3b73
Updated rules and their integration
|
преди 8 години |
|
plant_model.mvc
|
a4ea2e7fae
Query only needs set of Places
|
преди 8 години |
|
plant_to_EPN.mvc
|
bc0f2e2118
Removed unnecessary links in plant2EPN
|
преди 8 години |
|
pm_req_analyse.mvc
|
653e58a011
Increased performance by not printing out intermediate information
|
преди 8 години |
|
pm_req_analyse_debug.mvc
|
cbe6bf5fdb
Add debugging PM
|
преди 8 години |
|
pn_print.alc
|
5c3d32a433
Fixed the combine_EPN transformation
|
преди 8 години |
|
query.mvc
|
2d5cad00f3
Simplified the matches operation
|
преди 8 години |
|
query_model.mvc
|
a4ea2e7fae
Query only needs set of Places
|
преди 8 години |
|
reachability.alc
|
94e0d33179
Add error state and initial state to the reachability graph generation
|
преди 8 години |
|
reachability_graph.mvc
|
e612d8ffb1
Copy some reachability algorithms to this test in particular
|
преди 8 години |
|
reachabilitygraph_print.mvc
|
0f0e93dfe5
Made a non-outputting version of reachability_graph print
|
преди 8 години |
|
requirements.mvc
|
cf211a3b73
Updated rules and their integration
|
преди 8 години |
|
requirements_model.mvc
|
cf211a3b73
Updated rules and their integration
|
преди 8 години |
Yentl Van Tendeloo
94e0d33179
Add error state and initial state to the reachability graph generation