Index (Business Process Technologies 4 Java (jBPT)

A B C D E F G H I L M N O P R S T U V W

A

AbstractAutomaton<ST extends IStateTransition<S,F,N,P,T,M>,S extends IState<F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.automaton
AbstractAutomaton(INetSystem<F, N, P, T, M>) - Constructor for class org.jbpt.automaton.AbstractAutomaton
AbstractAutomaton(INetSystem<F, N, P, T, M>, int) - Constructor for class org.jbpt.automaton.AbstractAutomaton
AbstractAutomaton() - Constructor for class org.jbpt.automaton.AbstractAutomaton
AbstractBaselineRepresentativeUntangling<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.untangling: An abstract implementation of the baseline algorithm for computing representative untanglings of net systems (INetSystem).
AbstractBaselineRepresentativeUntangling(INetSystem<F, N, P, T, M>, UntanglingSetup) - Constructor for class org.jbpt.petri.untangling.AbstractBaselineRepresentativeUntangling
AbstractBaselineRepresentativeUntangling(INetSystem<F, N, P, T, M>) - Constructor for class org.jbpt.petri.untangling.AbstractBaselineRepresentativeUntangling: Constructor of a representative untangling.
AbstractBPNode<N extends INode> - Class in org.jbpt.petri.unfolding: Implementation of a node of a branching process.
AbstractBPNode() - Constructor for class org.jbpt.petri.unfolding.AbstractBPNode
AbstractBranchingProcess<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.unfolding: Abstract implementation of a branching process of a net system.
AbstractBranchingProcess() - Constructor for class org.jbpt.petri.unfolding.AbstractBranchingProcess
AbstractBranchingProcess(INetSystem<F, N, P, T, M>) - Constructor for class org.jbpt.petri.unfolding.AbstractBranchingProcess
AbstractCompletePrefixUnfolding<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.unfolding: (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.
AbstractCompletePrefixUnfolding() - Constructor for class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding: Empty constructor.
AbstractCompletePrefixUnfolding(INetSystem<F, N, P, T, M>) - Constructor for class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding: Constructor with default setup.
AbstractCompletePrefixUnfolding(INetSystem<F, N, P, T, M>, CompletePrefixUnfoldingSetup) - Constructor for class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding: Constructor with specified setup.
AbstractCondition<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.unfolding
AbstractCondition() - Constructor for class org.jbpt.petri.unfolding.AbstractCondition
AbstractCondition(P, E) - Constructor for class org.jbpt.petri.unfolding.AbstractCondition
AbstractCoSet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.unfolding
AbstractCoSet() - Constructor for class org.jbpt.petri.unfolding.AbstractCoSet
AbstractCut<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.unfolding
AbstractCut() - Constructor for class org.jbpt.petri.unfolding.AbstractCut
AbstractEvent<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.unfolding
AbstractEvent() - Constructor for class org.jbpt.petri.unfolding.AbstractEvent
AbstractEvent(ICompletePrefixUnfolding<BPN, C, E, F, N, P, T, M>, T, ICoSet<BPN, C, E, F, N, P, T, M>) - Constructor for class org.jbpt.petri.unfolding.AbstractEvent: Constructor.
AbstractEventComparator<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.unfolding.order
AbstractEventComparator(IAdequateOrder<BPN, C, E, F, N, P, T, M>) - Constructor for class org.jbpt.petri.unfolding.order.AbstractEventComparator
AbstractFlow<N extends INode> - Class in org.jbpt.petri: Implementation of a Petri net flow relation.
AbstractFlow(AbstractDirectedGraph<?, N>, N, N) - Constructor for class org.jbpt.petri.AbstractFlow: Constructor of a flow relation.
AbstractLocalConfiguration<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.unfolding
AbstractLocalConfiguration() - Constructor for class org.jbpt.petri.unfolding.AbstractLocalConfiguration
AbstractLocalConfiguration(ICompletePrefixUnfolding<BPN, C, E, F, N, P, T, M>, E) - Constructor for class org.jbpt.petri.unfolding.AbstractLocalConfiguration
AbstractMarking<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition> - Class in org.jbpt.petri: Implementation of a Petri net marking.
AbstractMarking() - Constructor for class org.jbpt.petri.AbstractMarking
AbstractMarking(IPetriNet<F, N, P, T>) - Constructor for class org.jbpt.petri.AbstractMarking: Construct a marking and associate it with a given net.
AbstractNetSystem<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri: Implementation of a net system.
AbstractNetSystem() - Constructor for class org.jbpt.petri.AbstractNetSystem
AbstractOccurrenceNet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.unfolding: Occurrence net.
AbstractOccurrenceNet() - Constructor for class org.jbpt.petri.unfolding.AbstractOccurrenceNet
AbstractOccurrenceNet(ICompletePrefixUnfolding<BPN, C, E, F, N, P, T, M>) - Constructor for class org.jbpt.petri.unfolding.AbstractOccurrenceNet
AbstractOrderingRelationsGraph<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.unfolding: Abstract implementation of the ordering relations graph (ORGRAPH).
AbstractOrderingRelationsGraph() - Constructor for class org.jbpt.petri.unfolding.AbstractOrderingRelationsGraph
AbstractOrderingRelationsGraph(IBranchingProcess<BPN, C, E, F, N, P, T, M>) - Constructor for class org.jbpt.petri.unfolding.AbstractOrderingRelationsGraph
AbstractPetriNet<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition> - Class in org.jbpt.petri: An implementation of IPetriNet interface.
AbstractPetriNet() - Constructor for class org.jbpt.petri.AbstractPetriNet: Empty constructor.
AbstractPossibleExtensions<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.unfolding
AbstractPossibleExtensions(IAdequateOrder<BPN, C, E, F, N, P, T, M>) - Constructor for class org.jbpt.petri.unfolding.AbstractPossibleExtensions
AbstractProcess<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.untangling: An abstract implementation of the IProcess interface.
AbstractProcess() - Constructor for class org.jbpt.petri.untangling.AbstractProcess
AbstractProcess(INetSystem<F, N, P, T, M>) - Constructor for class org.jbpt.petri.untangling.AbstractProcess: Construct a process of a given net system.
AbstractProcessSetSystem<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.untangling.pss: An abstract implementation of the IProcessSetSystem interface.
AbstractProcessSetSystem(INetSystem<F, N, P, T, M>, Collection<IProcess<BPN, C, E, F, N, P, T, M>>) - Constructor for class org.jbpt.petri.untangling.pss.AbstractProcessSetSystem
AbstractProcessSystem<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.untangling.pss: An abstract implementation of the IProcessSystem interface.
AbstractProcessSystem() - Constructor for class org.jbpt.petri.untangling.pss.AbstractProcessSystem
AbstractProcessSystem(INetSystem<F, N, P, T, M>, IProcess<BPN, C, E, F, N, P, T, M>) - Constructor for class org.jbpt.petri.untangling.pss.AbstractProcessSystem
AbstractProperCompletePrefixUnfolding<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.unfolding: Proper complete prefix unfolding.
AbstractProperCompletePrefixUnfolding() - Constructor for class org.jbpt.petri.unfolding.AbstractProperCompletePrefixUnfolding
AbstractProperCompletePrefixUnfolding(INetSystem<F, N, P, T, M>, CompletePrefixUnfoldingSetup) - Constructor for class org.jbpt.petri.unfolding.AbstractProperCompletePrefixUnfolding
AbstractProperCompletePrefixUnfolding(INetSystem<F, N, P, T, M>) - Constructor for class org.jbpt.petri.unfolding.AbstractProperCompletePrefixUnfolding
AbstractReductionBasedRepresentativeUntangling<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.untangling: An abstract implementation of the reduction-based algorithm for computing representative untanglings of net systems (INetSystem).
AbstractReductionBasedRepresentativeUntangling(INetSystem<F, N, P, T, M>) - Constructor for class org.jbpt.petri.untangling.AbstractReductionBasedRepresentativeUntangling: Constructor of a representative untangling.
AbstractReductionBasedRepresentativeUntangling(INetSystem<F, N, P, T, M>, UntanglingSetup) - Constructor for class org.jbpt.petri.untangling.AbstractReductionBasedRepresentativeUntangling
AbstractRepresentativeUntangling<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.untangling: An abstract implementation of a technique for constructing representative untanglings of net system (@link INetSystem).
AbstractRepresentativeUntangling(INetSystem<F, N, P, T, M>) - Constructor for class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
AbstractRepresentativeUntangling(INetSystem<F, N, P, T, M>, UntanglingSetup) - Constructor for class org.jbpt.petri.untangling.AbstractRepresentativeUntangling: Constructor of a representative untangling.
AbstractRun<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri: Implementation of a run of a net system.
AbstractRun() - Constructor for class org.jbpt.petri.AbstractRun
AbstractRun(INetSystem<F, N, P, T, M>) - Constructor for class org.jbpt.petri.AbstractRun
AbstractState<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.automaton
AbstractState() - Constructor for class org.jbpt.automaton.AbstractState
AbstractState(M) - Constructor for class org.jbpt.automaton.AbstractState
AbstractStateTransition<S extends IState<F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.automaton
AbstractStateTransition(AbstractMultiDirectedGraph, S, S) - Constructor for class org.jbpt.automaton.AbstractStateTransition
AbstractStep<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri: Implementation of a step of a net system.
AbstractStep() - Constructor for class org.jbpt.petri.AbstractStep
AbstractStep(IPetriNet<F, N, P, T>, M, T) - Constructor for class org.jbpt.petri.AbstractStep
AbstractStep(IPetriNet<F, N, P, T>, M, T, M) - Constructor for class org.jbpt.petri.AbstractStep
AbstractStructuralQuerying<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.querying: An implementation of the IStructuralQuerying interface.
AbstractStructuralQuerying(INetSystem<F, N, P, T, M>) - Constructor for class org.jbpt.petri.querying.AbstractStructuralQuerying
AbstractUntanglingBasedBehavioralQuerying<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.querying: An implementation of the IBehavioralQuerying interface (using untanglings).
AbstractUntanglingBasedBehavioralQuerying(INetSystem<F, N, P, T, M>) - Constructor for class org.jbpt.petri.querying.AbstractUntanglingBasedBehavioralQuerying
AbstractUntanglingBasedBehavioralQuerying(INetSystem<F, N, P, T, M>, Collection<IProcess<BPN, C, E, F, N, P, T, M>>) - Constructor for class org.jbpt.petri.querying.AbstractUntanglingBasedBehavioralQuerying
AbstractUntanglingRun<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.untangling
AbstractUntanglingRun() - Constructor for class org.jbpt.petri.untangling.AbstractUntanglingRun
AbstractUntanglingRun(INetSystem<F, N, P, T, M>) - Constructor for class org.jbpt.petri.untangling.AbstractUntanglingRun
AbstractWFTree<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition> - Class in org.jbpt.petri.wftree: This class takes a net and computes its WF-tree (abstract implementation).

WF-tree was proposed in: Matthias Weidlich, Artem Polyvyanyy, Jan Mendling, and Mathias Weske.
AbstractWFTree(IPetriNet<F, N, P, T>) - Constructor for class org.jbpt.petri.wftree.AbstractWFTree
add(IStep<F, N, P, T, M>) - Method in class org.jbpt.petri.AbstractRun
add(int, IStep<F, N, P, T, M>) - Method in class org.jbpt.petri.AbstractRun
add(C) - Method in class org.jbpt.petri.unfolding.AbstractCoSet
addAll(Collection<? extends IStep<F, N, P, T, M>>) - Method in class org.jbpt.petri.AbstractRun
addAll(int, Collection<? extends IStep<F, N, P, T, M>>) - Method in class org.jbpt.petri.AbstractRun
addAll(Collection<? extends C>) - Method in class org.jbpt.petri.unfolding.AbstractCoSet
addAllCombinations(Set<ConcurrencyRelation.NodePair>, List<Node>) - Method in class org.jbpt.petri.behavior.ConcurrencyRelation
addCutoff(E, E) - Method in class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding
addDeadTransition(Transition) - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
addEdge(S, S) - Method in class org.jbpt.automaton.AbstractAutomaton
addFlow(P, T) - Method in class org.jbpt.petri.AbstractPetriNet
addFlow(T, P) - Method in class org.jbpt.petri.AbstractPetriNet
addFlow(N, N) - Method in interface org.jbpt.petri.IPetriNet: Add flow to this net.
addFlow(P, T) - Method in interface org.jbpt.petri.IPetriNet: Add flow to this net.
addFlow(T, P) - Method in interface org.jbpt.petri.IPetriNet: Add flow to this net.
addFlow(Node, Node) - Method in class org.jbpt.petri.NetSystem
addFlow(Node, Node) - Method in class org.jbpt.petri.PetriNet
addFlow(N, N) - Method in class org.jbpt.petri.unfolding.AbstractOccurrenceNet
addFlow(Node, Node) - Method in class org.jbpt.petri.unfolding.OccurrenceNet
addNode(N) - Method in class org.jbpt.petri.AbstractPetriNet
addNode(N) - Method in interface org.jbpt.petri.IPetriNet: Add node to this net.
addNodes(Collection<N>) - Method in class org.jbpt.petri.AbstractPetriNet
addNodes(Collection<N>) - Method in interface org.jbpt.petri.IPetriNet: Add nodes to this net.
addPlace(P) - Method in class org.jbpt.petri.AbstractPetriNet
addPlace(P) - Method in interface org.jbpt.petri.IPetriNet: Add place to this net.
addPlaces(Collection) - Method in class org.jbpt.petri.AbstractPetriNet
addPlaces(Collection) - Method in interface org.jbpt.petri.IPetriNet: Add places to this net.
addStep(T, T) - Method in class org.jbpt.petri.behavior.ProjectedStateSpace
addToVisit(T, M) - Method in class org.jbpt.petri.behavior.ProjectedStateSpace
addTransition(T) - Method in class org.jbpt.petri.AbstractPetriNet
addTransition(T) - Method in interface org.jbpt.petri.IPetriNet: Add transition to this net.
addTransitions(Collection<T>) - Method in class org.jbpt.petri.AbstractPetriNet
addTransitions(Collection<T>) - Method in interface org.jbpt.petri.IPetriNet: Add transitions to this net.
addUnboundedPlace(Place) - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
addUncoveredTransition(Transition) - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
ADEQUATE_ORDER - Variable in class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding
ADEQUATE_ORDER - Variable in class org.jbpt.petri.unfolding.CompletePrefixUnfoldingSetup: Use this adequate order when constructing the unfolding.
AdequateOrder<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.unfolding.order: Adequate order (abstract class).
AdequateOrder() - Constructor for class org.jbpt.petri.unfolding.order.AdequateOrder
AdequateOrderType - Enum in org.jbpt.petri.unfolding.order: Types of adequate orders for constructing branching processes supported by jBPT.
analyzeSoundness(NetSystem) - Static method in class org.jbpt.petri.behavior.LolaSoundnessChecker: Uses the LoLA service to check the soundness of the given PetriNet.
append(T) - Method in class org.jbpt.petri.AbstractRun
append(T) - Method in interface org.jbpt.petri.IRun: Append transition to this run.
append(T) - Method in class org.jbpt.petri.untangling.AbstractUntanglingRun
appendCondition(C) - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
appendCondition(C) - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Append condition to this branching process.
appendEvent(E) - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
appendEvent(E) - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Append event to this branching process.
appendEvent(E) - Method in class org.jbpt.petri.untangling.AbstractProcess: Append event to this process (ensures that no conflicts are introduced).
appendTransition(T) - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
appendTransition(T) - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Append a fresh event that corresponds to the given transition.
areCausal(BPN, BPN) - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
areCausal(E, E) - Method in class org.jbpt.petri.unfolding.AbstractOrderingRelationsGraph
areCausal(BPN, BPN) - Method in interface org.jbpt.petri.unfolding.IOrderingRelationsDescriptor: Check if two nodes of this branching process are in the causal relation.
areConcurrent(Node, Node) - Method in class org.jbpt.petri.behavior.ConcurrencyRelation: Returns whether there exists a state in which both nodes are enabled / marked concurrently.
areConcurrent(int, int) - Method in class org.jbpt.petri.behavior.ConcurrencyRelation: Returns whether there exists a state in which both nodes are enabled / marked concurrently.
areConcurrent(BPN, BPN) - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
areConcurrent(E, E) - Method in class org.jbpt.petri.unfolding.AbstractOrderingRelationsGraph
areConcurrent(BPN, BPN) - Method in interface org.jbpt.petri.unfolding.IOrderingRelationsDescriptor: Check if two nodes of this branching process are concurrent.
areInConflict(BPN, BPN) - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
areInConflict(E, E) - Method in class org.jbpt.petri.unfolding.AbstractOrderingRelationsGraph
areInConflict(BPN, BPN) - Method in interface org.jbpt.petri.unfolding.IOrderingRelationsDescriptor: Check if two nodes of this branching process are in conflict.
areInverseCausal(BPN, BPN) - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
areInverseCausal(E, E) - Method in class org.jbpt.petri.unfolding.AbstractOrderingRelationsGraph
areInverseCausal(BPN, BPN) - Method in interface org.jbpt.petri.unfolding.IOrderingRelationsDescriptor: Check if two nodes of this branching process are in the inverse causal relation.
areModeledAll(Set<String>) - Method in class org.jbpt.petri.querying.AbstractStructuralQuerying
areModeledAll(Set<String>) - Method in interface org.jbpt.petri.querying.IStructuralQuerying
areModeledAllExpanded(Set<Set<String>>) - Method in class org.jbpt.petri.querying.AbstractStructuralQuerying
areModeledAllExpanded(Set<Set<String>>) - Method in interface org.jbpt.petri.querying.IStructuralQuerying
areMutuallyConcurrent(Collection<C>) - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
areMutuallyConcurrent(Collection<C>) - Method in interface org.jbpt.petri.unfolding.IBranchingProcess
Automaton - Class in org.jbpt.automaton
Automaton() - Constructor for class org.jbpt.automaton.Automaton
Automaton(INetSystem<Flow, Node, Place, Transition, Marking>, int) - Constructor for class org.jbpt.automaton.Automaton
Automaton(INetSystem<Flow, Node, Place, Transition, Marking>) - Constructor for class org.jbpt.automaton.Automaton

B

BaselineRepresentativeUntangling - Class in org.jbpt.petri.untangling: An implementation of the baseline algorithm for computing representative untanglings of net systems (INetSystem).
BaselineRepresentativeUntangling(INetSystem<Flow, Node, Place, Transition, Marking>, UntanglingSetup) - Constructor for class org.jbpt.petri.untangling.BaselineRepresentativeUntangling
BaselineRepresentativeUntangling(INetSystem<Flow, Node, Place, Transition, Marking>) - Constructor for class org.jbpt.petri.untangling.BaselineRepresentativeUntangling
BPNode - Class in org.jbpt.petri.unfolding
BPNode() - Constructor for class org.jbpt.petri.unfolding.BPNode
BranchingProcess - Class in org.jbpt.petri.unfolding
BranchingProcess() - Constructor for class org.jbpt.petri.unfolding.BranchingProcess

C

ca - Variable in class org.jbpt.petri.unfolding.AbstractBranchingProcess
calculateConcurrencyMatrix() - Method in class org.jbpt.petri.behavior.ConcurrencyRelation: Calculates the concurrency relation using the algorithm by Kovalyov and Esparza (1996).
cannotOccurAll(Set<String>) - Method in class org.jbpt.petri.querying.AbstractUntanglingBasedBehavioralQuerying
cannotOccurAll(Set<String>) - Method in interface org.jbpt.petri.querying.IBehavioralQuerying
cannotOccurAllExpanded(Set<Set<String>>) - Method in class org.jbpt.petri.querying.AbstractUntanglingBasedBehavioralQuerying
cannotOccurAllExpanded(Set<Set<String>>) - Method in interface org.jbpt.petri.querying.IBehavioralQuerying
cannotOccurOne(Set<String>) - Method in class org.jbpt.petri.querying.AbstractUntanglingBasedBehavioralQuerying
cannotOccurOne(Set<String>) - Method in interface org.jbpt.petri.querying.IBehavioralQuerying
cannotOccurOneExpanded(Set<Set<String>>) - Method in class org.jbpt.petri.querying.AbstractUntanglingBasedBehavioralQuerying
cannotOccurOneExpanded(Set<Set<String>>) - Method in interface org.jbpt.petri.querying.IBehavioralQuerying
canOccurAll(Set<String>) - Method in class org.jbpt.petri.querying.AbstractUntanglingBasedBehavioralQuerying
canOccurAll(Set<String>) - Method in interface org.jbpt.petri.querying.IBehavioralQuerying: Check if there exists an occurrence sequence in the net system that for every label x in a given set of labels contains a transition labeled with x.
canOccurAllExpanded(Set<Set<String>>) - Method in class org.jbpt.petri.querying.AbstractUntanglingBasedBehavioralQuerying
canOccurAllExpanded(Set<Set<String>>) - Method in interface org.jbpt.petri.querying.IBehavioralQuerying
canOccurOne(Set<String>) - Method in class org.jbpt.petri.querying.AbstractUntanglingBasedBehavioralQuerying
canOccurOne(Set<String>) - Method in interface org.jbpt.petri.querying.IBehavioralQuerying
canOccurOneExpanded(Set<Set<String>>) - Method in class org.jbpt.petri.querying.AbstractUntanglingBasedBehavioralQuerying
canOccurOneExpanded(Set<Set<String>>) - Method in interface org.jbpt.petri.querying.IBehavioralQuerying
characters(char[], int, int) - Method in class org.jbpt.petri.io.PNMLSerializer
checkCutoffA(E) - Method in class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding
checkCutoffB(E, E) - Method in class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding
checkCutoffB(E, E) - Method in class org.jbpt.petri.unfolding.AbstractProperCompletePrefixUnfolding: Check healthy property
clear() - Method in class org.jbpt.petri.AbstractMarking
clear() - Method in class org.jbpt.petri.AbstractPetriNet
clear() - Method in class org.jbpt.petri.AbstractRun
clear() - Method in class org.jbpt.petri.behavior.SimpleStateSpace
clear() - Method in interface org.jbpt.petri.IMarking: Clear this marking.
clear() - Method in class org.jbpt.petri.io.PNMLSerializer: Clear the internal data structures of the parser
clear() - Method in interface org.jbpt.petri.IPetriNet: Clear this net.
clear() - Method in class org.jbpt.petri.untangling.AbstractUntanglingRun
clone() - Method in class org.jbpt.petri.AbstractMarking
clone() - Method in class org.jbpt.petri.AbstractNetSystem
clone(Map<N, N>) - Method in class org.jbpt.petri.AbstractNetSystem
clone() - Method in class org.jbpt.petri.AbstractPetriNet
clone(Map<N, N>) - Method in class org.jbpt.petri.AbstractPetriNet
clone() - Method in class org.jbpt.petri.AbstractRun
clone() - Method in interface org.jbpt.petri.IMarking: Clone this marking.
clone() - Method in interface org.jbpt.petri.INetSystem: Clone this net system.
clone(Map<N, N>) - Method in interface org.jbpt.petri.INetSystem: Clone this net system.
clone() - Method in interface org.jbpt.petri.INode: Clone this Petri net node.
clone() - Method in interface org.jbpt.petri.IPetriNet: Clone this Petri net.
clone(Map<N, N>) - Method in interface org.jbpt.petri.IPetriNet: Clone this Petri net.
clone() - Method in interface org.jbpt.petri.IPlace
clone() - Method in interface org.jbpt.petri.IRun: Clone this run.
clone() - Method in interface org.jbpt.petri.ITransition: Clone this transition.
clone() - Method in class org.jbpt.petri.Node
clone() - Method in class org.jbpt.petri.Place
clone() - Method in class org.jbpt.petri.Transition
clone() - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
clone() - Method in interface org.jbpt.petri.unfolding.IBranchingProcess
clone() - Method in class org.jbpt.petri.untangling.AbstractUntanglingRun
clone() - Method in interface org.jbpt.petri.untangling.IUntanglingRun
clone() - Method in class org.jbpt.petri.untangling.TreeStepIndex
co - Variable in class org.jbpt.petri.unfolding.AbstractBranchingProcess
compare(E, E) - Method in class org.jbpt.petri.unfolding.order.AbstractEventComparator
compareTransitions(T, T) - Method in class org.jbpt.petri.unfolding.AbstractLocalConfiguration
compareTransitions(T, T) - Method in interface org.jbpt.petri.unfolding.ILocalConfiguration
CompletePrefixUnfolding - Class in org.jbpt.petri.unfolding: An implementation of a complete prefix unfloding of a net system.
CompletePrefixUnfolding(INetSystem<Flow, Node, Place, Transition, Marking>) - Constructor for class org.jbpt.petri.unfolding.CompletePrefixUnfolding
CompletePrefixUnfolding(INetSystem<Flow, Node, Place, Transition, Marking>, CompletePrefixUnfoldingSetup) - Constructor for class org.jbpt.petri.unfolding.CompletePrefixUnfolding
CompletePrefixUnfoldingSetup - Class in org.jbpt.petri.unfolding: Setup for construction of a branching process of a net system.
CompletePrefixUnfoldingSetup() - Constructor for class org.jbpt.petri.unfolding.CompletePrefixUnfoldingSetup
Completion - Class in org.jbpt.petri.behavior: This class implements completion methods for multi-terminal nets described in: - Artem Polyvyanyy, Luciano García-Bañuelos, Marlon Dumas: Structuring acyclic process models.
Completion() - Constructor for class org.jbpt.petri.behavior.Completion
ConcurrencyRelation - Class in org.jbpt.petri.behavior: Captures the concurrency relation for the nodes of a given Petri net.
ConcurrencyRelation(NetSystem) - Constructor for class org.jbpt.petri.behavior.ConcurrencyRelation: Create a concurrency relation for a given Petri net.
Condition - Class in org.jbpt.petri.unfolding
Condition() - Constructor for class org.jbpt.petri.unfolding.Condition
Condition(Place, Event) - Constructor for class org.jbpt.petri.unfolding.Condition
conds - Variable in class org.jbpt.petri.unfolding.AbstractBranchingProcess
construct(INetSystem<F, N, P, T, M>, int) - Method in class org.jbpt.automaton.AbstractAutomaton
construct(INetSystem<F, N, P, T, M>, int) - Method in interface org.jbpt.automaton.IAutomaton
construct() - Method in class org.jbpt.petri.unfolding.AbstractLocalConfiguration
construct() - Method in interface org.jbpt.petri.unfolding.ILocalConfiguration
constructInitialBranchingProcess() - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
constructInitialBranchingProcess() - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Construct initial branching process (only if this branching process is empty).
constructProcesses() - Method in class org.jbpt.petri.untangling.AbstractReductionBasedRepresentativeUntangling
constructProcesses() - Method in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
constructRuns(INetSystem<F, N, P, T, M>) - Method in class org.jbpt.petri.untangling.AbstractBaselineRepresentativeUntangling
constructRuns(INetSystem<F, N, P, T, M>) - Method in class org.jbpt.petri.untangling.AbstractReductionBasedRepresentativeUntangling
constructRuns(INetSystem<F, N, P, T, M>) - Method in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling: Construct maximal repetition significant runs of a given net system.
constructSafe() - Method in class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding
containsPlaces(ICoSet<BPN, C, E, F, N, P, T, M>, Collection) - Method in class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding
copyTransitions(IRun<F, N, P, T, M>) - Method in class org.jbpt.petri.AbstractRun
CoSet - Class in org.jbpt.petri.unfolding
CoSet() - Constructor for class org.jbpt.petri.unfolding.CoSet
counter - Static variable in class org.jbpt.petri.io.WoflanSerializer
create() - Method in class org.jbpt.petri.behavior.ProjectedStateSpace
create() - Method in class org.jbpt.petri.behavior.SimpleStateSpace
createCondition(P, E) - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
createCondition(P, E) - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Factory method to provide a condition of the branching process implementation.
createCoSet() - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
createCoSet() - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Factory method to provide a co-set of the branching process implementation.
createCut() - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
createCut() - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Factory method to provide a cut of the branching process implementation.
createEvent(T, ICoSet<BPN, C, E, F, N, P, T, M>) - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
createEvent(T, ICoSet<BPN, C, E, F, N, P, T, M>) - Method in class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding
createEvent(T, ICoSet<BPN, C, E, F, N, P, T, M>) - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Factory method to provide an event of the branching process implementation.
createMarking(IPetriNet<F, N, P, T>) - Method in class org.jbpt.petri.AbstractMarking
createMarking() - Method in class org.jbpt.petri.AbstractNetSystem
createMarking(IPetriNet<F, N, P, T>) - Method in interface org.jbpt.petri.IMarking: Create fresh marking and associate it with a given net.
createMarking() - Method in interface org.jbpt.petri.INetSystem: Create a marking of this net system.
createPlace() - Method in class org.jbpt.petri.AbstractPetriNet
createPlace() - Method in interface org.jbpt.petri.IPetriNet: Factory method to provide a place of the Petri net implementation.
createProcess(INetSystem<F, N, P, T, M>) - Method in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
createRun(INetSystem<F, N, P, T, M>) - Method in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
createStep(IPetriNet<F, N, P, T>, M, T, M) - Method in class org.jbpt.petri.AbstractRun
createStep(IPetriNet<F, N, P, T>, M, T) - Method in class org.jbpt.petri.AbstractRun
createTransition() - Method in class org.jbpt.petri.AbstractPetriNet
createTransition() - Method in interface org.jbpt.petri.IPetriNet: Factory method to provide a transition of the Petri net implementation.
createUntanglingRun(INetSystem<F, N, P, T, M>) - Method in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
createUpToNumberOfMarkings(int) - Method in class org.jbpt.petri.behavior.ProjectedStateSpace
createUpToNumberOfMarkings(int) - Method in class org.jbpt.petri.behavior.SimpleStateSpace
currentMarking - Variable in class org.jbpt.petri.AbstractRun
Cut - Class in org.jbpt.petri.unfolding
Cut() - Constructor for class org.jbpt.petri.unfolding.Cut
cutoff2corr - Variable in class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding
cyclic - Variable in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling

D

DEFAULT - Static variable in class org.jbpt.petri.io.PNMLSerializer
DIRECTED_GRAPH_ALGORITHMS - Static variable in class org.jbpt.petri.PetriNet

E

enabled - Variable in class org.jbpt.petri.behavior.ProjectedStateSpace
enabled - Variable in class org.jbpt.petri.behavior.SimpleStateSpace
endElement(String, String, String) - Method in class org.jbpt.petri.io.PNMLSerializer
entrySet() - Method in class org.jbpt.petri.AbstractMarking: Returns set of pairs where every pair specifies a marked place of the associated net and the number of tokens at the place.
equals(Object) - Method in class org.jbpt.petri.AbstractMarking
equals(Object) - Method in class org.jbpt.petri.AbstractStep
equals(ConcurrencyRelation) - Method in class org.jbpt.petri.behavior.ConcurrencyRelation: Checks equality for two true concurrency matrices Returns false, if both matrices are not based on the same Petri net.
equals(Object) - Method in class org.jbpt.petri.unfolding.AbstractCondition
equals(Object) - Method in class org.jbpt.petri.unfolding.AbstractEvent
equals(Object) - Method in class org.jbpt.petri.untangling.TreeStep
error(SAXParseException) - Method in class org.jbpt.petri.io.PNMLSerializer: Called, if an error occurs while XML-Doc is parsed.
EsparzaAdequateOrderForArbitrarySystems<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.unfolding.order: Esparza adequate order for arbitrary systems.

This adequate order is described in:
Javier Esparza, Stefan Roemer, Walter Vogler: An Improvement of McMillan's Unfolding Algorithm.
EsparzaAdequateOrderForArbitrarySystems() - Constructor for class org.jbpt.petri.unfolding.order.EsparzaAdequateOrderForArbitrarySystems
EsparzaAdequateTotalOrderForSafeSystems<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.unfolding.order: Esparza adequate order for 1-safe systems (a total order).
EsparzaAdequateTotalOrderForSafeSystems() - Constructor for class org.jbpt.petri.unfolding.order.EsparzaAdequateTotalOrderForSafeSystems
Event - Class in org.jbpt.petri.unfolding
Event() - Constructor for class org.jbpt.petri.unfolding.Event
Event(ICompletePrefixUnfolding<BPNode, Condition, Event, Flow, Node, Place, Transition, Marking>, Transition, ICoSet<BPNode, Condition, Event, Flow, Node, Place, Transition, Marking>) - Constructor for class org.jbpt.petri.unfolding.Event
events - Variable in class org.jbpt.petri.unfolding.AbstractBranchingProcess

F

fire(T) - Method in class org.jbpt.petri.AbstractMarking
fire(T) - Method in class org.jbpt.petri.AbstractNetSystem
fire(T) - Method in interface org.jbpt.petri.IMarking: Fire a transition.
fire(T) - Method in interface org.jbpt.petri.INetSystem: Fire a transition in this net system.
fire(T) - Method in class org.jbpt.petri.untangling.pss.AbstractProcessSetSystem
fire(T) - Method in class org.jbpt.petri.untangling.pss.AbstractProcessSystem
fire(T) - Method in interface org.jbpt.petri.untangling.pss.IProcessSetSystem
fire(T) - Method in interface org.jbpt.petri.untangling.pss.IProcessSystem: Fire a given transition, i.e., trigger an occurrence of a given transition.
fireTransition(M, Set<T>, T) - Method in class org.jbpt.petri.behavior.ProjectedStateSpace
Flow - Class in org.jbpt.petri
Flow(AbstractDirectedGraph<?, Node>, Node, Node) - Constructor for class org.jbpt.petri.Flow
formatId(String) - Static method in class org.jbpt.petri.io.WoflanSerializer
fromMultiSet(Collection) - Method in class org.jbpt.petri.AbstractMarking
fromMultiSet(Collection) - Method in interface org.jbpt.petri.IMarking: Construct this marking from the given multi-set of places.

G

get(P) - Method in class org.jbpt.petri.AbstractMarking
get(Object) - Method in class org.jbpt.petri.AbstractMarking: Get number of tokens at a place.
get(P) - Method in interface org.jbpt.petri.IMarking: Get number of tokens at a place.
getCausalPredecessors(BPN) - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
getCausalPredecessors(BPN) - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Get causal predecessors of a given node of this branching process.
getCommand() - Method in class org.jbpt.petri.AbstractStep
getCommand() - Method in interface org.jbpt.petri.ICommand
getCompletePrefixUnfolding() - Method in class org.jbpt.petri.unfolding.AbstractOccurrenceNet
getCompletePrefixUnfolding() - Method in interface org.jbpt.petri.unfolding.IOccurrenceNet
getCondition(P) - Method in class org.jbpt.petri.unfolding.AbstractOccurrenceNet
getCondition(P) - Method in interface org.jbpt.petri.unfolding.IOccurrenceNet
getConditions() - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
getConditions(P) - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
getConditions(P) - Method in class org.jbpt.petri.unfolding.AbstractCoSet
getConditions() - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Get conditions of this branching process.
getConditions(P) - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Get conditions of this branching process that correspond to a given place in the originative net system.
getConditions(P) - Method in interface org.jbpt.petri.unfolding.ICoSet
getCorrespondingEvent(E) - Method in class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding
getCorrespondingEvent(T) - Method in class org.jbpt.petri.unfolding.AbstractOccurrenceNet
getCorrespondingEvent(E) - Method in interface org.jbpt.petri.unfolding.ICompletePrefixUnfolding: Get a corresponding event of a given cutoff event.
getCorrespondingEvent(T) - Method in interface org.jbpt.petri.unfolding.IOccurrenceNet
getCut() - Method in class org.jbpt.petri.unfolding.AbstractLocalConfiguration
getCut() - Method in interface org.jbpt.petri.unfolding.ILocalConfiguration
getCutInducedByLocalConfiguration(T) - Method in class org.jbpt.petri.unfolding.AbstractOccurrenceNet
getCutInducedByLocalConfiguration(T) - Method in interface org.jbpt.petri.unfolding.IOccurrenceNet
getCutoffEvents() - Method in class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding
getCutoffEvents() - Method in class org.jbpt.petri.unfolding.AbstractOccurrenceNet
getCutoffEvents() - Method in interface org.jbpt.petri.unfolding.ICompletePrefixUnfolding: Get cutoff events of this complete prefix unfolding.
getCutoffEvents() - Method in interface org.jbpt.petri.unfolding.IOccurrenceNet
getCuts(Collection) - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
getCuts(Collection) - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Get cuts of this branching process that refer to the provided collection of places.
getDeadTransitions() - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
getEnabledTransitions() - Method in class org.jbpt.petri.AbstractNetSystem
getEnabledTransitions(Set<T>, T) - Method in class org.jbpt.petri.AbstractNetSystem
getEnabledTransitions() - Method in interface org.jbpt.petri.INetSystem: Get enabled transitions of this net system.
getEnabledTransitions(Set<T>, T) - Method in interface org.jbpt.petri.INetSystem: Get enabled transitions of this net system more efficiently by providing details on last step in terms of previously enabled transitions and the one last fired.
getEnabledTransitions() - Method in class org.jbpt.petri.untangling.pss.AbstractProcessSetSystem
getEnabledTransitions() - Method in class org.jbpt.petri.untangling.pss.AbstractProcessSystem
getEnabledTransitions() - Method in interface org.jbpt.petri.untangling.pss.IProcessSetSystem: Get a set of enabled transitions.
getEnabledTransitions() - Method in interface org.jbpt.petri.untangling.pss.IProcessSystem: Get enabled transitions of this process system.
getEnabledTransitionsAtMarking(M) - Method in class org.jbpt.petri.AbstractNetSystem
getEnabledTransitionsAtMarking(M) - Method in interface org.jbpt.petri.INetSystem: Get enabled transitions of this net system at a given marking
getEvent(T) - Method in class org.jbpt.petri.unfolding.AbstractOccurrenceNet
getEvent(T) - Method in interface org.jbpt.petri.unfolding.IOccurrenceNet
getEvents() - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
getEvents(T) - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
getEvents() - Method in class org.jbpt.petri.unfolding.AbstractOrderingRelationsGraph
getEvents() - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Get events of this branching process.
getEvents(T) - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Get events of this branching process that correspond to a given transition in the originative net system.
getEvents() - Method in interface org.jbpt.petri.unfolding.IOrderingRelationsGraph
getFlow() - Method in class org.jbpt.petri.AbstractPetriNet
getFlow() - Method in interface org.jbpt.petri.IPetriNet: Get flow relation of this net.
getFoataNormalForm() - Method in class org.jbpt.petri.unfolding.AbstractLocalConfiguration
getFoataNormalForm() - Method in interface org.jbpt.petri.unfolding.ILocalConfiguration
getId() - Static method in class org.jbpt.petri.io.WoflanSerializer
getInitialCut() - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
getInitialCut() - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Get initial cut of this branching process, i.e., the set of condition without input events.
getInitialPossibleExtensions() - Method in class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding: Construct unfolding.
getInputMarking() - Method in class org.jbpt.petri.AbstractStep
getInputMarking() - Method in interface org.jbpt.petri.ICommand
getInputMarking() - Method in class org.jbpt.petri.untangling.TreeStep
getLabel() - Method in class org.jbpt.automaton.AbstractState
getLabel() - Method in class org.jbpt.petri.AbstractStep
getLabel() - Method in interface org.jbpt.petri.INode: Get label of this node.
getLabel() - Method in class org.jbpt.petri.Node
getLabel() - Method in class org.jbpt.petri.unfolding.AbstractBPNode
getLocalConfiguration() - Method in class org.jbpt.petri.unfolding.AbstractEvent
getLocalConfiguration() - Method in interface org.jbpt.petri.unfolding.IEvent
getLog() - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
getLog() - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Get log of events which was used to construct this branching process.
getLoopOrientationType(IRPSTNode<F, N>) - Method in class org.jbpt.petri.wftree.AbstractWFTree
getLoopOrientationType(IRPSTNode<F, N>) - Method in interface org.jbpt.petri.wftree.IWFTree: Get loop orientation type of a WF-tree node.

Loop orientation type is defined if parent of the given node is of type loop.

WFTreeLoopOrientationType.FORWAD if entry of the given node is equal to the entry of the parent loop node.
WFTreeLoopOrientationType.BACKWARD if if entry of the given node is equal to the exit of the parent loop node.
getMarkedPlaces() - Method in class org.jbpt.petri.AbstractNetSystem
getMarkedPlaces() - Method in interface org.jbpt.petri.INetSystem: Get marked places of this net system.
getMarking() - Method in class org.jbpt.automaton.AbstractState
getMarking() - Method in interface org.jbpt.automaton.IState: Get marking associated with this state.
getMarking() - Method in class org.jbpt.petri.AbstractNetSystem
getMarking() - Method in interface org.jbpt.petri.INetSystem: Get marking of this net system.
getMarking() - Method in class org.jbpt.petri.unfolding.AbstractLocalConfiguration
getMarking() - Method in interface org.jbpt.petri.unfolding.ILocalConfiguration
getMarking() - Method in class org.jbpt.petri.untangling.pss.AbstractProcessSetSystem
getMarking() - Method in class org.jbpt.petri.untangling.pss.AbstractProcessSystem
getMarking() - Method in interface org.jbpt.petri.untangling.pss.IProcessSetSystem: Get marking.
getMarking() - Method in interface org.jbpt.petri.untangling.pss.IProcessSystem: Get marking of this process system.
getMax() - Method in class org.jbpt.petri.AbstractPetriNet
getMax() - Method in interface org.jbpt.petri.IPetriNet: Get maximal nodes of this net (alias of getSinkNodes).
getMax() - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
getMax() - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Get maximum, i.e., conditions without output events, of this branching process.
getMaximalSignificantRuns() - Method in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
getMin() - Method in class org.jbpt.petri.AbstractPetriNet
getMin() - Method in interface org.jbpt.petri.IPetriNet: Get minimal nodes of this net (alias of getSourceNodes).
getMin() - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
getMin() - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Get minimum, i.e., conditions without input events, of this branching process.
getMinimal() - Method in class org.jbpt.petri.unfolding.AbstractPossibleExtensions
getMinimal() - Method in interface org.jbpt.petri.unfolding.IPossibleExtensions
getName() - Method in class org.jbpt.petri.unfolding.AbstractCondition
getName() - Method in class org.jbpt.petri.unfolding.AbstractEvent
getNet() - Method in class org.jbpt.petri.behavior.ConcurrencyRelation: Get the Petri net.
getNetSystem() - Method in class org.jbpt.automaton.AbstractAutomaton
getNetSystem() - Method in interface org.jbpt.automaton.IAutomaton
getNetSystem() - Method in class org.jbpt.petri.querying.AbstractStructuralQuerying
getNetSystem() - Method in class org.jbpt.petri.untangling.pss.AbstractProcessSetSystem
getNetSystem() - Method in class org.jbpt.petri.untangling.pss.AbstractProcessSystem
getNetSystem() - Method in interface org.jbpt.petri.untangling.pss.IProcessSetSystem
getNetSystem() - Method in interface org.jbpt.petri.untangling.pss.IProcessSystem: Get net system.
getNodes() - Method in class org.jbpt.petri.AbstractPetriNet
getNodes() - Method in interface org.jbpt.petri.IPetriNet: Get nodes of this net.
getNumberOfMarkings() - Method in class org.jbpt.petri.behavior.ProjectedStateSpace
getNumberOfMarkings() - Method in class org.jbpt.petri.behavior.SimpleStateSpace
getNumberOfSignificantRuns() - Method in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
getObservableTransitions() - Method in class org.jbpt.petri.AbstractPetriNet
getObservableTransitions() - Method in interface org.jbpt.petri.IPetriNet: Get observable transitions of this net.
getOccurrenceNet() - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
getOccurrenceNet() - Method in class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding
getOccurrenceNet() - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Get occurrence net.
getOrderingRelation(BPN, BPN) - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
getOrderingRelation(N, N) - Method in class org.jbpt.petri.unfolding.AbstractOccurrenceNet
getOrderingRelation(E, E) - Method in class org.jbpt.petri.unfolding.AbstractOrderingRelationsGraph
getOrderingRelation(N, N) - Method in interface org.jbpt.petri.unfolding.IOccurrenceNet
getOrderingRelation(BPN, BPN) - Method in interface org.jbpt.petri.unfolding.IOrderingRelationsDescriptor: Get ordering relation between two nodes of this branching process.
getOriginativeNetSystem() - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
getOriginativeNetSystem() - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Get originative net system of this branching process.
getOutputMarking() - Method in class org.jbpt.petri.AbstractStep
getOutputMarking() - Method in interface org.jbpt.petri.ICommand
getOutputMarking() - Method in class org.jbpt.petri.untangling.TreeStep
getParent() - Method in class org.jbpt.petri.untangling.TreeStep
getPetriNet() - Method in class org.jbpt.petri.AbstractMarking
getPetriNet() - Method in class org.jbpt.petri.AbstractStep
getPetriNet() - Method in interface org.jbpt.petri.ICommand
getPetriNet() - Method in interface org.jbpt.petri.IMarking: Get Petri net which this marking is associated with.
getPetriNetNode() - Method in class org.jbpt.petri.unfolding.AbstractCondition
getPetriNetNode() - Method in class org.jbpt.petri.unfolding.AbstractEvent
getPetriNetNode() - Method in interface org.jbpt.petri.unfolding.IBPNode: Get a Petri net node associated with this node of a branching process.
getPlace() - Method in class org.jbpt.petri.unfolding.AbstractCondition
getPlace(C) - Method in class org.jbpt.petri.unfolding.AbstractOccurrenceNet
getPlace() - Method in interface org.jbpt.petri.unfolding.ICondition: Get the place in the originative net system which this condition represents.
getPlace(C) - Method in interface org.jbpt.petri.unfolding.IOccurrenceNet
getPlaces() - Method in class org.jbpt.petri.AbstractPetriNet
getPlaces() - Method in interface org.jbpt.petri.IPetriNet: Get places of this net.
getPlaces(Collection<C>) - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
getPlaces() - Method in class org.jbpt.petri.unfolding.AbstractCoSet
getPlaces(Collection<C>) - Method in class org.jbpt.petri.unfolding.AbstractOccurrenceNet
getPlaces(Collection<C>) - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Get places of the originative net system that are associated with the given conditions.
getPlaces() - Method in interface org.jbpt.petri.unfolding.ICoSet
getPlaces(Collection<C>) - Method in interface org.jbpt.petri.unfolding.IOccurrenceNet
getPosition() - Method in class org.jbpt.petri.untangling.TreeStep
getPossibleExtensions() - Method in class org.jbpt.petri.AbstractRun
getPossibleExtensions() - Method in interface org.jbpt.petri.IRun: Get transitions that can fire and extend this run.
getPossibleExtensions() - Method in class org.jbpt.petri.untangling.TreeStep
getPostConditions() - Method in class org.jbpt.petri.unfolding.AbstractEvent
getPostConditions() - Method in interface org.jbpt.petri.unfolding.IEvent: Get post conditions of this event.
getPostset(T) - Method in class org.jbpt.petri.AbstractPetriNet
getPostset(P) - Method in class org.jbpt.petri.AbstractPetriNet
getPostset(N) - Method in class org.jbpt.petri.AbstractPetriNet
getPostset(Collection<N>) - Method in class org.jbpt.petri.AbstractPetriNet
getPostset(T) - Method in interface org.jbpt.petri.IPetriNet: Get postset of a given transition.
getPostset(P) - Method in interface org.jbpt.petri.IPetriNet: Get postset of a given place
getPostset(N) - Method in interface org.jbpt.petri.IPetriNet: Get postset of a given node.
getPostset(Collection<N>) - Method in interface org.jbpt.petri.IPetriNet: Get postset of given nodes.
getPostsetPlaces(Collection<T>) - Method in class org.jbpt.petri.AbstractPetriNet
getPostsetPlaces(Collection<T>) - Method in interface org.jbpt.petri.IPetriNet: Get postset of given transitions.
getPostsetTransitions(Collection) - Method in class org.jbpt.petri.AbstractPetriNet
getPostsetTransitions(Collection) - Method in interface org.jbpt.petri.IPetriNet: Get postset of given places.
getPreConditions() - Method in class org.jbpt.petri.unfolding.AbstractEvent
getPreConditions() - Method in interface org.jbpt.petri.unfolding.IEvent: Get preconditions of this event.
getPreEvent() - Method in class org.jbpt.petri.unfolding.AbstractCondition
getPreEvent() - Method in interface org.jbpt.petri.unfolding.ICondition: Get the event in the preset of this condition.
getPreset(T) - Method in class org.jbpt.petri.AbstractPetriNet
getPreset(P) - Method in class org.jbpt.petri.AbstractPetriNet
getPreset(N) - Method in class org.jbpt.petri.AbstractPetriNet
getPreset(Collection<N>) - Method in class org.jbpt.petri.AbstractPetriNet
getPreset(T) - Method in interface org.jbpt.petri.IPetriNet: Get preset of a given transition.
getPreset(P) - Method in interface org.jbpt.petri.IPetriNet: Get preset of a given place.
getPreset(N) - Method in interface org.jbpt.petri.IPetriNet: Get preset of a given node.
getPreset(Collection<N>) - Method in interface org.jbpt.petri.IPetriNet: Get preset of the given nodes.
getPresetPlaces(Collection<T>) - Method in class org.jbpt.petri.AbstractPetriNet
getPresetPlaces(Collection<T>) - Method in interface org.jbpt.petri.IPetriNet: Get preset of given transitions.
getPresetTransitions(Collection) - Method in class org.jbpt.petri.AbstractPetriNet
getPresetTransitions(Collection) - Method in interface org.jbpt.petri.IPetriNet: Get preset of given places.
getProcess() - Method in class org.jbpt.petri.untangling.pss.AbstractProcessSystem
getProcess() - Method in interface org.jbpt.petri.untangling.pss.IProcessSystem: Get process.
getProcesses() - Method in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
getProcessSystems() - Method in class org.jbpt.petri.untangling.pss.AbstractProcessSetSystem
getProcessSystems() - Method in interface org.jbpt.petri.untangling.pss.IProcessSetSystem
getQuasiParikhVector() - Method in class org.jbpt.petri.unfolding.AbstractLocalConfiguration
getQuasiParikhVector(Collection<E>) - Method in class org.jbpt.petri.unfolding.AbstractLocalConfiguration
getQuasiParikhVector() - Method in interface org.jbpt.petri.unfolding.ILocalConfiguration
getQuasiParikhVector(Collection<E>) - Method in interface org.jbpt.petri.unfolding.ILocalConfiguration
getReducedNetSystem() - Method in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
getReducedProcesses() - Method in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
getRefinedBondType(IRPSTNode<F, N>) - Method in class org.jbpt.petri.wftree.AbstractWFTree
getRefinedBondType(IRPSTNode<F, N>) - Method in interface org.jbpt.petri.wftree.IWFTree: Get refined type of a WF-tree bond node.

WFTreeBondType.TRANSITION_BORDERED if entry and exit are transitions.
WFTreeBondType.PLACE_BORDERED if entry and exit are places.
WFTreeBondType.LOOP if entry and exit are places and entry of some child is an exit of another child.
WFTreeBondType.UNDEFINED none of the above.
getRPSTNodes(WFTreeBondType) - Method in class org.jbpt.petri.wftree.AbstractWFTree
getRPSTNodes(WFTreeBondType) - Method in interface org.jbpt.petri.wftree.IWFTree: Get RPST nodes of a given WFTreeBondType type.
getSilentTransitions() - Method in class org.jbpt.petri.AbstractPetriNet
getSilentTransitions() - Method in interface org.jbpt.petri.IPetriNet: Get silent transitions of this net.
getSinkNodes() - Method in class org.jbpt.petri.AbstractPetriNet
getSinkNodes() - Method in interface org.jbpt.petri.IPetriNet: Get sink nodes of this net.
getSinkNodes() - Method in class org.jbpt.petri.unfolding.AbstractOccurrenceNet
getSinkNodes() - Method in class org.jbpt.petri.unfolding.OccurrenceNet
getSinkPlaces() - Method in class org.jbpt.petri.AbstractPetriNet
getSinkPlaces() - Method in interface org.jbpt.petri.IPetriNet: Get sink places of this net.
getSinkTransitions() - Method in class org.jbpt.petri.AbstractPetriNet
getSinkTransitions() - Method in interface org.jbpt.petri.IPetriNet: Get sink transitions of this net.
getSourceNodes() - Method in class org.jbpt.petri.AbstractPetriNet
getSourceNodes() - Method in interface org.jbpt.petri.IPetriNet: Get source nodes of this net.
getSourceNodes() - Method in class org.jbpt.petri.unfolding.AbstractOccurrenceNet
getSourceNodes() - Method in class org.jbpt.petri.unfolding.OccurrenceNet
getSourcePlaces() - Method in class org.jbpt.petri.AbstractPetriNet
getSourcePlaces() - Method in interface org.jbpt.petri.IPetriNet: Get source places of this net.
getSourceTransitions() - Method in class org.jbpt.petri.AbstractPetriNet
getSourceTransitions() - Method in interface org.jbpt.petri.IPetriNet: Get source transitions of this net.
getStartState() - Method in class org.jbpt.automaton.AbstractAutomaton
getStartState() - Method in interface org.jbpt.automaton.IAutomaton
getStates() - Method in class org.jbpt.automaton.AbstractAutomaton
getStates() - Method in interface org.jbpt.automaton.IAutomaton
getStateTransitions() - Method in class org.jbpt.automaton.AbstractAutomaton
getStateTransitions() - Method in interface org.jbpt.automaton.IAutomaton
getSymbol() - Method in class org.jbpt.automaton.AbstractStateTransition
getSymbol() - Method in interface org.jbpt.automaton.IStateTransition
getTime() - Method in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
getTokens(P) - Method in class org.jbpt.petri.AbstractNetSystem
getTokens(P) - Method in interface org.jbpt.petri.INetSystem: Get number of tokens at a place.
getTotalOrderOfTransitions() - Method in class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding
getTotalOrderOfTransitions() - Method in interface org.jbpt.petri.unfolding.ICompletePrefixUnfolding: Get total order of transitions used to construct this complete prefix unfolding.
getTransition() - Method in class org.jbpt.automaton.AbstractStateTransition
getTransition() - Method in interface org.jbpt.automaton.IStateTransition
getTransition() - Method in class org.jbpt.petri.AbstractStep
getTransition() - Method in interface org.jbpt.petri.IStep
getTransition() - Method in class org.jbpt.petri.unfolding.AbstractEvent
getTransition(E) - Method in class org.jbpt.petri.unfolding.AbstractOccurrenceNet
getTransition() - Method in interface org.jbpt.petri.unfolding.IEvent: Get the transition that corresponds to this event.
getTransition(E) - Method in interface org.jbpt.petri.unfolding.IOccurrenceNet
getTransition() - Method in class org.jbpt.petri.untangling.TreeStep
getTransitions() - Method in class org.jbpt.petri.AbstractPetriNet
getTransitions() - Method in interface org.jbpt.petri.IPetriNet: Get transitions of this net.
getTransitions(Collection<E>) - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
getTransitions(Collection<E>) - Method in class org.jbpt.petri.unfolding.AbstractOccurrenceNet
getTransitions(Collection<E>) - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Get transitions of the originative net system that are associated with the given events.
getTransitions(Collection<E>) - Method in interface org.jbpt.petri.unfolding.IOccurrenceNet
getUnboundedPlaces() - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
getUncoveredTransitions() - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
getUnfoldingNode(N) - Method in class org.jbpt.petri.unfolding.AbstractOccurrenceNet
getUnfoldingNode(N) - Method in interface org.jbpt.petri.unfolding.IOccurrenceNet

H

hashCode() - Method in class org.jbpt.automaton.AbstractStateTransition
hashCode() - Method in class org.jbpt.petri.AbstractMarking
hashCode() - Method in class org.jbpt.petri.AbstractStep
hashCode() - Method in class org.jbpt.petri.unfolding.AbstractCondition
hashCode() - Method in class org.jbpt.petri.unfolding.AbstractCoSet
hashCode() - Method in class org.jbpt.petri.unfolding.AbstractEvent
hashCode() - Method in class org.jbpt.petri.untangling.TreeStep
hasLiveness() - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
hasQuasiLiveness() - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
hasTransitioncover() - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult

I

IAdequateOrder<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.petri.unfolding.order: Interface to an adequate order on local configurations.
IAutomaton<ST extends IStateTransition<S,F,N,P,T,M>,S extends IState<F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.automaton
IBehavioralQuerying<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.petri.querying
IBPNode<N extends INode> - Interface in org.jbpt.petri.unfolding: Interface to a node of a branching process.
IBranchingProcess<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.petri.unfolding: An interface to a Branching Process of a net system (INetSystem).
ICommand<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.petri: Interface to a state change.
ICompletePrefixUnfolding<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.petri.unfolding: Interface to a complete prefix unfolding.
ICondition<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.petri.unfolding: Interface to a condition of a branching process.
ICoSet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.petri.unfolding
ICut<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.petri.unfolding
ID - Variable in class org.jbpt.petri.unfolding.AbstractBPNode
IEvent<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.petri.unfolding: Interface to an event of a branching process.
IFlow<N extends INode> - Interface in org.jbpt.petri: Interface to a flow relation of a Petri net.
ILocalConfiguration<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.petri.unfolding
IMarking<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition> - Interface in org.jbpt.petri: Interface to a Petri net marking.
INetSystem<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.petri
iniBP - Variable in class org.jbpt.petri.unfolding.AbstractBranchingProcess
initialize() - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
initialMarking - Variable in class org.jbpt.petri.AbstractRun
INode - Interface in org.jbpt.petri: Interface to a Petri net node.
inputMarking - Variable in class org.jbpt.petri.AbstractStep
IOccurrenceNet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.petri.unfolding
IOrderingRelationsDescriptor<BPN extends IBPNode<N>,N extends INode> - Interface in org.jbpt.petri.unfolding
IOrderingRelationsGraph<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.petri.unfolding
IPetriNet<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition> - Interface in org.jbpt.petri: Interface to a Petri net.
IPlace - Interface in org.jbpt.petri: Petri net place interface.
IPossibleExtensions<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.petri.unfolding
IProcess<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.petri.untangling: An interface to a Process of a net system (INetSystem).
IProcessSetSystem<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.petri.untangling.pss: An interface to a Process Set System.
IProcessSystem<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.petri.untangling.pss: An interface to a Process System.
IRun<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.petri: Interface to a run (occurrence sequence) of an (INetSystem).
isBounded(int) - Method in class org.jbpt.petri.AbstractMarking
isBounded() - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
isBounded(int) - Method in interface org.jbpt.petri.IMarking: Check if this marking is n-bounded, i.e., there are at most n tokens at every place.
isClassicalSound() - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
isComplete() - Method in class org.jbpt.automaton.AbstractAutomaton
isComplete() - Method in interface org.jbpt.automaton.IAutomaton
isCondition() - Method in class org.jbpt.petri.unfolding.AbstractCondition
isCondition() - Method in class org.jbpt.petri.unfolding.AbstractEvent
isCondition() - Method in interface org.jbpt.petri.unfolding.IBPNode: Check if this node is condition.
isConflictFree(IPetriNet<F, N, P, T>) - Method in class org.jbpt.petri.structure.PetriNetStructuralChecks: Check if a net is a conflict-free net.
isConflictFree() - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
isConflictFree() - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Check if this branching process is conflict free.
isConflictFree() - Method in class org.jbpt.petri.untangling.AbstractProcess: Check if this process is conflict free.
isCut(Collection<C>) - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
isCut(Collection<C>) - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Check if a given collection of conditions is a cut in this branching process.
isCutoffEvent(E) - Method in class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding
isCutoffEvent(T) - Method in class org.jbpt.petri.unfolding.AbstractOccurrenceNet
isCutoffEvent(E) - Method in interface org.jbpt.petri.unfolding.ICompletePrefixUnfolding: Check if a given event is a cutoff event in this complete prefix unfolding.
isCutoffEvent(T) - Method in interface org.jbpt.petri.unfolding.IOccurrenceNet
isDeadlockFree() - Method in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
isEmpty() - Method in class org.jbpt.petri.AbstractMarking
isEmpty() - Method in interface org.jbpt.petri.IMarking: Returns true if this marking does not mark any place.
isEnabled(T) - Method in class org.jbpt.petri.AbstractNetSystem
isEnabled(T) - Method in interface org.jbpt.petri.INetSystem: Check if a given transition is enabled.
isEvent() - Method in class org.jbpt.petri.unfolding.AbstractCondition
isEvent() - Method in class org.jbpt.petri.unfolding.AbstractEvent
isEvent() - Method in interface org.jbpt.petri.unfolding.IBPNode: Check if this node is event.
isExtendedFreeChoice(IPetriNet<F, N, P, T>) - Method in class org.jbpt.petri.structure.PetriNetStructuralChecks: Check if a given Petri net is extended free-choice.
isFreeChoice(IPetriNet<F, N, P, T>) - Method in class org.jbpt.petri.structure.PetriNetStructuralChecks: Check if a given Petri net is free-choice.
isHealthyCutoffEvent(E) - Method in class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding
isHealthyCutoffEvent(E) - Method in interface org.jbpt.petri.unfolding.ICompletePrefixUnfolding
isMarked(P) - Method in class org.jbpt.petri.AbstractMarking
isMarked(P) - Method in class org.jbpt.petri.AbstractNetSystem
isMarked(P) - Method in interface org.jbpt.petri.IMarking: Check if place is marked, i.e., contains at least one token.
isMarked(P) - Method in interface org.jbpt.petri.INetSystem: Check if a given place is marked, i.e., contains at least one token.
isModeledOne(Set<String>) - Method in class org.jbpt.petri.querying.AbstractStructuralQuerying
isModeledOne(Set<String>) - Method in interface org.jbpt.petri.querying.IStructuralQuerying
isNonSinkDeadlockFree() - Method in class org.jbpt.petri.untangling.AbstractReductionBasedRepresentativeUntangling
isNonSinkDeadlockFree() - Method in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
isObservable() - Method in class org.jbpt.automaton.AbstractStateTransition
isObservable() - Method in interface org.jbpt.automaton.IStateTransition
isObservable() - Method in interface org.jbpt.petri.ITransition: Check if this transition is observable.
isObservable() - Method in class org.jbpt.petri.Transition
isolateTransitions(IPetriNet<F, N, P, T>) - Method in class org.jbpt.petri.structure.PetriNetTransformations
ISOMORPHISM_REDUCTION - Variable in class org.jbpt.petri.untangling.UntanglingSetup: Reduce isomorphic processes.
isProper() - Method in class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding
isProper() - Method in interface org.jbpt.petri.unfolding.ICompletePrefixUnfolding
isReachable(M) - Method in class org.jbpt.automaton.AbstractAutomaton
isReachable(M, M) - Method in class org.jbpt.automaton.AbstractAutomaton
isReachable(M) - Method in interface org.jbpt.automaton.IAutomaton
isReachable(M, M) - Method in interface org.jbpt.automaton.IAutomaton
isRelaxedSound() - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
isSafe() - Method in class org.jbpt.petri.AbstractMarking
isSafe() - Method in interface org.jbpt.petri.IMarking: Check if this marking is safe, i.e., there is at most one token at every place.
isSafe() - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
isSafe() - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Check if this branching process is safe.
isSafe() - Method in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
isSafe() - Method in class org.jbpt.petri.untangling.TreeStep
isSignificant(IRun<F, N, P, T, M>) - Method in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling: Check if a run of a net system is significant.
isSignificant() - Method in class org.jbpt.petri.untangling.AbstractUntanglingRun
isSignificant() - Method in interface org.jbpt.petri.untangling.IUntanglingRun
isSignificant() - Method in class org.jbpt.petri.untangling.TreeStep
isSignificant() - Method in class org.jbpt.petri.untangling.TreeStepIndex
isSignificantCubic(IRun<F, N, P, T, M>) - Method in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
isSilent() - Method in class org.jbpt.automaton.AbstractStateTransition
isSilent() - Method in interface org.jbpt.automaton.IStateTransition
isSilent() - Method in interface org.jbpt.petri.ITransition: Check if this transition is silent.
isSilent() - Method in class org.jbpt.petri.Transition
isSmaller(ILocalConfiguration<BPN, C, E, F, N, P, T, M>, ILocalConfiguration<BPN, C, E, F, N, P, T, M>) - Method in class org.jbpt.petri.unfolding.order.EsparzaAdequateOrderForArbitrarySystems
isSmaller(ILocalConfiguration<BPN, C, E, F, N, P, T, M>, ILocalConfiguration<BPN, C, E, F, N, P, T, M>) - Method in class org.jbpt.petri.unfolding.order.EsparzaAdequateTotalOrderForSafeSystems
isSmaller(ILocalConfiguration<BPN, C, E, F, N, P, T, M>, ILocalConfiguration<BPN, C, E, F, N, P, T, M>) - Method in interface org.jbpt.petri.unfolding.order.IAdequateOrder: Compare two local configurations.
isSmaller(ILocalConfiguration<BPN, C, E, F, N, P, T, M>, ILocalConfiguration<BPN, C, E, F, N, P, T, M>) - Method in class org.jbpt.petri.unfolding.order.McMillanAdequateOrder
isSmaller(ILocalConfiguration<BPN, C, E, F, N, P, T, M>, ILocalConfiguration<BPN, C, E, F, N, P, T, M>) - Method in class org.jbpt.petri.unfolding.order.UnfoldingAdequateOrder
isSNet(IPetriNet<F, N, P, T>) - Method in class org.jbpt.petri.structure.PetriNetStructuralChecks: Check if a given Petri net is an S-net.
isStep(N, N) - Method in class org.jbpt.petri.behavior.ProjectedStateSpace
IState<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.automaton
IStateTransition<S extends IState<F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.automaton
IStep<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.petri: Interface to a step in a net system.
isTNet(IPetriNet<F, N, P, T>) - Method in class org.jbpt.petri.structure.PetriNetStructuralChecks: Check if a given net is a T-net.
isTotal() - Method in class org.jbpt.petri.unfolding.order.AdequateOrder
isTotal() - Method in class org.jbpt.petri.unfolding.order.EsparzaAdequateTotalOrderForSafeSystems
isTotal() - Method in interface org.jbpt.petri.unfolding.order.IAdequateOrder
isTRestricted(IPetriNet<F, N, P, T>) - Method in class org.jbpt.petri.structure.PetriNetStructuralChecks: Check if a given Petri net is T-restricted.
IStructuralQuerying<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.petri.querying
isWeakSound() - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
isWorkflowNet(IPetriNet<F, N, P, T>) - Method in class org.jbpt.petri.structure.PetriNetStructuralChecks: Check if a given Petri net is a workflow net (WF-net).
ITransition - Interface in org.jbpt.petri: Interface to a Petri net transition.
IUntanglingRun<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Interface in org.jbpt.petri.untangling
IWFTree<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition> - Interface in org.jbpt.petri.wftree: Interface to a WF-tree.

L

loadMarking(M) - Method in class org.jbpt.petri.AbstractNetSystem
loadMarking(M) - Method in interface org.jbpt.petri.INetSystem: Changes marking of this net system to the given one.
loadNaturalMarking() - Method in class org.jbpt.petri.AbstractNetSystem
loadNaturalMarking() - Method in interface org.jbpt.petri.INetSystem: Changes marking of the net system to its natural initial marking, i.e., the marking which put one token at each source place of the net system and no tokens elsewhere.
log - Variable in class org.jbpt.petri.unfolding.AbstractBranchingProcess
LOLA - Static variable in class org.jbpt.petri.io.PNMLSerializer
LolaSoundnessChecker - Class in org.jbpt.petri.behavior
LolaSoundnessChecker() - Constructor for class org.jbpt.petri.behavior.LolaSoundnessChecker
LolaSoundnessCheckerResult - Class in org.jbpt.petri.behavior: Result object for LolaSoundnessChecker.
LolaSoundnessCheckerResult() - Constructor for class org.jbpt.petri.behavior.LolaSoundnessCheckerResult

M

marking - Variable in class org.jbpt.petri.AbstractNetSystem
Marking - Class in org.jbpt.petri
Marking() - Constructor for class org.jbpt.petri.Marking
Marking(IPetriNet<Flow, Node, Place, Transition>) - Constructor for class org.jbpt.petri.Marking
MAX_BOUND - Variable in class org.jbpt.petri.unfolding.CompletePrefixUnfoldingSetup: Stop construction when identified a co-set which contains MAX_BOUND conditions that correspond to the same place of the originative system.
MAX_EVENTS - Variable in class org.jbpt.petri.unfolding.CompletePrefixUnfoldingSetup: Do not append more than MAX_EVENTS events to the branching process.
McMillanAdequateOrder<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.unfolding.order: McMillan's adequate order.
McMillanAdequateOrder() - Constructor for class org.jbpt.petri.unfolding.order.McMillanAdequateOrder

N

net - Variable in class org.jbpt.petri.AbstractStep
netSystem - Variable in class org.jbpt.petri.behavior.ProjectedStateSpace
netSystem - Variable in class org.jbpt.petri.behavior.SimpleStateSpace
NetSystem - Class in org.jbpt.petri: Implementation of a net system.
NetSystem() - Constructor for class org.jbpt.petri.NetSystem
NetSystem(PetriNet) - Constructor for class org.jbpt.petri.NetSystem
NetSystemQuerying - Class in org.jbpt.petri.querying: This class can be used to check the presence of structural and/or behavioral information in a net system.
NetSystemQuerying(INetSystem<Flow, Node, Place, Transition, Marking>) - Constructor for class org.jbpt.petri.querying.NetSystemQuerying
NetSystemQuerying(INetSystem<Flow, Node, Place, Transition, Marking>, Collection<IProcess<BPNode, Condition, Event, Flow, Node, Place, Transition, Marking>>) - Constructor for class org.jbpt.petri.querying.NetSystemQuerying
Node - Class in org.jbpt.petri: Implementation of a Petri net node.
Node() - Constructor for class org.jbpt.petri.Node: Empty constructor.
Node(String) - Constructor for class org.jbpt.petri.Node: Constructor with name of this node as the only parameter.
Node(String, String) - Constructor for class org.jbpt.petri.Node: Constructor with name and label as parameters.
Node(String, String, String) - Constructor for class org.jbpt.petri.Node: Constructor with name, label and description as parameters.
nodeConcurrentToNodes(Node, Collection<Node>) - Method in class org.jbpt.petri.behavior.ConcurrencyRelation: Checks whether a given node is concurrent to all nodes given in a collection of nodes.

O

OccurrenceNet - Class in org.jbpt.petri.unfolding
OccurrenceNet() - Constructor for class org.jbpt.petri.unfolding.OccurrenceNet
OccurrenceNet(ICompletePrefixUnfolding<BPNode, Condition, Event, Flow, Node, Place, Transition, Marking>) - Constructor for class org.jbpt.petri.unfolding.OccurrenceNet
OrderingRelationsGraph - Class in org.jbpt.petri.unfolding: Implementation of the ordering relations graph (ORGRAPH).
OrderingRelationsGraph() - Constructor for class org.jbpt.petri.unfolding.OrderingRelationsGraph
OrderingRelationsGraph(IBranchingProcess<BPNode, Condition, Event, Flow, Node, Place, Transition, Marking>) - Constructor for class org.jbpt.petri.unfolding.OrderingRelationsGraph
OrderingRelationType - Enum in org.jbpt.petri.unfolding: Enumeration of ordering relation types.
org.jbpt.automaton - package org.jbpt.automaton
org.jbpt.petri - package org.jbpt.petri
org.jbpt.petri.behavior - package org.jbpt.petri.behavior
org.jbpt.petri.io - package org.jbpt.petri.io
org.jbpt.petri.querying - package org.jbpt.petri.querying
org.jbpt.petri.structure - package org.jbpt.petri.structure
org.jbpt.petri.unfolding - package org.jbpt.petri.unfolding
org.jbpt.petri.unfolding.order - package org.jbpt.petri.unfolding.order
org.jbpt.petri.untangling - package org.jbpt.petri.untangling
org.jbpt.petri.untangling.pss - package org.jbpt.petri.untangling.pss
org.jbpt.petri.wftree - package org.jbpt.petri.wftree
outputMarking - Variable in class org.jbpt.petri.AbstractStep

P

parse(byte[]) - Method in class org.jbpt.petri.io.PNMLSerializer: Parses a NetSystem out of the given PNML XML-File.
parse(String) - Method in class org.jbpt.petri.io.PNMLSerializer: Parses a NetSystem out of a predefined PNML-file
parse(File) - Static method in class org.jbpt.petri.io.WoflanSerializer
parseResult(String, NetSystem) - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult: Parses the response from LoLA.
PetriNet - Class in org.jbpt.petri: An implementation of IPetriNet interface.
PetriNet() - Constructor for class org.jbpt.petri.PetriNet
PetriNetProjector<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition> - Class in org.jbpt.petri.structure: Reduces a Petri net by removing places and transitions that are given as a projection set.
PetriNetProjector() - Constructor for class org.jbpt.petri.structure.PetriNetProjector
PetriNetStructuralChecks<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition> - Class in org.jbpt.petri.structure: Collection of methods for performing structural checks on Petri nets.
PetriNetStructuralChecks() - Constructor for class org.jbpt.petri.structure.PetriNetStructuralChecks
PetriNetTransformations<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition> - Class in org.jbpt.petri.structure: Collection of methods for transforming Petri nets.
PetriNetTransformations() - Constructor for class org.jbpt.petri.structure.PetriNetTransformations
Place - Class in org.jbpt.petri: Implementation of a Petri net place.
Place() - Constructor for class org.jbpt.petri.Place
Place(String) - Constructor for class org.jbpt.petri.Place
Place(String, String) - Constructor for class org.jbpt.petri.Place
Place(String, String, String) - Constructor for class org.jbpt.petri.Place
PNMLSerializer - Class in org.jbpt.petri.io: Class of Type DefaultHandler that overrides some methods to extract PNML-Data from given files.
PNMLSerializer() - Constructor for class org.jbpt.petri.io.PNMLSerializer
possibleExtensions - Variable in class org.jbpt.petri.AbstractRun
Process - Class in org.jbpt.petri.untangling: An implementation of the IProcess interface.
Process() - Constructor for class org.jbpt.petri.untangling.Process
Process(INetSystem<Flow, Node, Place, Transition, Marking>) - Constructor for class org.jbpt.petri.untangling.Process: Construct a process of a net system.
process(TreeStep<F, N, P, T, M>) - Method in class org.jbpt.petri.untangling.TreeStepIndex
processConcNodes(Set<ConcurrencyRelation.NodePair>, boolean) - Method in class org.jbpt.petri.behavior.ConcurrencyRelation: Helper method for calculating the concurrency relation (see Kovalyov and Esparza (1996)).
processes - Variable in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
ProcessSetSystem - Class in org.jbpt.petri.untangling.pss: An implementation of the IProcessSetSystem interface.
ProcessSetSystem(INetSystem<Flow, Node, Place, Transition, Marking>, Collection<IProcess<BPNode, Condition, Event, Flow, Node, Place, Transition, Marking>>) - Constructor for class org.jbpt.petri.untangling.pss.ProcessSetSystem
ProcessSystem - Class in org.jbpt.petri.untangling.pss: An implementation of the IProcessSystem interface.
ProcessSystem() - Constructor for class org.jbpt.petri.untangling.pss.ProcessSystem
ProcessSystem(INetSystem<Flow, Node, Place, Transition, Marking>, IProcess<BPNode, Condition, Event, Flow, Node, Place, Transition, Marking>) - Constructor for class org.jbpt.petri.untangling.pss.ProcessSystem
ProjectedStateSpace<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.behavior
ProjectedStateSpace(INetSystem<F, N, P, T, M>, Set<T>) - Constructor for class org.jbpt.petri.behavior.ProjectedStateSpace
projectionSetForStepMatrix - Variable in class org.jbpt.petri.behavior.ProjectedStateSpace
ProperCompletePrefixUnfolding - Class in org.jbpt.petri.unfolding
ProperCompletePrefixUnfolding() - Constructor for class org.jbpt.petri.unfolding.ProperCompletePrefixUnfolding
ProperCompletePrefixUnfolding(INetSystem<Flow, Node, Place, Transition, Marking>, CompletePrefixUnfoldingSetup) - Constructor for class org.jbpt.petri.unfolding.ProperCompletePrefixUnfolding
ProperCompletePrefixUnfolding(INetSystem<Flow, Node, Place, Transition, Marking>) - Constructor for class org.jbpt.petri.unfolding.ProperCompletePrefixUnfolding
prune(IRun<F, N, P, T, M>) - Method in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling: Prune a given run, i.e., iteratively remove every last step of the given run if this last step occurs at least twice in this run.
put(P, Integer) - Method in class org.jbpt.petri.AbstractMarking
put(P, Integer) - Method in interface org.jbpt.petri.IMarking: Put specified number of tokens at a given place of the associated net.
putAll(Map<? extends P, ? extends Integer>) - Method in class org.jbpt.petri.AbstractMarking: Copies all of the marking from the specified map to this marking.
putTokens(P, Integer) - Method in class org.jbpt.petri.AbstractNetSystem
putTokens(P, Integer) - Method in interface org.jbpt.petri.INetSystem: Put tokens at a given place.

R

reduce(INetSystem<F, N, P, T, M>) - Method in class org.jbpt.petri.untangling.AbstractReductionBasedRepresentativeUntangling
REDUCE - Variable in class org.jbpt.petri.untangling.UntanglingSetup: Perform reductions of maximal significant runs.
reducedProcesses - Variable in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
reducedSys - Variable in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
reducePetriNetBasedOnProjectionSet(IPetriNet<F, N, P, T>, Set<T>) - Method in class org.jbpt.petri.structure.PetriNetProjector
reduceSubruns() - Method in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
ReductionBasedRepresentativeUntangling - Class in org.jbpt.petri.untangling: An implementation of the reduction-based algorithm for computing representative untanglings of net systems (INetSystem).
ReductionBasedRepresentativeUntangling(INetSystem<Flow, Node, Place, Transition, Marking>, UntanglingSetup) - Constructor for class org.jbpt.petri.untangling.ReductionBasedRepresentativeUntangling
ReductionBasedRepresentativeUntangling(INetSystem<Flow, Node, Place, Transition, Marking>) - Constructor for class org.jbpt.petri.untangling.ReductionBasedRepresentativeUntangling
relinkIncomingArcs(IPetriNet<F, N, P, T>, N, N) - Method in class org.jbpt.petri.structure.PetriNetTransformations
relinkOutgoingArcs(IPetriNet<F, N, P, T>, N, N) - Method in class org.jbpt.petri.structure.PetriNetTransformations
remove(P) - Method in class org.jbpt.petri.AbstractMarking
remove(Object) - Method in class org.jbpt.petri.AbstractMarking: Removes all tokens from a given place of the associated net.
remove(int) - Method in class org.jbpt.petri.AbstractRun
remove(Object) - Method in class org.jbpt.petri.AbstractRun
remove(P) - Method in interface org.jbpt.petri.IMarking: Removes all tokens from a given place of the associated net.
remove(Object) - Method in class org.jbpt.petri.unfolding.AbstractCoSet
remove(int) - Method in class org.jbpt.petri.untangling.AbstractUntanglingRun
removeAll(Collection<?>) - Method in class org.jbpt.petri.AbstractRun
removeAll(Collection<?>) - Method in class org.jbpt.petri.unfolding.AbstractCoSet
removeFlow(F) - Method in class org.jbpt.petri.AbstractPetriNet
removeFlow(Collection<F>) - Method in class org.jbpt.petri.AbstractPetriNet
removeFlow(F) - Method in interface org.jbpt.petri.IPetriNet: Remove flow from this net.
removeFlow(Collection<F>) - Method in interface org.jbpt.petri.IPetriNet: Remove flow from this net.
removeNode(N) - Method in class org.jbpt.petri.AbstractNetSystem
removeNode(N) - Method in class org.jbpt.petri.AbstractPetriNet
removeNode(N) - Method in interface org.jbpt.petri.IPetriNet: Remove node from this net.
removeNodes(Collection<N>) - Method in class org.jbpt.petri.AbstractNetSystem
removeNodes(Collection<N>) - Method in class org.jbpt.petri.AbstractPetriNet
removeNodes(Collection<N>) - Method in interface org.jbpt.petri.IPetriNet: Remove nodes from this net.
removePlace(P) - Method in class org.jbpt.petri.AbstractNetSystem
removePlace(P) - Method in class org.jbpt.petri.AbstractPetriNet
removePlace(P) - Method in interface org.jbpt.petri.IPetriNet: Remove place from this net.
removePlaces(Collection) - Method in class org.jbpt.petri.AbstractNetSystem
removePlaces(Collection) - Method in class org.jbpt.petri.AbstractPetriNet
removePlaces(Collection) - Method in interface org.jbpt.petri.IPetriNet: Remove places from this net.
removeRange(int, int) - Method in class org.jbpt.petri.AbstractRun
removeTransition(T) - Method in class org.jbpt.petri.AbstractPetriNet
removeTransition(T) - Method in interface org.jbpt.petri.IPetriNet: Remove transition from this net.
removeTransitions(Collection<T>) - Method in class org.jbpt.petri.AbstractPetriNet
removeTransitions(Collection<T>) - Method in interface org.jbpt.petri.IPetriNet: Remove transitions from this net.
retainAll(Collection<?>) - Method in class org.jbpt.petri.AbstractRun
Run - Class in org.jbpt.petri: Run (occurrence sequence) of a net system.
Run() - Constructor for class org.jbpt.petri.Run
Run(INetSystem<Flow, Node, Place, Transition, Marking>) - Constructor for class org.jbpt.petri.Run
runs - Variable in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling

S

safe - Variable in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
SAFE_OPTIMIZATION - Variable in class org.jbpt.petri.unfolding.CompletePrefixUnfoldingSetup: Use techniques for safe systems to optimize construction of the branching process.
serialize(NetSystem) - Static method in class org.jbpt.petri.io.PNMLSerializer: Serializes the given PetriNet to PNML and returns the according Document object.
serialize(NetSystem, int) - Static method in class org.jbpt.petri.io.PNMLSerializer: Serializes the given PetriNet to PNML and returns the according Document object.
serialize(File, NetSystem) - Static method in class org.jbpt.petri.io.WoflanSerializer
serializePetriNet(NetSystem) - Static method in class org.jbpt.petri.io.PNMLSerializer: Creates a PNML XML string from the given PetriNet.
serializePetriNet(NetSystem, int) - Static method in class org.jbpt.petri.io.PNMLSerializer: Creates a PNML XML string from the given PetriNet.
serializeProcesses() - Method in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
serializeReducedProcesses() - Method in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
set(int, IStep<F, N, P, T, M>) - Method in class org.jbpt.petri.AbstractRun
setAllNodesConcurrent(Collection<Node>) - Method in class org.jbpt.petri.behavior.ConcurrencyRelation: Set all nodes pairwise concurrent in the concurrency matrix.
setBoundedness(boolean) - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
setBranchingProcess(IBranchingProcess<BPN, C, E, F, N, P, T, M>) - Method in class org.jbpt.petri.unfolding.AbstractOccurrenceNet
setBranchingProcess(IBranchingProcess<BPN, C, E, F, N, P, T, M>) - Method in interface org.jbpt.petri.unfolding.IOccurrenceNet
setClassicalSoundness(boolean) - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN, C, E, F, N, P, T, M>) - Method in class org.jbpt.petri.unfolding.AbstractEvent
setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN, C, E, F, N, P, T, M>) - Method in class org.jbpt.petri.unfolding.AbstractLocalConfiguration
setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN, C, E, F, N, P, T, M>) - Method in class org.jbpt.petri.unfolding.AbstractOccurrenceNet
setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN, C, E, F, N, P, T, M>) - Method in interface org.jbpt.petri.unfolding.IEvent
setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN, C, E, F, N, P, T, M>) - Method in interface org.jbpt.petri.unfolding.ILocalConfiguration
setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN, C, E, F, N, P, T, M>) - Method in interface org.jbpt.petri.unfolding.IOccurrenceNet
setDeadTransitions(Collection<Transition>) - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
setEvent(E) - Method in class org.jbpt.petri.unfolding.AbstractLocalConfiguration
setEvent(E) - Method in interface org.jbpt.petri.unfolding.ILocalConfiguration
setLabel(String) - Method in interface org.jbpt.petri.INode: Set label of this node.
setLabel(String) - Method in class org.jbpt.petri.Node
setLiveness(boolean) - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
setMarking(M) - Method in class org.jbpt.automaton.AbstractState
setMarking(M) - Method in interface org.jbpt.automaton.IState: Set marking associated with this state.
setNetSystem(INetSystem<F, N, P, T, M>) - Method in class org.jbpt.petri.AbstractRun
setNetSystem(INetSystem<F, N, P, T, M>) - Method in interface org.jbpt.petri.IRun: Set net system of this run.
setNetSystem(INetSystem<F, N, P, T, M>) - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess
setNetSystem(INetSystem<F, N, P, T, M>) - Method in interface org.jbpt.petri.unfolding.IBranchingProcess: Set net system of this branching process.
setNodeConcurrentToNodes(Node, Collection<Node>) - Method in class org.jbpt.petri.behavior.ConcurrencyRelation: Set all a node and all nodes in a collection concurrent.
setNodesConcurrent(Node, Node) - Method in class org.jbpt.petri.behavior.ConcurrencyRelation: Set two nodes concurrent in the concurrency matrix.s
setPetriNet(IPetriNet<F, N, P, T>) - Method in class org.jbpt.petri.AbstractMarking
setPetriNet(IPetriNet<F, N, P, T>) - Method in interface org.jbpt.petri.IMarking: Set net to associate this marking with.
setPlace(P) - Method in class org.jbpt.petri.unfolding.AbstractCondition
setPlace(P) - Method in interface org.jbpt.petri.unfolding.ICondition
setPostConditions(ICoSet<BPN, C, E, F, N, P, T, M>) - Method in class org.jbpt.petri.unfolding.AbstractEvent
setPostConditions(ICoSet<BPN, C, E, F, N, P, T, M>) - Method in interface org.jbpt.petri.unfolding.IEvent
setPreConditions(ICoSet<BPN, C, E, F, N, P, T, M>) - Method in class org.jbpt.petri.unfolding.AbstractEvent
setPreConditions(ICoSet<BPN, C, E, F, N, P, T, M>) - Method in interface org.jbpt.petri.unfolding.IEvent
setPreEvent(E) - Method in class org.jbpt.petri.unfolding.AbstractCondition
setPreEvent(E) - Method in interface org.jbpt.petri.unfolding.ICondition
setProcess(IProcess<BPN, C, E, F, N, P, T, M>) - Method in class org.jbpt.petri.untangling.pss.AbstractProcessSystem
setProcess(IProcess<BPN, C, E, F, N, P, T, M>) - Method in interface org.jbpt.petri.untangling.pss.IProcessSystem: Set process.
setQuasiLiveness(boolean) - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
setRelaxedSoundness(boolean) - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
setSymbol(String) - Method in class org.jbpt.automaton.AbstractStateTransition
setSymbol(String) - Method in interface org.jbpt.automaton.IStateTransition
setSystem(INetSystem<F, N, P, T, M>) - Method in class org.jbpt.petri.untangling.pss.AbstractProcessSystem
setSystem(INetSystem<F, N, P, T, M>) - Method in interface org.jbpt.petri.untangling.pss.IProcessSystem: Set net system.
setTransition(T) - Method in class org.jbpt.automaton.AbstractStateTransition
setTransition(T) - Method in interface org.jbpt.automaton.IStateTransition
setTransition(T) - Method in class org.jbpt.petri.unfolding.AbstractEvent
setTransition(T) - Method in interface org.jbpt.petri.unfolding.IEvent
setTransitioncover(boolean) - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
setUnboundedPlaces(Collection<Place>) - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
setUncoveredTransitions(Collection<Transition>) - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
setup - Variable in class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding
setup - Variable in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
setWeakSoundness(boolean) - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
SIGNIFICANCE_CHECK - Variable in class org.jbpt.petri.untangling.UntanglingSetup: Algorithm for checking significance property of a run.
SignificanceCheckType - Enum in org.jbpt.petri.untangling: Type of a significance check to use when untangling.
significantRunCounter - Variable in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
SimpleStateSpace<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.behavior
SimpleStateSpace(INetSystem<F, N, P, T, M>) - Constructor for class org.jbpt.petri.behavior.SimpleStateSpace
size() - Method in class org.jbpt.petri.AbstractMarking: Returns the number of marked places in the associated net.
SoundUnfolding - Class in org.jbpt.petri.unfolding: Unfolding for soundness checks Proof of concept - must be improved
SoundUnfolding() - Constructor for class org.jbpt.petri.unfolding.SoundUnfolding
SoundUnfoldingMSMS - Class in org.jbpt.petri.unfolding: Unfolding for soundness checks (multi-source-multi-sink nets)
SoundUnfoldingMSMS() - Constructor for class org.jbpt.petri.unfolding.SoundUnfoldingMSMS
startElement(String, String, String, Attributes) - Method in class org.jbpt.petri.io.PNMLSerializer
State - Class in org.jbpt.automaton
State() - Constructor for class org.jbpt.automaton.State
State(Marking) - Constructor for class org.jbpt.automaton.State
StateTransition - Class in org.jbpt.automaton
StateTransition(AbstractMultiDirectedGraph, State, State) - Constructor for class org.jbpt.automaton.StateTransition
stateTransitions - Variable in class org.jbpt.petri.behavior.ProjectedStateSpace
stateTransitions - Variable in class org.jbpt.petri.behavior.SimpleStateSpace
Step - Class in org.jbpt.petri: Step of a Petri net.
Step(IPetriNet<Flow, Node, Place, Transition>, Marking, Transition, Marking) - Constructor for class org.jbpt.petri.Step
Step(IPetriNet<Flow, Node, Place, Transition>, Marking, Transition) - Constructor for class org.jbpt.petri.Step
stepMatrix - Variable in class org.jbpt.petri.behavior.ProjectedStateSpace
STRUCTURAL_CHECKS - Static variable in class org.jbpt.petri.PetriNet
sys - Variable in class org.jbpt.petri.AbstractRun
sys - Variable in class org.jbpt.petri.querying.AbstractStructuralQuerying
sys - Variable in class org.jbpt.petri.unfolding.AbstractBranchingProcess
sys - Variable in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling

