Types & Structures
Browse all 21 types used throughout the library. See where each type is used as input or output.
21
Total Types
9
Structs
3
Enums
Structs(9)
AlphaPPPConfig
Algorithm parameters for Alpha+++
Arc
Arc in a Petri net Connecting a transition and a place (or the other way around)
DirectlyFollowsGraph
A directly-follows graph of [`Activity`]s. Graph containing a set of activities, a set of directly-follows relations, a set of start activities, and a set of end activities. Both, the number of occurrences of activities and of directly follows relations are annotated with their frequency.
OCDeclareArc
OC-DECLARE Constraint arc/edge between two nodes (i.e., activities)
OCDeclareDiscoveryOptions
Options for the automatic discovery of OC-DECLARE constraints
OCDirectlyFollowsGraph
An object-centric directly-follows graph containing a [`DirectlyFollowsGraph`] for each object type involved.
PetriNet
A Petri net of [`Place`]s and [`Transition`]s Bipartite graph of [`Place`]s and [`Transition`]s with [`Arc`]s connecting them, as well as initial and final [`Marking`]s
Place
Place in a Petri net
Transition
Transition in a Petri net