Spaces:
Sleeping
Sleeping
File size: 1,906 Bytes
8097001 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 |
import os
import pm4py
from pm4py.algo.conformance.alignments.petri_net import algorithm as alignments
from pm4py.objects.petri_net.data_petri_nets import semantics
from pm4py.objects.petri_net.data_petri_nets.data_marking import DataMarking
from pm4py.objects.log.importer.xes import importer as xes_importer
from examples import examples_conf
import importlib.util
def get_trans_by_name(net, name):
ret = [x for x in net.transitions if x.name == name]
if len(ret) == 0:
return None
return ret[0]
def execute_script():
log = xes_importer.apply(os.path.join("..", "tests", "input_data", "roadtraffic100traces.xes"))
net, im, fm = pm4py.read_pnml(os.path.join("..", "tests", "input_data", "data_petri_net.pnml"), auto_guess_final_marking=True)
if importlib.util.find_spec("graphviz"):
pm4py.view_petri_net(net, im, fm, format=examples_conf.TARGET_IMG_FORMAT)
aligned_traces = alignments.apply(log, net, im, fm, variant=alignments.Variants.VERSION_DIJKSTRA_LESS_MEMORY, parameters={"ret_tuple_as_trans_desc": True})
for index, trace in enumerate(log):
aligned_trace = aligned_traces[index]
al = [(x[0][0], get_trans_by_name(net, x[0][1])) for x in aligned_trace["alignment"]]
m = DataMarking(im)
idx = 0
for el in al:
if el[1] is not None:
en_t = semantics.enabled_transitions(net, m, trace[min(idx, len(trace) - 1)])
if el[1] in en_t:
if "guard" in el[1].properties:
print(el[1], "GUARD SATISFIED", el[1].properties["guard"], m)
m = semantics.execute(el[1], net, m, trace[min(idx, len(trace) - 1)])
else:
print("TRANSITION UNAVAILABLE! Guards are blocking")
if el[0] != ">>":
idx = idx + 1
if __name__ == "__main__":
execute_script()
|