Spaces:
Runtime error
Runtime error
| import time | |
| import pm4py | |
| from pm4py.objects.log.util import filtering_utils | |
| def execute_script(): | |
| log = pm4py.read_xes("../tests/compressed_input_data/02_teleclaims.xes.gz") | |
| tree = pm4py.discover_process_tree_inductive(log, noise_threshold=0.3) | |
| net, im, fm = pm4py.convert_to_petri_net(tree) | |
| # reduce the log to one trace per variant | |
| log = filtering_utils.keep_one_trace_per_variant(log) | |
| for index, trace in enumerate(log): | |
| print(index) | |
| aa = time.time() | |
| check_tree = pm4py.check_is_fitting(trace, tree) | |
| bb = time.time() | |
| check_petri = pm4py.check_is_fitting(trace, net, im, fm) | |
| cc = time.time() | |
| print("check on tree: ", check_tree, "time", bb - aa) | |
| print("check on Petri net: ", check_petri, "time", cc - bb) | |
| print() | |
| if __name__ == "__main__": | |
| execute_script() | |