.. |
control_PW.mvc
|
3e58ae5589
Updated everything for the new DSLs (and transformations)
|
8 anos atrás |
control_model.mvc
|
3e58ae5589
Updated everything for the new DSLs (and transformations)
|
8 anos atrás |
control_to_EPN.mvc
|
8f174bd03e
New naming scheme used in CTRL2EPN
|
8 anos atrás |
environment_PW.mvc
|
3e58ae5589
Updated everything for the new DSLs (and transformations)
|
8 anos atrás |
environment_model.mvc
|
cb233a02c6
Updated environment model and associated transformations to resemble the sketched version
|
8 anos atrás |
environment_to_EPN.alc
|
b22e789a1f
Changed MM and model
|
8 anos atrás |
environment_to_EPN.mvc
|
cb233a02c6
Updated environment model and associated transformations to resemble the sketched version
|
8 anos atrás |
initialize.mvc
|
7c8ab47990
Added basis for control_to_EPN (which is now just a copy of
|
8 anos atrás |
petrinet_ports.mvc
|
3e58ae5589
Updated everything for the new DSLs (and transformations)
|
8 anos atrás |
plant_to_EPN.mvc
|
9d5e57128c
Added outline of the plant_to_EPN transformation
|
8 anos atrás |
pm_req_analyse.mvc
|
35561d3bbe
Added control_to_EPN to test
|
8 anos atrás |
query.mvc
|
f5a15f47ad
Add query metamodel
|
8 anos atrás |
requirements.mvc
|
b60e6a8f95
Added requirements MM
|
8 anos atrás |
requirements_model.mvc
|
27a0c50f3f
Added requirements model
|
8 anos atrás |