|
|
@@ -581,10 +581,11 @@ All_RAM Control2EPN {
|
|
|
Post_Encapsulated_PetriNet/T2P (post_co_15, post_co_4) {
|
|
|
label = "17"
|
|
|
}
|
|
|
+
|
|
|
Post_Encapsulated_PetriNet/P2T (post_co_8, post_co_15) {
|
|
|
label = "9"
|
|
|
}
|
|
|
- Post_Encapsulated_PetriNet/T2P (post_co_15, post_co_4) {
|
|
|
+ Post_Encapsulated_PetriNet/T2P (post_co_15, post_co_8) {
|
|
|
label = "10"
|
|
|
}
|
|
|
Post_CTRL2EPN_tlink (post_co_2, post_co_15) {
|
