Yentl Van Tendeloo 44afb6fe31 Fix bug in control_to_EPN 8 سال پیش
..
combine_EPN.mvc 5c3d32a433 Fixed the combine_EPN transformation 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_to_EPN.mvc 44afb6fe31 Fix bug in control_to_EPN 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 0a30a4cec4 Complete process is running (though failing) 8 سال پیش
petrinet_ports.mvc 69b03a216e Consumes now takes a "name" attribute 8 سال پیش
plant_PW.mvc cf211a3b73 Updated rules and their integration 8 سال پیش
plant_model.mvc 9b761d6753 Fixed Plant 2 EPN, which is now seemingly working 8 سال پیش
plant_to_EPN.mvc 830846067d Fixed some problems with transformations which break up the reachability 8 سال پیش
pm_req_analyse.mvc f516e23eba Fixed models 8 سال پیش
pn_print.alc 5c3d32a433 Fixed the combine_EPN transformation 8 سال پیش
query.mvc f5a15f47ad Add query metamodel 8 سال پیش
query_model.mvc cf211a3b73 Updated rules and their integration 8 سال پیش
requirements.mvc cf211a3b73 Updated rules and their integration 8 سال پیش
requirements_model.mvc cf211a3b73 Updated rules and their integration 8 سال پیش