@@ -634,10 +634,10 @@ A B {
label = "23"
}
Post_Encapsulated_PetriNet/P2T (post_de_16, post_de_7) {
- label = "22"
+ label = "24"
Post_Encapsulated_PetriNet/T2P (post_de_7, post_de_19) {
- label = "23"
+ label = "25"