All Classes
AbstractAutomaton
AbstractBaselineRepresentativeUntangling
AbstractBPNode
AbstractBranchingProcess
AbstractCompletePrefixUnfolding
AbstractCondition
AbstractCoSet
AbstractCut
AbstractEvent
AbstractEventComparator
AbstractFlow
AbstractLocalConfiguration
AbstractMarking
AbstractNetSystem
AbstractOccurrenceNet
AbstractOrderingRelationsGraph
AbstractPetriNet
AbstractPossibleExtensions
AbstractProcess
AbstractProcessSetSystem
AbstractProcessSystem
AbstractProperCompletePrefixUnfolding
AbstractReductionBasedRepresentativeUntangling
AbstractRepresentativeUntangling
AbstractRun
AbstractState
AbstractStateTransition
AbstractStep
AbstractStructuralQuerying
AbstractUntanglingBasedBehavioralQuerying
AbstractUntanglingRun
AbstractWFTree
AdequateOrder
AdequateOrderType
Automaton
BaselineRepresentativeUntangling
BPNode
BranchingProcess
CompletePrefixUnfolding
CompletePrefixUnfoldingSetup
Completion
ConcurrencyRelation
Condition
CoSet
Cut
EsparzaAdequateOrderForArbitrarySystems
EsparzaAdequateTotalOrderForSafeSystems
Event
Flow
IAdequateOrder
IAutomaton
IBehavioralQuerying
IBPNode
IBranchingProcess
ICommand
ICompletePrefixUnfolding
ICondition
ICoSet
ICut
IEvent
IFlow
ILocalConfiguration
IMarking
INetSystem
INode
IOccurrenceNet
IOrderingRelationsDescriptor
IOrderingRelationsGraph
IPetriNet
IPlace
IPossibleExtensions
IProcess
IProcessSetSystem
IProcessSystem
IRun
IState
IStateTransition
IStep
IStructuralQuerying
ITransition
IUntanglingRun
IWFTree
LolaSoundnessChecker
LolaSoundnessCheckerResult
Marking
McMillanAdequateOrder
NetSystem
NetSystemQuerying
Node
OccurrenceNet
OrderingRelationsGraph
OrderingRelationType
PetriNet
PetriNetProjector
PetriNetStructuralChecks
PetriNetTransformations
Place
PNMLSerializer
Process
ProcessSetSystem
ProcessSystem
ProjectedStateSpace
ProperCompletePrefixUnfolding
ReductionBasedRepresentativeUntangling
Run
SignificanceCheckType
SimpleStateSpace
SoundUnfolding
SoundUnfoldingMSMS
State
StateTransition
Step
Transition
TreeStep
TreeStepIndex
UnfoldingAdequateOrder
UntanglingRun
UntanglingSetup
WFTree
WFTreeBondType
WFTreeLoopOrientationType
WoflanSerializer