|
@@ -59,14 +59,14 @@ A B {
|
|
|
}
|
|
|
Pre_Encapsulated_PetriNet/Port pre_p2t_2 {
|
|
|
label = "2"
|
|
|
- }
|
|
|
- Pre_Encapsulated_PetriNet/PortPlace (pre_p2t_2, pre_p2t_1){
|
|
|
- label = "3"
|
|
|
constraint_selected = $
|
|
|
Boolean function constraint(value : Boolean):
|
|
|
return value!
|
|
|
$
|
|
|
}
|
|
|
+ Pre_Encapsulated_PetriNet/PortPlace (pre_p2t_2, pre_p2t_1){
|
|
|
+ label = "3"
|
|
|
+ }
|
|
|
Pre_Encapsulated_PetriNet/Place pre_p2t_4 {
|
|
|
label = "4"
|
|
|
}
|
|
@@ -126,14 +126,14 @@ A B {
|
|
|
}
|
|
|
Pre_Encapsulated_PetriNet/Port pre_p2t_2 {
|
|
|
label = "2"
|
|
|
- }
|
|
|
- Pre_Encapsulated_PetriNet/PortPlace (pre_p2t_2, pre_p2t_1){
|
|
|
- label = "3"
|
|
|
constraint_selected = $
|
|
|
Boolean function constraint(value : Boolean):
|
|
|
return value!
|
|
|
$
|
|
|
}
|
|
|
+ Pre_Encapsulated_PetriNet/PortPlace (pre_p2t_2, pre_p2t_1){
|
|
|
+ label = "3"
|
|
|
+ }
|
|
|
Pre_Encapsulated_PetriNet/Place pre_p2t_4 {
|
|
|
label = "4"
|
|
|
}
|
|
@@ -193,14 +193,14 @@ A B {
|
|
|
}
|
|
|
Pre_Encapsulated_PetriNet/Port pre_rem_2 {
|
|
|
label = "2"
|
|
|
- }
|
|
|
- Pre_Encapsulated_PetriNet/PortPlace (pre_rem_2, pre_rem_1){
|
|
|
- label = "3"
|
|
|
constraint_selected = $
|
|
|
Boolean function constraint(value : Boolean):
|
|
|
return value!
|
|
|
$
|
|
|
}
|
|
|
+ Pre_Encapsulated_PetriNet/PortPlace (pre_rem_2, pre_rem_1){
|
|
|
+ label = "3"
|
|
|
+ }
|
|
|
Pre_Encapsulated_PetriNet/Place pre_rem_4 {
|
|
|
label = "4"
|
|
|
}
|
|
@@ -231,14 +231,14 @@ A B {
|
|
|
}
|
|
|
Pre_Encapsulated_PetriNet/Port pre_uns_2 {
|
|
|
label = "2"
|
|
|
- }
|
|
|
- Pre_Encapsulated_PetriNet/PortPlace (pre_uns_2, pre_uns_1){
|
|
|
- label = "3"
|
|
|
constraint_selected = $
|
|
|
Boolean function constraint(value : Boolean):
|
|
|
return value!
|
|
|
$
|
|
|
}
|
|
|
+ Pre_Encapsulated_PetriNet/PortPlace (pre_uns_2, pre_uns_1){
|
|
|
+ label = "3"
|
|
|
+ }
|
|
|
}
|
|
|
RHS {
|
|
|
Post_Encapsulated_PetriNet/Place post_uns_1 {
|
|
@@ -255,7 +255,7 @@ A B {
|
|
|
OnSuccess (merge_T2P, remove_old) {}
|
|
|
OnSuccess (remove_old, unselect) {}
|
|
|
OnSuccess (unselect, select) {}
|
|
|
- OnFailure (select, finish) {}
|
|
|
+ OnFailure (select, success) {}
|
|
|
|
|
|
OnFailure (unselect_all, select) {}
|
|
|
OnFailure (merge_P2T, merge_T2P) {}
|