pm4py.objects.stochastic_petri.tangible_reachability module#

pm4py.objects.stochastic_petri.tangible_reachability.get_tangible_reachability_from_log_net_im_fm(log, net, im, fm, parameters=None)[source]#

Gets the tangible reachability graph from a log and an accepting Petri net

Parameters:

  • log – Event log

  • net – Petri net

  • im – Initial marking

  • fm – Final marking

Returns:

  • reachab_graph – Reachability graph

  • tangible_reach_graph – Tangible reachability graph

  • stochastic_info – Stochastic information

pm4py.objects.stochastic_petri.tangible_reachability.get_tangible_reachability_from_net_im_sinfo(net, im, stochastic_info, parameters=None)[source]#

Gets the tangible reacahbility graph from a Petri net, an initial marking and a stochastic map

Parameters:

  • net – Petri net

  • im – Initial marking

  • fm – Final marking

  • stochastic_info – Stochastic information

Returns:

  • reachab_graph – Reachability graph

  • tangible_reach_graph – Tangible reachability graph

pm4py.objects.stochastic_petri.tangible_reachability.get_tangible_reachability_from_reachability(reach_graph, stochastic_info)[source]#

Gets the tangible reachability graph from the reachability graph and the stochastic transition map

Parameters:

  • reach_graph – Reachability graph

  • stochastic_info – Stochastic information

Returns:

Tangible reachability graph

Return type:

tangible_reach_graph