Add Monitor tagging support

src/coloredPetriNetsPlusPlusCompiler.ts

@@ -111,7 +111,7 @@ const compile = function (input: PetriNet): PetriNet {
         key: conditionStorePlaceKey,
         displayName: "condition store",
         extensions: {
-            extraTag: "runtime conditions"
+            extraTag: "runtime conditions row"
         }
     });
 
@@ -129,7 +129,7 @@ const compile = function (input: PetriNet): PetriNet {
         key: conditionSignalRelaySignalingPlaceKey,
         displayName: "condition signal relay system (signaling)",
         extensions: {
-            extraTag: "runtime conditions"
+            extraTag: "runtime conditions row"
         }
     });
 
@@ -477,7 +477,8 @@ const compile = function (input: PetriNet): PetriNet {
             extensions: {
                 plusplus: {
                     type: "join"
-                }
+                },
+                extraTag: inTransition.extensions.extraTag,
             }
         });
     };
@@ -630,7 +631,8 @@ const compile = function (input: PetriNet): PetriNet {
                     type: "update-global",
                     variable: inTransition.variable,
                     path: getPathDebugExpression(path)
-                }
+                },
+                extraTag: (inTransition.extensions.extraTag) ?? "",
             }
         });
     };
@@ -778,9 +780,9 @@ const compile = function (input: PetriNet): PetriNet {
             ],
             extensions: {
                 plusplus: {
-                    type: "init-condition"
+                    type: "init-condition",
                 },
-                extraTag: (inTransition.extensions.extraTag) ?? ""
+                extraTag: (inTransition.extensions.extraTag) ?? "",
             }
         });
     };
@@ -788,7 +790,8 @@ const compile = function (input: PetriNet): PetriNet {
     const compileConditionAwaitTransitionPlusPlus = function (inTransition: ConditionAwaitTransitionPlusPlus): void {
         const awaitingSignalPlaceKey = placeNameSuggester.suggestName(inTransition.key + "-awaiting-signal");
         const reobtainingMutexPlaceKey = placeNameSuggester.suggestName(inTransition.key + "-reobtaining-mutex");
-
+        const extraTagInsideFalseBranch = (inTransition.extensions.extraTag) ?? "";
+        
         outPlaces.push({
             key: awaitingSignalPlaceKey,
             displayName: "awaiting signal",
@@ -796,7 +799,8 @@ const compile = function (input: PetriNet): PetriNet {
                 sourcemap: inTransition.inFlows[0].source.extensions.sourcemap,
                 plusplus: {
                     type: 'condition-await-waiting-for-signal'
-                }
+                },
+                extraTag: extraTagInsideFalseBranch,
             }
         });
 
@@ -807,7 +811,8 @@ const compile = function (input: PetriNet): PetriNet {
                 sourcemap: inTransition.inFlows[0].source.extensions.sourcemap,
                 plusplus: {
                     type: 'condition-await-reobtaining-mutex'
-                }
+                },
+                extraTag: (inTransition.extensions.extraTag)?? "",
             }
         });
 
@@ -855,7 +860,8 @@ const compile = function (input: PetriNet): PetriNet {
             extensions: {
                 plusplus: {
                     type: "await-condition"
-                }
+                },
+                extraTag: (inTransition.extensions.extraTag)?? "",
             }
         });
 
@@ -894,7 +900,8 @@ const compile = function (input: PetriNet): PetriNet {
             extensions: {
                 plusplus: {
                     type: "signal-condition-process-all"
-                }
+                },
+                extraTag: (inTransition.extensions.extraTag ?? "") + " await-signal"
             }
         });
         outTransitions.push({
@@ -932,7 +939,8 @@ const compile = function (input: PetriNet): PetriNet {
             extensions: {
                 plusplus: {
                     type: "signal-condition-process-single"
-                }
+                },
+                extraTag: (inTransition.extensions.extraTag ?? "") + " await-signal",
             }
         });
 
@@ -963,7 +971,8 @@ const compile = function (input: PetriNet): PetriNet {
             extensions: {
                 plusplus: {
                     type: "signal-reobtain-mutex"
-                }
+                },
+                extraTag: (inTransition.extensions.extraTag)?? "",
             }
         });
     };
@@ -996,7 +1005,8 @@ const compile = function (input: PetriNet): PetriNet {
             extensions: {
                 plusplus: {
                     type: "signal-condition"
-                }
+                },
+                extraTag: (inTransition.extensions.extraTag)?? "",
             }
         });
     };