100 lines
7.5 KiB
Python
100 lines
7.5 KiB
Python
%reset
|
|
|
|
import pm4py
|
|
from pm4py.objects.petri_net.obj import PetriNet, Marking
|
|
|
|
net_con, initial_marking, final_marking = pm4py.read_pnml("results/conformative_petrinet_con.pnml")
|
|
pm4py.view_petri_net(net_con, initial_marking, final_marking)
|
|
|
|
net_con.places
|
|
net_con.transitions
|
|
net_con.arcs
|
|
|
|
final_marking = Marking()
|
|
|
|
# Add tokens for traces
|
|
# ('flipCard', 'openTopic', 'openPopup', 'openTopic', 'move'): 14
|
|
#pm4py.view_petri_net(net_con, initial_marking)
|
|
pm4py.vis.save_vis_petri_net(net_con, initial_marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_1_01.png")
|
|
marking = pm4py.generate_marking(net_con, {'p_1': 1, 'p_2' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_1_02.png")
|
|
#pm4py.view_petri_net(net_con, marking)
|
|
marking = pm4py.generate_marking(net_con, {'p_1': 1, 'p_6' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_1_03.png")
|
|
#pm4py.view_petri_net(net_con, marking)
|
|
marking = pm4py.generate_marking(net_con, {'p_1': 1, 'p_7' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_1_04.png")
|
|
#pm4py.view_petri_net(net_con, marking)
|
|
marking = pm4py.generate_marking(net_con, {'p_1': 1, 'p_8' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_1_05.png")
|
|
#pm4py.view_petri_net(net_con, marking)
|
|
marking = pm4py.generate_marking(net_con, {'p_1': 1, 'p_9' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_1_06.png")
|
|
#pm4py.view_petri_net(net_con, marking)
|
|
marking = pm4py.generate_marking(net_con, {'p_1': 1, 'p_10' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_1_07.png")
|
|
#pm4py.view_petri_net(net_con, marking)
|
|
marking = pm4py.generate_marking(net_con, {'p_1': 1, 'p_11' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_1_08.png")
|
|
#pm4py.view_petri_net(net_con, marking)
|
|
marking = pm4py.generate_marking(net_con, {'p_1': 1, 'p_7' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_1_09.png")
|
|
#pm4py.view_petri_net(net_con, marking)
|
|
marking = pm4py.generate_marking(net_con, {'p_1': 1, 'p_8' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_1_10.png")
|
|
#pm4py.view_petri_net(net_con, marking)
|
|
marking = pm4py.generate_marking(net_con, {'p_3': 1, 'p_8' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_1_11.png")
|
|
#pm4py.view_petri_net(net_con, marking)
|
|
marking = pm4py.generate_marking(net_con, {'p_4': 1, 'p_8' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_1_12.png")
|
|
#pm4py.view_petri_net(net_con, marking)
|
|
marking = pm4py.generate_marking(net_con, {'p_5': 1, 'p_8' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_1_13.png")
|
|
#pm4py.view_petri_net(net_con, marking)
|
|
marking = pm4py.generate_marking(net_con, {'p_5': 1, 'p_11' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_1_14.png")
|
|
#pm4py.view_petri_net(net_con, marking)
|
|
marking = pm4py.generate_marking(net_con, {'p_5': 1, 'p_12' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_1_15.png")
|
|
#pm4py.view_petri_net(net_con, marking)
|
|
marking = pm4py.generate_marking(net_con, {'sink': 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_1_16.png")
|
|
#pm4py.view_petri_net(net_con, final_marking)
|
|
|
|
# ('move', 'move', 'flipCard', 'move', 'openTopic', 'openPopup'): 14
|
|
pm4py.vis.save_vis_petri_net(net_con, initial_marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_2_01.png")
|
|
marking = pm4py.generate_marking(net_con, {'p_1': 1, 'p_2' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_2_02.png")
|
|
marking = pm4py.generate_marking(net_con, {'p_3': 1, 'p_2' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_2_03.png")
|
|
marking = pm4py.generate_marking(net_con, {'p_4': 1, 'p_2' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_2_04.png")
|
|
marking = pm4py.generate_marking(net_con, {'p_3': 1, 'p_2' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_2_05.png")
|
|
marking = pm4py.generate_marking(net_con, {'p_4': 1, 'p_2' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_2_06.png")
|
|
marking = pm4py.generate_marking(net_con, {'p_4': 1, 'p_6' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_2_07.png")
|
|
marking = pm4py.generate_marking(net_con, {'p_3': 1, 'p_6' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_2_08.png")
|
|
marking = pm4py.generate_marking(net_con, {'p_4': 1, 'p_6' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_2_09.png")
|
|
marking = pm4py.generate_marking(net_con, {'p_4': 1, 'p_7' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_2_10.png")
|
|
marking = pm4py.generate_marking(net_con, {'p_4': 1, 'p_8' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_2_11.png")
|
|
marking = pm4py.generate_marking(net_con, {'p_4': 1, 'p_9' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_2_12.png")
|
|
marking = pm4py.generate_marking(net_con, {'p_4': 1, 'p_10' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_2_13.png")
|
|
marking = pm4py.generate_marking(net_con, {'p_4': 1, 'p_11' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_2_14.png")
|
|
marking = pm4py.generate_marking(net_con, {'p_4': 1, 'p_12' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_2_15.png")
|
|
marking = pm4py.generate_marking(net_con, {'p_5': 1, 'p_12' : 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_2_16.png")
|
|
marking = pm4py.generate_marking(net_con, {'sink': 1})
|
|
pm4py.vis.save_vis_petri_net(net_con, marking, final_marking, file_path="../figures/processmaps/conformative_net_con_markings_2_17.png")
|
|
|