|
|
@@ -5,7 +5,7 @@ All_RAM Control2EPN {
|
|
|
Composite schedule {
|
|
|
{Contains} Failure failure {}
|
|
|
{Contains} Success success {}
|
|
|
- {Contains} ForAll copy_events {
|
|
|
+ {Contains} ForAll copy_transitions {
|
|
|
LHS {
|
|
|
Pre_PW_Control/Transition {
|
|
|
label = "0"
|
|
|
@@ -27,7 +27,7 @@ All_RAM Control2EPN {
|
|
|
}
|
|
|
}
|
|
|
}
|
|
|
- {Contains} ForAll copy_states {
|
|
|
+ {Contains} ForAll copy_places {
|
|
|
LHS {
|
|
|
Pre_PW_Control/State {
|
|
|
label = "0"
|
|
|
@@ -39,7 +39,7 @@ All_RAM Control2EPN {
|
|
|
}
|
|
|
Post_Encapsulated_PetriNet/Place cp2 {
|
|
|
label = "1"
|
|
|
- value_tokens = $
|
|
|
+ value_nbTokens = $
|
|
|
Integer function value(model : Element, name : String, mapping : Element):
|
|
|
if (value_eq(read_attribute(model, mapping["0"], "initial"), True)):
|
|
|
return 1!
|
|
|
@@ -87,7 +87,7 @@ All_RAM Control2EPN {
|
|
|
Post_PW_Control/Transition rhs_cp2t_t{
|
|
|
label = "1"
|
|
|
}
|
|
|
- Post_PW_Control/P2T rhs_cp2t_p2t (rhs_cp2t_p, rhs_cp2t_t){
|
|
|
+ Post_PW_Control/From rhs_cp2t_p2t (rhs_cp2t_p, rhs_cp2t_t){
|
|
|
label = "2"
|
|
|
}
|
|
|
Post_Encapsulated_PetriNet/Place rhs_cp2t_p2 {
|
|
|
@@ -115,7 +115,7 @@ All_RAM Control2EPN {
|
|
|
Pre_PW_Control/Transition ct2p_t{
|
|
|
label = "1"
|
|
|
}
|
|
|
- Pre_PW_Control/T2P (ct2p_t, ct2p_p){
|
|
|
+ Pre_PW_Control/To (ct2p_t, ct2p_p){
|
|
|
label = "2"
|
|
|
}
|
|
|
Pre_Encapsulated_PetriNet/Place ct2p_p2{
|
|
|
@@ -132,13 +132,13 @@ All_RAM Control2EPN {
|
|
|
}
|
|
|
}
|
|
|
RHS {
|
|
|
- Post_PW_Control/Place rhs_ct2p_p{
|
|
|
+ Post_PW_Control/State rhs_ct2p_p{
|
|
|
label = "0"
|
|
|
}
|
|
|
Post_PW_Control/Transition rhs_ct2p_t{
|
|
|
label = "1"
|
|
|
}
|
|
|
- Post_PW_Control/T2P (rhs_ct2p_t, rhs_ct2p_p){
|
|
|
+ Post_PW_Control/To (rhs_ct2p_t, rhs_ct2p_p){
|
|
|
label = "2"
|
|
|
}
|
|
|
Post_Encapsulated_PetriNet/Place rhs_ct2p_p2 {
|
