Yentl Van Tendeloo 0842848b7f Added a "slow" test which first uploads a bad control 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 години
requirements.mvc cf211a3b73 Updated rules and their integration преди 8 години
requirements_model.mvc cf211a3b73 Updated rules and their integration преди 8 години