Uses of Package
org.jbpt.petri.unfolding

Packages that use org.jbpt.petri.unfolding

Package	Description
org.jbpt.petri.querying
org.jbpt.petri.unfolding
org.jbpt.petri.unfolding.order
org.jbpt.petri.untangling
org.jbpt.petri.untangling.pss

Classes in org.jbpt.petri.unfolding used by org.jbpt.petri.querying

Class and Description
BPNode
Condition
Event
IBPNode Interface to a node of a branching process.
ICondition Interface to a condition of a branching process.
IEvent Interface to an event of a branching process.

Classes in org.jbpt.petri.unfolding used by org.jbpt.petri.unfolding

Class and Description
AbstractBPNode Implementation of a node of a branching process.
AbstractBranchingProcess Abstract implementation of a branching process of a net system.
AbstractCompletePrefixUnfolding (An abstract) implementation of a complete prefix unfloding of a net system. This class implements techniques described in: - Javier Esparza, Stefan Roemer, Walter Vogler: An Improvement of McMillan's Unfolding Algorithm.
AbstractCondition
AbstractCoSet
AbstractCut
AbstractEvent
AbstractOccurrenceNet Occurrence net.
AbstractOrderingRelationsGraph Abstract implementation of the ordering relations graph (ORGRAPH).
AbstractProperCompletePrefixUnfolding Proper complete prefix unfolding.
BPNode
CompletePrefixUnfoldingSetup Setup for construction of a branching process of a net system.
Condition
Event
IBPNode Interface to a node of a branching process.
IBranchingProcess An interface to a Branching Process of a net system (INetSystem).
ICompletePrefixUnfolding Interface to a complete prefix unfolding.
ICondition Interface to a condition of a branching process.
ICoSet
ICut
IEvent Interface to an event of a branching process.
ILocalConfiguration
IOccurrenceNet
IOrderingRelationsDescriptor
IOrderingRelationsGraph
IPossibleExtensions
OrderingRelationType Enumeration of ordering relation types.
SoundUnfolding Unfolding for soundness checks Proof of concept - must be improved

Classes in org.jbpt.petri.unfolding used by org.jbpt.petri.unfolding.order

Class and Description
IBPNode Interface to a node of a branching process.
ICondition Interface to a condition of a branching process.
IEvent Interface to an event of a branching process.
ILocalConfiguration

Classes in org.jbpt.petri.unfolding used by org.jbpt.petri.untangling

Class and Description
AbstractBranchingProcess Abstract implementation of a branching process of a net system.
IBPNode Interface to a node of a branching process.
IBranchingProcess An interface to a Branching Process of a net system (INetSystem).
ICondition Interface to a condition of a branching process.
IEvent Interface to an event of a branching process.
IOrderingRelationsDescriptor

Classes in org.jbpt.petri.unfolding used by org.jbpt.petri.untangling.pss

Class and Description
BPNode
Condition
Event
IBPNode Interface to a node of a branching process.
ICondition Interface to a condition of a branching process.
IEvent Interface to an event of a branching process.