T

time - Variable in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
toDOT() - Method in class org.jbpt.automaton.AbstractAutomaton
toDOT() - Method in class org.jbpt.petri.AbstractNetSystem
toDOT() - Method in class org.jbpt.petri.AbstractPetriNet
toDOT() - Method in class org.jbpt.petri.behavior.SimpleStateSpace
toDOT() - Method in class org.jbpt.petri.unfolding.AbstractOccurrenceNet
toDOT(Collection, Collection<T>) - Method in class org.jbpt.petri.unfolding.AbstractOccurrenceNet
toDOT(Collection, Collection<T>) - Method in interface org.jbpt.petri.unfolding.IOccurrenceNet
toMultiSet() - Method in class org.jbpt.petri.AbstractMarking
toMultiSet() - Method in interface org.jbpt.petri.IMarking: Get marking as a multi-set of places.
torLeaves - Variable in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
torRoot - Variable in class org.jbpt.petri.untangling.AbstractRepresentativeUntangling
toString() - Method in class org.jbpt.automaton.AbstractState
toString() - Method in class org.jbpt.petri.AbstractStep
toString() - Method in class org.jbpt.petri.behavior.ConcurrencyRelation
toString() - Method in class org.jbpt.petri.behavior.LolaSoundnessCheckerResult
toString() - Method in class org.jbpt.petri.unfolding.AbstractCondition
toString() - Method in class org.jbpt.petri.unfolding.AbstractEvent
toString() - Method in enum org.jbpt.petri.unfolding.OrderingRelationType
toString() - Method in class org.jbpt.petri.untangling.TreeStep
totalOrderTs - Variable in class org.jbpt.petri.unfolding.AbstractCompletePrefixUnfolding
toVisit - Variable in class org.jbpt.petri.behavior.SimpleStateSpace
TRANSFORMATIONS - Static variable in class org.jbpt.petri.PetriNet
transition - Variable in class org.jbpt.petri.AbstractStep
Transition - Class in org.jbpt.petri: Implementation of a Petri net transition.
Transition() - Constructor for class org.jbpt.petri.Transition
Transition(String) - Constructor for class org.jbpt.petri.Transition
Transition(String, String) - Constructor for class org.jbpt.petri.Transition
Transition(String, String, String) - Constructor for class org.jbpt.petri.Transition
TreeStep<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.untangling
TreeStep(INetSystem<F, N, P, T, M>, TreeStep<F, N, P, T, M>, M, T, M, int) - Constructor for class org.jbpt.petri.untangling.TreeStep
TreeStepIndex<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.untangling
TreeStepIndex() - Constructor for class org.jbpt.petri.untangling.TreeStepIndex
tRestrict(IPetriNet<F, N, P, T>) - Method in class org.jbpt.petri.structure.PetriNetTransformations: T-restrict a given Petri net, i.e., add a single input/output place to transitions with empty preset/postset.
txM - Variable in class org.jbpt.petri.behavior.ProjectedStateSpace

