pm4py.conformance.replay_prefix_tbr#

pm4py.conformance.replay_prefix_tbr(prefix: List[str], net: PetriNet, im: Marking, fm: Marking, activity_key: str = 'concept:name') → Marking[source]#

Replay a prefix (list of activities) on a given accepting Petri net using Token-Based Replay.

Parameters:

prefix – List of activities representing the prefix.
net (PetriNet) – Petri net.
im (Marking) – Initial marking.
fm (Marking) – Final marking.
activity_key (str) – Attribute to be used as the activity key (default is “concept:name”).

Returns:

The marking reached after replaying the prefix.

Return type:

Marking

Example:

```python import pm4py

net, im, fm = pm4py.read_pnml(‘tests/input_data/running-example.pnml’) marking = pm4py.replay_prefix_tbr(

[‘register request’, ‘check ticket’], net, im, fm, activity_key=’concept:name’