org.jbpt.petri.unfolding

Interfaces

• IBPNode
• IBranchingProcess
• ICompletePrefixUnfolding
• ICondition
• ICoSet
• ICut
• IEvent
• ILocalConfiguration
• IOccurrenceNet
• IOrderingRelationsDescriptor
• IOrderingRelationsGraph
• IPossibleExtensions

Classes

• AbstractBPNode
• AbstractBranchingProcess
• AbstractCompletePrefixUnfolding
• AbstractCondition
• AbstractCoSet
• AbstractCut
• AbstractEvent
• AbstractLocalConfiguration
• AbstractOccurrenceNet
• AbstractOrderingRelationsGraph
• AbstractPossibleExtensions
• AbstractProperCompletePrefixUnfolding
• BPNode
• BranchingProcess
• CompletePrefixUnfolding
• CompletePrefixUnfoldingSetup
• Condition
• CoSet
• Cut
• Event
• OccurrenceNet
• OrderingRelationsGraph
• ProperCompletePrefixUnfolding
• SoundUnfolding
• SoundUnfoldingMSMS

Enums

• OrderingRelationType