Yentl Van Tendeloo 04a2afdc72 SCCD uses instance_created and instance_deleted events %!s(int64=8) %!d(string=hai) anos
..
CBD_mapper.mvc 064d8b08cd Changes in models code for new set representation %!s(int64=8) %!d(string=hai) anos
MM_rendered_graphical.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
MM_rendered_plot.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
SCCD.mvc cfbf73d817 Bugfixes to SCCD %!s(int64=8) %!d(string=hai) anos
SCCD_execute.alc 04a2afdc72 SCCD uses instance_created and instance_deleted events %!s(int64=8) %!d(string=hai) anos
architecture.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
architecture_model.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
bfs.alc 064d8b08cd Changes in models code for new set representation %!s(int64=8) %!d(string=hai) anos
combine_EPN.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
control_PW.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
control_model.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
control_model_wrong.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
control_to_EPN.mvc 064d8b08cd Changes in models code for new set representation %!s(int64=8) %!d(string=hai) anos
dynamic_trafficlight.mvc 04a2afdc72 SCCD uses instance_created and instance_deleted events %!s(int64=8) %!d(string=hai) anos
dynamic_trafficlight.png ac5d302b42 Added all structure (states) and a screenshot of the model %!s(int64=8) %!d(string=hai) anos
environment_PW.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
environment_model.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
environment_to_EPN.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
epn_print.alc 064d8b08cd Changes in models code for new set representation %!s(int64=8) %!d(string=hai) anos
initialize.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
matches.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
merge_EPN.alc 93c60c93b9 Split up type mapping and all operations on it %!s(int64=8) %!d(string=hai) anos
my_pn.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
petrinet_ports.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
petrinets.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
plant_PW.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
plant_model.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
plant_to_EPN.mvc 064d8b08cd Changes in models code for new set representation %!s(int64=8) %!d(string=hai) anos
pm_req_analyse.mvc 69f9e63b5c Fixed power window tests %!s(int64=8) %!d(string=hai) anos
pm_req_analyse_debug.mvc 69f9e63b5c Fixed power window tests %!s(int64=8) %!d(string=hai) anos
pn_print.alc 544c08519b Lots of fixes to the new set representation %!s(int64=8) %!d(string=hai) anos
query.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
query_model.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
reachability.alc 064d8b08cd Changes in models code for new set representation %!s(int64=8) %!d(string=hai) anos
reachability_graph.mvc 064d8b08cd Changes in models code for new set representation %!s(int64=8) %!d(string=hai) anos
reachabilitygraph_print.mvc 064d8b08cd Changes in models code for new set representation %!s(int64=8) %!d(string=hai) anos
requirements.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
requirements_model.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
trace.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
trace_example.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like %!s(int64=8) %!d(string=hai) anos
trace_mapper.mvc 9095484e0d Fixes to concrete syntax front-end %!s(int64=8) %!d(string=hai) anos