Kezdőlap Felfedezés Súgó
Bejelentkezés
lucas
/
modelverse
másolva yentl/modelverse
Figyelés 1
Kedvenc 0
Másolás 0
Fájlok
Fa: dd1b48912f
Branch-ok Tag-ek
modelverse
/
models
Yentl Van Tendeloo 71cb0ffac6 Added different scopes: narrow, broad, and local 8 éve
..
CBD_mapper.mvc e2a65b16f3 model_join and model_split retain ID as much as possible 8 éve
MM_rendered_graphical.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
MM_rendered_plot.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
SCCD.mvc cfbf73d817 Bugfixes to SCCD 8 éve
SCCD_execute.alc 71cb0ffac6 Added different scopes: narrow, broad, and local 8 éve
architecture.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
architecture_model.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
bfs.alc 27d911f2a6 Updated .alc files for ActionLanguage model operations with new 8 éve
combine_EPN.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
control_PW.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
control_model.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
control_model_wrong.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
control_to_EPN.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
dynamic_trafficlight.mvc d858c7589d Fix SCCD class deletions 8 éve
dynamic_trafficlight.png ac5d302b42 Added all structure (states) and a screenshot of the model 8 éve
environment_PW.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
environment_model.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
environment_to_EPN.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
epn_print.alc c31ce9b43d Fixed (e)pn_print code 8 éve
initialize.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
matches.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
merge_EPN.alc c6740f14b0 Add missing model 8 éve
my_pn.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
petrinet_ports.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
petrinets.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
plant_PW.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
plant_model.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
plant_to_EPN.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
pm_req_analyse.mvc 69f9e63b5c Fixed power window tests 8 éve
pm_req_analyse_debug.mvc 69f9e63b5c Fixed power window tests 8 éve
pn_print.alc c31ce9b43d Fixed (e)pn_print code 8 éve
query.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
query_model.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
reachability.alc 5b3f86ba17 Unified AL, Manual, and Transformations in core algorithm 8 éve
reachability_graph.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
reachabilitygraph_print.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
requirements.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
requirements_model.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
trace.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
trace_example.mvc 0360acb14b Change modelling language formalism grammar for non-bootstrap, just like 8 éve
trace_mapper.mvc 9095484e0d Fixes to concrete syntax front-end 8 éve