pm4py.objects.stochastic_petri.tangible_reachability module#

PM4Py – A Process Mining Library for Python

Copyright (C) 2024 Process Intelligence Solutions UG (haftungsbeschränkt)

This program is free software: you can redistribute it and/or modify it under the terms of the GNU Affero General Public License as published by the Free Software Foundation, either version 3 of the License, or any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for more details.

You should have received a copy of the GNU Affero General Public License along with this program. If not, see this software project’s root or visit <https://www.gnu.org/licenses/>.

Website: https://processintelligence.solutions Contact: info@processintelligence.solutions

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