.. |
CBD_mapper.mvc
|
e2a65b16f3
model_join and model_split retain ID as much as possible
|
8 gadi atpakaļ |
MM_rendered_graphical.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
MM_rendered_plot.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
SCCD.mvc
|
cfbf73d817
Bugfixes to SCCD
|
8 gadi atpakaļ |
SCCD_execute.alc
|
2d646a9719
Remove triple dictionary read with only one in SCCD execution
|
8 gadi atpakaļ |
architecture.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
architecture_model.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
bfs.alc
|
27d911f2a6
Updated .alc files for ActionLanguage model operations with new
|
8 gadi atpakaļ |
combine_EPN.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
control_PW.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
control_model.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
control_model_wrong.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
control_to_EPN.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
dynamic_trafficlight.mvc
|
d858c7589d
Fix SCCD class deletions
|
8 gadi atpakaļ |
dynamic_trafficlight.png
|
ac5d302b42
Added all structure (states) and a screenshot of the model
|
8 gadi atpakaļ |
environment_PW.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
environment_model.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
environment_to_EPN.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
epn_print.alc
|
c31ce9b43d
Fixed (e)pn_print code
|
8 gadi atpakaļ |
initialize.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
matches.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
merge_EPN.alc
|
c6740f14b0
Add missing model
|
8 gadi atpakaļ |
my_pn.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
petrinet_ports.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
petrinets.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
plant_PW.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
plant_model.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
plant_to_EPN.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
pm_req_analyse.mvc
|
69f9e63b5c
Fixed power window tests
|
8 gadi atpakaļ |
pm_req_analyse_debug.mvc
|
69f9e63b5c
Fixed power window tests
|
8 gadi atpakaļ |
pn_print.alc
|
c31ce9b43d
Fixed (e)pn_print code
|
8 gadi atpakaļ |
query.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
query_model.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
reachability.alc
|
5b3f86ba17
Unified AL, Manual, and Transformations in core algorithm
|
8 gadi atpakaļ |
reachability_graph.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
reachabilitygraph_print.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
requirements.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
requirements_model.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
trace.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
trace_example.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 gadi atpakaļ |
trace_mapper.mvc
|
9095484e0d
Fixes to concrete syntax front-end
|
8 gadi atpakaļ |