|
@@ -5,15 +5,26 @@ import xml.etree.ElementTree as ET
|
|
class LoLAConvert:
|
|
class LoLAConvert:
|
|
|
|
|
|
def __init__(self):
|
|
def __init__(self):
|
|
|
|
+ # TODO:
|
|
|
|
+ # - Add capacity
|
|
|
|
+ # - Prevent inhibitors
|
|
pass
|
|
pass
|
|
|
|
|
|
def convert_file(self, filename):
|
|
def convert_file(self, filename):
|
|
|
|
|
|
places, transitions, arcs = self.parse_pnml(filename)
|
|
places, transitions, arcs = self.parse_pnml(filename)
|
|
|
|
|
|
- print("Places: " + str(places))
|
|
|
|
- print("Transitions: " + str(transitions))
|
|
|
|
- print("Arcs: " + str(arcs))
|
|
|
|
|
|
+ print("Places: ")
|
|
|
|
+ for p, v in places.items():
|
|
|
|
+ print(str(p) + " : " + str(v))
|
|
|
|
+
|
|
|
|
+ print("Transitions: ")
|
|
|
|
+ for t, v in transitions.items():
|
|
|
|
+ print(str(t) + ",")# + str(v))
|
|
|
|
+
|
|
|
|
+ print("Arcs: ")
|
|
|
|
+ for a in arcs:
|
|
|
|
+ print(a)
|
|
|
|
|
|
places_with_markings = []
|
|
places_with_markings = []
|
|
for p_id, p_data in places.items():
|
|
for p_id, p_data in places.items():
|