def construct_synchronous_product_net(
trace: Trace, petri_net: PetriNet, initial_marking: Marking,
final_marking: Marking) -> Tuple[PetriNet, Marking, Marking]:
"""
constructs the synchronous product net between a trace and a Petri net process model.
Parameters
----------------
trace
Trace of an event log
petri_net
Petri net
initial_marking
Initial marking
final_marking
Final marking
Returns
----------------
sync_net
Synchronous product net
sync_im
Initial marking of the sync net
sync_fm
Final marking of the sync net
"""
from pm4py.objects.petri_net.utils.petri_utils import construct_trace_net
from pm4py.objects.petri_net.utils.synchronous_product import construct
from pm4py.objects.petri_net.utils.align_utils import SKIP
trace_net, trace_im, trace_fm = construct_trace_net(trace)
sync_net, sync_im, sync_fm = construct(trace_net, trace_im, trace_fm,
petri_net, initial_marking,
final_marking, SKIP)
return sync_net, sync_im, sync_fm
def build_sync_net(trace, petri_net, initial_marking, final_marking, parameters=None):
"""
Build the sync product net between the Petri net and the trace prefix
Parameters
---------------
trace
Trace prefix
petri_net
Petri net
initial_marking
Initial marking
final_marking
Final marking
parameters
Possible parameters of the algorithm
"""
if parameters is None:
parameters = {}
activity_key = exec_utils.get_param_value(Parameters.ACTIVITY_KEY, parameters, xes_constants.DEFAULT_NAME_KEY)
trace_net, trace_im, trace_fm = construct_trace_net(trace, activity_key=activity_key)
sync_prod, sync_initial_marking, sync_final_marking = construct(trace_net, trace_im,
trace_fm, petri_net,
initial_marking,
final_marking,
utils.SKIP)
return sync_prod, sync_initial_marking, sync_final_marking
def apply_trace_net(petri_net, initial_marking, final_marking, trace_net, trace_im, trace_fm, parameters=None):
"""
Performs the basic alignment search, given a trace net and a net.
Parameters
----------
trace: :class:`list` input trace, assumed to be a list of events (i.e. the code will use the activity key
to get the attributes)
petri_net: :class:`pm4py.objects.petri.net.PetriNet` the Petri net to use in the alignment
initial_marking: :class:`pm4py.objects.petri.net.Marking` initial marking in the Petri net
final_marking: :class:`pm4py.objects.petri.net.Marking` final marking in the Petri net
parameters: :class:`dict` (optional) dictionary containing one of the following:
Parameters.PARAM_TRACE_COST_FUNCTION: :class:`list` (parameter) mapping of each index of the trace to a positive cost value
Parameters.PARAM_MODEL_COST_FUNCTION: :class:`dict` (parameter) mapping of each transition in the model to corresponding
model cost
Parameters.PARAM_SYNC_COST_FUNCTION: :class:`dict` (parameter) mapping of each transition in the model to corresponding
synchronous costs
Parameters.ACTIVITY_KEY: :class:`str` (parameter) key to use to identify the activity described by the events
Parameters.PARAM_TRACE_NET_COSTS: :class:`dict` (parameter) mapping between transitions and costs
Returns
-------
dictionary: `dict` with keys **alignment**, **cost**, **visited_states**, **queued_states** and **traversed_arcs**
"""
if parameters is None:
parameters = {}
ret_tuple_as_trans_desc = exec_utils.get_param_value(Parameters.PARAM_ALIGNMENT_RESULT_IS_SYNC_PROD_AWARE,
parameters, False)
trace_cost_function = exec_utils.get_param_value(Parameters.PARAM_TRACE_COST_FUNCTION, parameters, None)
model_cost_function = exec_utils.get_param_value(Parameters.PARAM_MODEL_COST_FUNCTION, parameters, None)
sync_cost_function = exec_utils.get_param_value(Parameters.PARAM_SYNC_COST_FUNCTION, parameters, None)
trace_net_costs = exec_utils.get_param_value(Parameters.PARAM_TRACE_NET_COSTS, parameters, None)
if trace_cost_function is None or model_cost_function is None or sync_cost_function is None:
sync_prod, sync_initial_marking, sync_final_marking = construct(trace_net, trace_im,
trace_fm, petri_net,
initial_marking,
final_marking,
utils.SKIP)
cost_function = utils.construct_standard_cost_function(sync_prod, utils.SKIP)
else:
revised_sync = dict()
for t_trace in trace_net.transitions:
for t_model in petri_net.transitions:
if t_trace.label == t_model.label:
revised_sync[(t_trace, t_model)] = sync_cost_function[t_model]
sync_prod, sync_initial_marking, sync_final_marking, cost_function = construct_cost_aware(
trace_net, trace_im, trace_fm, petri_net, initial_marking, final_marking, utils.SKIP,
trace_net_costs, model_cost_function, revised_sync)
max_align_time_trace = exec_utils.get_param_value(Parameters.PARAM_MAX_ALIGN_TIME_TRACE, parameters,
sys.maxsize)
return apply_sync_prod(sync_prod, sync_initial_marking, sync_final_marking, cost_function,
utils.SKIP, ret_tuple_as_trans_desc=ret_tuple_as_trans_desc,
max_align_time_trace=max_align_time_trace)