Source code for pm4py.algo.conformance.alignments.decomposed.algorithm

'''
    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
'''
from pm4py.algo.conformance.alignments.decomposed.variants import (
    recompos_maximal,
)
from enum import Enum
from pm4py.util import exec_utils
from typing import Optional, Dict, Any, Union
from pm4py.objects.log.obj import EventLog
from pm4py.objects.petri_net.obj import PetriNet, Marking
from pm4py.util import typing
import pandas as pd


[docs] class Variants(Enum): RECOMPOS_MAXIMAL = recompos_maximal
VERSIONS = {Variants.RECOMPOS_MAXIMAL}
[docs] def apply( log: Union[EventLog, pd.DataFrame], net: PetriNet, im: Marking, fm: Marking, variant=Variants.RECOMPOS_MAXIMAL, parameters: Optional[Dict[Any, Any]] = None, ) -> typing.ListAlignments: """ Apply the recomposition alignment approach to a log and a Petri net performing decomposition Parameters -------------- log Event log net Petri net im Initial marking fm Final marking variant Variant of the algorithm, possible values: - Variants.RECOMPOS_MAXIMAL parameters Parameters of the algorithm Returns -------------- aligned_traces For each trace, return its alignment """ return exec_utils.get_variant(variant).apply( log, net, im, fm, parameters=parameters )