Module models 

Core data models: EventLog, OCEL, DFG, PetriNet, etc. Core event log data model for process mining.

Defines the three-level hierarchy that mirrors the XES standard:

EventLog
└── Trace (one per case/process instance)
    └── Event (one per activity occurrence)
        └── Attribute: AttributeValue

[AttributeValue] represents XES attribute types: String, Int, Float, Date, Boolean, List, and Container. The [parse_timestamp_ms] function converts ISO 8601 / RFC 3339 timestamps to millisecond Unix epoch for uniform time arithmetic.

Structs

AStarFrontier

AlignmentFitnessConfig

Configuration for alignment-based fitness computation.

AlignmentState

A* search frontier state for alignment computation.

ColumnarLog

Columnar, integer-encoded view of an event log.

ConformanceResult

Overall result of conformance checking.

DFG

A Directly-Follows Graph (DFG) representing process flow.

DFGNode

A node in a Directly-Follows Graph.

DeclareConstraint

A single DECLARE constraint.

DeclareModel

A DECLARE model containing declarative process rules.

DirectlyFollowsRelation

A single directly-follows edge in a DFG.

Event

A single event within a trace.

EventLog

An event log containing a collection of traces.

NGramPredictor

N-gram predictor for next-activity forecasting.

OCEL

An Object-Centric Event Log (OCEL).

OCELEvent

A single event in an Object-Centric Event Log.

OCELEventAttribute

OCEL Event Attribute definition.

OCELEventObjectRef

OCEL Event-Object Reference (OCEL 2.0).

OCELObject

A single object in an Object-Centric Event Log.

OCELObjectAttribute

OCEL Object Attribute definition.

OCELObjectAttributeChange

OCEL Object Attribute Change (OCEL 2.0).

OCELObjectRelRef

OCEL Object Relation Reference (for embedded relations in objects).

OCELObjectRelation

OCEL Object Relation (OCEL 2.0).

OpenTraceState

PetriNet

A Petri Net process model.

PetriNetArc

An arc in a Petri Net connecting a place to a transition or vice versa.

PetriNetPlace

A place in a Petri Net.

PetriNetTransition

A transition in a Petri Net.

ProcessTreeNode

A node in a process tree representation of a workflow.

StreamingConformanceChecker

Streaming incremental conformance checker. Supports either Directly-Follows Graph checking or Token Replay on a Petri Net.

StreamingConformanceDeviation

Deviation detected in a streaming context.

StreamingConformanceTraceResult

Result of streaming conformance checking for a single trace.

TemporalProfile

Temporal profile: per-pair mean and standard-deviation of time differences (ms).

TokenReplayDeviation

Deviation detected during token-based replay.

TokenReplayResult

Result of token-based replay for a single case.

Trace

A trace representing a single process instance (case).

Enums

AlignmentMove

Alignment move types for A* alignment computation.

AttributeValue

Attribute value types for event data.

TraceState

Functions

is_final_marking

Helper to check if a marking matches any accepting final marking.

is_final_reachable

Helper to determine if a final marking is reachable from the current marking. Explores the marking reachability graph up to a safe search depth limit.

parse_timestamp_ms

Parse an ISO 8601 / RFC 3339 timestamp string into milliseconds since Unix epoch.

Type Aliases

AdmittedEventLog

An admitted event log wrapped in a process evidence carrier.

Attributes

Type alias for a collection of named attributes.

TypedPowl

An admitted POWL model wrapped in a process evidence carrier.

TypedProcessTree

An admitted process tree wrapped in a process evidence carrier.