| .. |
|
CBD_mapper.mvc
|
6cffca6bd2
Added example rendered model and wrapper around Bart's wrapper
|
8 lat temu |
|
MM_rendered_graphical.mvc
|
a24d90d367
Rendering works and can be dragged
|
8 lat temu |
|
MM_rendered_plot.mvc
|
6cffca6bd2
Added example rendered model and wrapper around Bart's wrapper
|
8 lat temu |
|
architecture.mvc
|
ff23177f0e
Add architecture metamodel and model
|
8 lat temu |
|
architecture_model.mvc
|
e33ebc33cd
More cleanup of code mess (+ included debug output)
|
8 lat temu |
|
bfs.alc
|
27d911f2a6
Updated .alc files for ActionLanguage model operations with new
|
8 lat temu |
|
combine_EPN.mvc
|
ffdb873237
Even more fixes
|
8 lat temu |
|
control_PW.mvc
|
cf211a3b73
Updated rules and their integration
|
8 lat temu |
|
control_model.mvc
|
4925efefdd
Make initial state configurable for controller to EPN transformation
|
8 lat temu |
|
control_model_wrong.mvc
|
0842848b7f
Added a "slow" test which first uploads a bad control model
|
8 lat temu |
|
control_to_EPN.mvc
|
e33ebc33cd
More cleanup of code mess (+ included debug output)
|
8 lat temu |
|
environment_PW.mvc
|
9ea44ba6e6
Fixed many compilation/syntax errors
|
8 lat temu |
|
environment_model.mvc
|
4925efefdd
Make initial state configurable for controller to EPN transformation
|
8 lat temu |
|
environment_to_EPN.mvc
|
70a05c0dab
Prepend the name of the entry in the port
|
8 lat temu |
|
epn_print.alc
|
c31ce9b43d
Fixed (e)pn_print code
|
8 lat temu |
|
initialize.mvc
|
7c8ab47990
Added basis for control_to_EPN (which is now just a copy of
|
8 lat temu |
|
matches.mvc
|
1e75d17c89
Fixed power window tests
|
8 lat temu |
|
my_pn.mvc
|
2762a48807
Add model transformations to the Python API
|
8 lat temu |
|
petrinet_ports.mvc
|
e368bc2987
Fixed combine_EPN for the use of architecture
|
8 lat temu |
|
petrinets.mvc
|
206efc25ee
Updated wrapper with AL execution for Simon
|
8 lat temu |
|
plant_PW.mvc
|
cf211a3b73
Updated rules and their integration
|
8 lat temu |
|
plant_model.mvc
|
a4ea2e7fae
Query only needs set of Places
|
8 lat temu |
|
plant_to_EPN.mvc
|
e33ebc33cd
More cleanup of code mess (+ included debug output)
|
8 lat temu |
|
pm_req_analyse.mvc
|
922ef3882a
Remove name attribute on consume link
|
8 lat temu |
|
pm_req_analyse_debug.mvc
|
922ef3882a
Remove name attribute on consume link
|
8 lat temu |
|
pn_print.alc
|
c31ce9b43d
Fixed (e)pn_print code
|
8 lat temu |
|
query.mvc
|
2d5cad00f3
Simplified the matches operation
|
8 lat temu |
|
query_model.mvc
|
a4ea2e7fae
Query only needs set of Places
|
8 lat temu |
|
reachability.alc
|
5b3f86ba17
Unified AL, Manual, and Transformations in core algorithm
|
8 lat temu |
|
reachability_graph.mvc
|
e612d8ffb1
Copy some reachability algorithms to this test in particular
|
8 lat temu |
|
reachabilitygraph_print.mvc
|
2762a48807
Add model transformations to the Python API
|
8 lat temu |
|
requirements.mvc
|
cf211a3b73
Updated rules and their integration
|
8 lat temu |
|
requirements_model.mvc
|
cf211a3b73
Updated rules and their integration
|
8 lat temu |
|
trace.mvc
|
b2b50a88f4
Added trace MM
|
8 lat temu |
|
trace_example.mvc
|
692e431e17
Add models for mapping
|
8 lat temu |
|
trace_mapper.mvc
|
4a68dd217a
Add bootstrap.m.gz again
|
8 lat temu |
