| .. |
|
CBD_mapper.mvc
|
064d8b08cd
Changes in models code for new set representation
|
před 8 roky |
|
MM_rendered_graphical.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
MM_rendered_plot.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
SCCD.mvc
|
cfbf73d817
Bugfixes to SCCD
|
před 8 roky |
|
SCCD_Trace.mvc
|
608ea3fc98
Add another missing file
|
před 8 roky |
|
SCCD_execute.alc
|
fc8587dfd1
Check for compilation errors...
|
před 8 roky |
|
architecture.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
architecture_model.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
bfs.alc
|
8868b6a09e
Fix all tests and make them (slightly) more restrictive
|
před 8 roky |
|
celldevs_design.mvc
|
37c8ac0e7e
added parallel devs formalism
|
před 8 roky |
|
combine_EPN.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
control_PW.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
control_model.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
control_model_wrong.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
control_to_EPN.mvc
|
064d8b08cd
Changes in models code for new set representation
|
před 8 roky |
|
devs_to_string.alc
|
0b64f23e67
untested qc
|
před 7 roky |
|
dynamic_trafficlight.mvc
|
04a2afdc72
SCCD uses instance_created and instance_deleted events
|
před 8 roky |
|
dynamic_trafficlight.png
|
ac5d302b42
Added all structure (states) and a screenshot of the model
|
před 8 roky |
|
environment_PW.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
environment_model.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
environment_to_EPN.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
epn_print.alc
|
064d8b08cd
Changes in models code for new set representation
|
před 8 roky |
|
example_PS.mvc
|
6dd88e53dd
working PS->DEVS transformation
|
před 7 roky |
|
example_PS_minimal.mvc
|
6dd88e53dd
working PS->DEVS transformation
|
před 7 roky |
|
example_PS_runtime.mvc
|
eabd604d13
runtime metamodel added, something wong with i/o in modelverse
|
před 7 roky |
|
initialize.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
matches.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
merge_EPN.alc
|
3e8b65d6e1
Workaround for bug in SCCD with keep_running
|
před 8 roky |
|
my_pn.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
paralleldevs_design.mvc
|
6dd88e53dd
working PS->DEVS transformation
|
před 7 roky |
|
paralleldevs_sim_interface.alc
|
d864ebff84
intermediate commit
|
před 8 roky |
|
petrinet_ports.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
petrinets.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
plant_PW.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
plant_model.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
plant_to_EPN.mvc
|
064d8b08cd
Changes in models code for new set representation
|
před 8 roky |
|
pm_req_analyse.mvc
|
eef64b29ea
Updated powerwindow test for hierarchy as well
|
před 8 roky |
|
pm_req_analyse_debug.mvc
|
d89839e76f
Merge branch 'master' into testing
|
před 8 roky |
|
pn_print.alc
|
544c08519b
Lots of fixes to the new set representation
|
před 8 roky |
|
produce_consume_PDEVS.mvc
|
03c94d5402
partly working transformation... weird exception
|
před 7 roky |
|
production_system_design.mvc
|
eabd604d13
runtime metamodel added, something wong with i/o in modelverse
|
před 7 roky |
|
production_system_runtime.mvc
|
eabd604d13
runtime metamodel added, something wong with i/o in modelverse
|
před 7 roky |
|
ps_to_devs.mvc
|
eabd604d13
runtime metamodel added, something wong with i/o in modelverse
|
před 7 roky |
|
query.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
query_model.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
reachability.alc
|
f241f945b8
updated PN debugging interface to SCCD
|
před 8 roky |
|
reachability_graph.mvc
|
064d8b08cd
Changes in models code for new set representation
|
před 8 roky |
|
reachabilitygraph_print.mvc
|
064d8b08cd
Changes in models code for new set representation
|
před 8 roky |
|
requirements.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
requirements_model.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
string.mvc
|
d864ebff84
intermediate commit
|
před 8 roky |
|
test_operations_in_SCCD.mvc
|
41fe1a5327
Fixed error in test_operation_on_SCCD
|
před 8 roky |
|
trace.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
trace_example.mvc
|
0360acb14b
Change modelling language formalism grammar for non-bootstrap, just like
|
před 8 roky |
|
trace_mapper.mvc
|
9095484e0d
Fixes to concrete syntax front-end
|
před 8 roky |
