pm4py.analysis#
Functions
|
Computes the behavioral similarity (footprints-based) between two process models. |
Checks if the input Petri net satisfies the WF-net (Workflow net) conditions: 1. |
|
|
Checks if a given Petri net is a sound Workflow net (WF-net). |
|
Applies clustering to the provided event log by extracting profiles for the log's traces and clustering them using a Scikit-Learn clusterer (default is K-Means with two clusters). |
|
Computes the Earth Mover Distance (EMD) between two stochastic languages. |
|
Constructs the synchronous product net between a trace and a Petri net process model. |
|
Computes the embeddings similarity between two process models, following the approach described in: |
|
Generates a marking for a given Petri net based on specified places and token counts. |
|
Gets the activity labels from the specified event log / process model. |
|
Retrieves the set of transitions that are enabled in a given marking of a Petri net. |
|
Inserts artificial start and end activities into an event log or a Pandas DataFrame. |
|
Inserts arrival and finish rate information for each case into a Pandas DataFrame. |
|
Inserts service time, waiting time, and sojourn time information for each case into a Pandas DataFrame. |
|
Computes the label sets similarity between two process models. |
|
Maps the labels from the second process model into the first. |
|
Calculates the maximal decomposition of an accepting Petri net into its maximal components. |
|
Reduces the number of implicit places in the provided Petri net. |
Reduces the number of invisible transitions in the provided Petri net. |
|
|
Replace the activity labels in the specified process model. |
|
Computes the simplicity metric for a given Petri net model. |
|
Computes a heuristic value (an underestimation of the cost of an alignment) between a trace and a synchronous product net using the extended marking equation with the standard cost function. |
|
Solves the marking equation of a Petri net using an Integer Linear Programming (ILP) approach. |
|
Computes the structural similarity between two semi-block-structured process models, following an approach similar to: |