def alignments_on_pt(log, tree, parameters):
net, initial_marking, final_marking = pt_to_lock_net.apply(
tree, parameters)
from repair_alignment.algo.utils import align_utils
new_parameters = align_utils.alignment_parameters(net)
return align_factory.apply_log(log, net, initial_marking, final_marking,
new_parameters)
def apply_pt_alignments(log, tree, parameters):
net, initial_marking, final_marking = pt_to_lock_net.apply(
tree, parameters)
new_parameters = align_utils.alignment_parameters(net)
new_parameters[PARAM_ALIGNMENT_RESULT_IS_SYNC_PROD_AWARE] = parameters[
PARAM_ALIGNMENT_RESULT_IS_SYNC_PROD_AWARE]
return align_factory.apply_log(log, net, initial_marking, final_marking,
new_parameters)
def alignment_on_loop_lock_pt(tree, log):
net, initial_marking, final_marking = pt_to_lock_net.apply(
tree, {'PARAM_LOOP_LOCK': True})
parameters = align_utils.alignment_parameters(net)
parameters['ret_tuple_as_trans_desc'] = False
parameters['PARAM_LOOP_LOCK'] = True
alignments = align_factory.apply_log(log, net, initial_marking,
final_marking, parameters)
return alignments
def alignment_on_pt(tree, log):
net, initial_marking, final_marking = pt_to_lock_net.apply(tree)
parameters = align_utils.alignment_parameters(net)
alignments = align_factory.apply_log(log, net, initial_marking,
final_marking, parameters)
return alignments
def draw_lock_pn4pt(tree, parameters=None):
net, initial_marking, final_marking = pt_to_lock_net.apply(
tree, parameters)
gviz = pn_vis_factory.apply(net)
pn_vis_factory.view(gviz)