U

UnfoldingAdequateOrder<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> - Class in org.jbpt.petri.unfolding.order: An adequate order which allows to simulate unfolding (maximal branching process).
UnfoldingAdequateOrder() - Constructor for class org.jbpt.petri.unfolding.order.UnfoldingAdequateOrder
untangling - Variable in class org.jbpt.petri.querying.AbstractUntanglingBasedBehavioralQuerying
UntanglingRun - Class in org.jbpt.petri.untangling
UntanglingRun() - Constructor for class org.jbpt.petri.untangling.UntanglingRun
UntanglingRun(INetSystem<Flow, Node, Place, Transition, Marking>) - Constructor for class org.jbpt.petri.untangling.UntanglingRun
UntanglingSetup - Class in org.jbpt.petri.untangling: Untangling setup.
UntanglingSetup() - Constructor for class org.jbpt.petri.untangling.UntanglingSetup
updateCausalityCondition(C) - Method in class org.jbpt.petri.unfolding.AbstractBranchingProcess

V

valueOf(String) - Static method in enum org.jbpt.petri.unfolding.order.AdequateOrderType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.jbpt.petri.unfolding.OrderingRelationType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.jbpt.petri.untangling.SignificanceCheckType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.jbpt.petri.wftree.WFTreeBondType: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.jbpt.petri.wftree.WFTreeLoopOrientationType: Returns the enum constant of this type with the specified name.
values() - Static method in enum org.jbpt.petri.unfolding.order.AdequateOrderType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.jbpt.petri.unfolding.OrderingRelationType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.jbpt.petri.untangling.SignificanceCheckType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.jbpt.petri.wftree.WFTreeBondType: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.jbpt.petri.wftree.WFTreeLoopOrientationType: Returns an array containing the constants of this enum type, in the order they are declared.
visited(T, M) - Method in class org.jbpt.petri.behavior.ProjectedStateSpace
vTxM - Variable in class org.jbpt.petri.behavior.ProjectedStateSpace

W

WFTree - Class in org.jbpt.petri.wftree: This class takes a net and computes its WF-tree.

WF-tree was proposed in: Matthias Weidlich, Artem Polyvyanyy, Jan Mendling, and Mathias Weske.
WFTree(IPetriNet<Flow, Node, Place, Transition>) - Constructor for class org.jbpt.petri.wftree.WFTree
WFTreeBondType - Enum in org.jbpt.petri.wftree: WF-tree classification of bonds.
WFTreeLoopOrientationType - Enum in org.jbpt.petri.wftree: WF-tree loop orientation.
WoflanSerializer - Class in org.jbpt.petri.io: Woflan parser/serializer
WoflanSerializer() - Constructor for class org.jbpt.petri.io.WoflanSerializer

A B C D E F G H I L M N O P R S T U V W