exporting marking if connected to lpn

AdamBanham · Oct 21, 2024 · 9d7e0a5 · 9d7e0a5
1 parent 789438b
commit 9d7e0a5
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/pmkoalas/models/petrinet.py b/pmkoalas/models/petrinet.py
@@ -554,6 +554,14 @@ def getUUID() -> str:
                         'localNodeID' : getUUID()
                     }
                 )
+        if net.initial_marking and net.initial_marking.contains(place):
+            imarking = ET.SubElement(placeNode,'initialMarking')
+            text_node = ET.SubElement(imarking,'text')
+            text_node.text = str(net.initial_marking[place])
+        if net.final_marking and net.final_marking.contains(place):
+            fmarking = ET.SubElement(placeNode,'finalMarking')
+            text_node = ET.SubElement(fmarking,'text')
+            text_node.text = str(net.final_marking[place])
 
     for tran in net.transitions:
         # work out the id for the transition