| .. |
|
combine_EPN.mvc
|
f516e23eba
Fixed models
|
před 8 roky |
|
control_PW.mvc
|
cf211a3b73
Updated rules and their integration
|
před 8 roky |
|
control_model.mvc
|
cf211a3b73
Updated rules and their integration
|
před 8 roky |
|
control_to_EPN.mvc
|
f516e23eba
Fixed models
|
před 8 roky |
|
environment_PW.mvc
|
9ea44ba6e6
Fixed many compilation/syntax errors
|
před 8 roky |
|
environment_model.mvc
|
cf211a3b73
Updated rules and their integration
|
před 8 roky |
|
environment_to_EPN.alc
|
c8f39db2cb
Fixes to the calling mechanism in PM execution of transformation/AL
|
před 8 roky |
|
environment_to_EPN.mvc
|
cf211a3b73
Updated rules and their integration
|
před 8 roky |
|
epn_print.alc
|
d45185a261
Added new ALC to print the intermediate EPN and PN
|
před 8 roky |
|
initialize.mvc
|
7c8ab47990
Added basis for control_to_EPN (which is now just a copy of
|
před 8 roky |
|
matches.mvc
|
0a30a4cec4
Complete process is running (though failing)
|
před 8 roky |
|
petrinet_ports.mvc
|
69b03a216e
Consumes now takes a "name" attribute
|
před 8 roky |
|
plant_PW.mvc
|
cf211a3b73
Updated rules and their integration
|
před 8 roky |
|
plant_model.mvc
|
75a49fb0c1
Fixes to transformations and core
|
před 8 roky |
|
plant_to_EPN.mvc
|
3ea339e496
Add tracability links for the transitions as well for plant
|
před 8 roky |
|
pm_req_analyse.mvc
|
f516e23eba
Fixed models
|
před 8 roky |
|
pn_print.alc
|
d45185a261
Added new ALC to print the intermediate EPN and PN
|
před 8 roky |
|
query.mvc
|
f5a15f47ad
Add query metamodel
|
před 8 roky |
|
query_model.mvc
|
cf211a3b73
Updated rules and their integration
|
před 8 roky |
|
requirements.mvc
|
cf211a3b73
Updated rules and their integration
|
před 8 roky |
|
requirements_model.mvc
|
cf211a3b73
Updated rules and their integration
|
před 8 roky |
Yentl Van Tendeloo
3ea339e496
Add tracability links for the transitions as well for plant