| .. |
|
CBD_mapper.alc
|
5aeb4fa6e4
Add way better version of CBD concrete syntax
|
7 lat temu |
|
CBD_mapper.mvc
|
064d8b08cd
Changes in models code for new set representation
|
8 lat temu |
|
MM_render.mvc
|
a91ea4c321
Merge branch 'master' into testing
|
7 lat temu |
|
MM_rendered_graphical.mvc
|
af69ae1907
Add "name" attribute in SCD
|
7 lat temu |
|
MM_rendered_plot.mvc
|
af69ae1907
Add "name" attribute in SCD
|
7 lat temu |
|
SCCD.mvc
|
af69ae1907
Add "name" attribute in SCD
|
7 lat temu |
|
SCCD_Trace.mvc
|
af69ae1907
Add "name" attribute in SCD
|
7 lat temu |
|
SCCD_execute.alc
|
a91ea4c321
Merge branch 'master' into testing
|
7 lat temu |
|
architecture.mvc
|
af69ae1907
Add "name" attribute in SCD
|
7 lat temu |
|
architecture_model.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 lat temu |
|
bfs.alc
|
ff99517f64
Fix test for powerwindow
|
8 lat temu |
|
cbd_alg_design.mvc
|
e128f10198
Add new CBD model for algebraic CBDs
|
7 lat temu |
|
cbd_design.mvc
|
bb75ce3879
Add names to design elements of CBD
|
7 lat temu |
|
cbd_merge.alc
|
2365a683d5
Several major fixes
|
7 lat temu |
|
cbd_partial_runtime.mvc
|
c3cea49772
Add first version of CBD models used for live modelling
|
7 lat temu |
|
cbd_restartSim.alc
|
ca8fb0ddf8
Mostly fixed live modelling for FSA
|
7 lat temu |
|
cbd_runtime.mvc
|
c3cea49772
Add first version of CBD models used for live modelling
|
7 lat temu |
|
cbd_simulate.alc
|
8f680d093d
Added more efficient simulation algorithm
|
7 lat temu |
|
cbd_spring.mvc
|
3e3484a9bc
Working CBD simulation of the spring model
|
7 lat temu |
|
cbd_toRuntime.alc
|
6b0d1f8534
Working live modelling!
|
7 lat temu |
|
combine_EPN.mvc
|
fc8b3b604f
Removed in models as well
|
7 lat temu |
|
control_PW.mvc
|
af69ae1907
Add "name" attribute in SCD
|
7 lat temu |
|
control_model.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 lat temu |
|
control_model_wrong.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 lat temu |
|
control_to_EPN.mvc
|
064d8b08cd
Changes in models code for new set representation
|
8 lat temu |
|
ctcbd_design.mvc
|
f083aecac4
Added some models for live modelling
|
7 lat temu |
|
ctcbd_spring.mvc
|
59e789a98c
Make upload not crash
|
7 lat temu |
|
ctcbd_toPartialRuntime.mvc
|
c6591c9428
DTCBD to CTCBD works, but live modelling broken for CTCBD
|
7 lat temu |
|
dtcbd_design.mvc
|
f083aecac4
Added some models for live modelling
|
7 lat temu |
|
dtcbd_merge.alc
|
59e789a98c
Make upload not crash
|
7 lat temu |
|
dtcbd_partial_runtime.mvc
|
f083aecac4
Added some models for live modelling
|
7 lat temu |
|
dtcbd_runtime.mvc
|
59e789a98c
Make upload not crash
|
7 lat temu |
|
dtcbd_simple.mvc
|
27e0b0cd77
Fix some models
|
7 lat temu |
|
dtcbd_simulate.alc
|
c6591c9428
DTCBD to CTCBD works, but live modelling broken for CTCBD
|
7 lat temu |
|
dtcbd_toRuntime.alc
|
59e789a98c
Make upload not crash
|
7 lat temu |
|
dynamic_trafficlight.mvc
|
04a2afdc72
SCCD uses instance_created and instance_deleted events
|
8 lat temu |
|
dynamic_trafficlight.png
|
ac5d302b42
Added all structure (states) and a screenshot of the model
|
8 lat temu |
|
environment_PW.mvc
|
af69ae1907
Add "name" attribute in SCD
|
7 lat temu |
|
environment_model.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 lat temu |
|
environment_to_EPN.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 lat temu |
|
epn_print.alc
|
a91ea4c321
Merge branch 'master' into testing
|
7 lat temu |
|
fsa_design.mvc
|
ca8fb0ddf8
Mostly fixed live modelling for FSA
|
7 lat temu |
|
fsa_full_runtime.mvc
|
5456a9ddd2
Added a timer in the FSA logic
|
7 lat temu |
|
fsa_merge.alc
|
bbb3e90df7
Fixed FSA live modelling by falling back to the initial state
|
7 lat temu |
|
fsa_model.mvc
|
f083aecac4
Added some models for live modelling
|
7 lat temu |
|
fsa_partial_runtime.mvc
|
ca8fb0ddf8
Mostly fixed live modelling for FSA
|
7 lat temu |
|
fsa_simulate.alc
|
e78cc39605
Fixed plotter such that is able to handle FSA as well (I think)
|
7 lat temu |
|
fsa_toRuntime.alc
|
bbb3e90df7
Fixed FSA live modelling by falling back to the initial state
|
7 lat temu |
|
initialize.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 lat temu |
|
live_modelling.py
|
534c9d431a
Semi-working CTCBD to DTCBD
|
7 lat temu |
|
lola.alc
|
abfaf56b78
Added LoLa service script
|
7 lat temu |
|
matches.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 lat temu |
|
merge_EPN.alc
|
4effccfe6f
Rename casting operations
|
7 lat temu |
|
my_pn.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 lat temu |
|
paralleldevs_design.mvc
|
218904fa48
Working initial version of PDEVS simulation as a service
|
7 lat temu |
|
pdevs_client.alc
|
218904fa48
Working initial version of PDEVS simulation as a service
|
7 lat temu |
|
petrinet_ports.mvc
|
af69ae1907
Add "name" attribute in SCD
|
7 lat temu |
|
petrinets.mvc
|
af69ae1907
Add "name" attribute in SCD
|
7 lat temu |
|
plant_PW.mvc
|
af69ae1907
Add "name" attribute in SCD
|
7 lat temu |
|
plant_model.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 lat temu |
|
plant_to_EPN.mvc
|
064d8b08cd
Changes in models code for new set representation
|
8 lat temu |
|
pm_live_CTCBD.mvc
|
84590ec23f
Add basic PM for the three liveness models
|
7 lat temu |
|
pm_live_DTCBD.mvc
|
84590ec23f
Add basic PM for the three liveness models
|
7 lat temu |
|
pm_live_FSA.mvc
|
84590ec23f
Add basic PM for the three liveness models
|
7 lat temu |
|
pm_req_analyse.mvc
|
b5451fa9c4
PM execution takes a dictionary for binding
|
7 lat temu |
|
pm_req_analyse_debug.mvc
|
b5451fa9c4
PM execution takes a dictionary for binding
|
7 lat temu |
|
pm_req_analyse_print.mvc
|
f083aecac4
Added some models for live modelling
|
7 lat temu |
|
pn_print.alc
|
a91ea4c321
Merge branch 'master' into testing
|
7 lat temu |
|
produce_consume_PDEVS.mvc
|
218904fa48
Working initial version of PDEVS simulation as a service
|
7 lat temu |
|
query.mvc
|
af69ae1907
Add "name" attribute in SCD
|
7 lat temu |
|
query_model.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 lat temu |
|
reachability.alc
|
4effccfe6f
Rename casting operations
|
7 lat temu |
|
reachability_2_graphviz.py
|
cc3de3881c
Add some information for reachability graph
|
7 lat temu |
|
reachability_graph.mvc
|
af69ae1907
Add "name" attribute in SCD
|
7 lat temu |
|
reachability_graph.png
|
cc3de3881c
Add some information for reachability graph
|
7 lat temu |
|
reachabilitygraph_print.mvc
|
cc3de3881c
Add some information for reachability graph
|
7 lat temu |
|
render_OD.alc
|
42309df816
Add new files
|
7 lat temu |
|
render_SCD.alc
|
42309df816
Add new files
|
7 lat temu |
|
requirements.mvc
|
af69ae1907
Add "name" attribute in SCD
|
7 lat temu |
|
requirements_model.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 lat temu |
|
test_compiler.alc
|
a91ea4c321
Merge branch 'master' into testing
|
7 lat temu |
|
test_operations_in_SCCD.mvc
|
41fe1a5327
Fixed error in test_operation_on_SCCD
|
8 lat temu |
|
trace.mvc
|
af69ae1907
Add "name" attribute in SCD
|
7 lat temu |
|
trace_example.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
8 lat temu |
|
trace_mapper.mvc
|
9095484e0d
Fixes to concrete syntax front-end
|
8 lat temu |
|
upload_models.py
|
59e789a98c
Make upload not crash
|
7 lat temu |
