Uses of Class
org.jbpt.petri.Place

Packages that use Place

Package	Description
org.jbpt.automaton
org.jbpt.petri
org.jbpt.petri.behavior
org.jbpt.petri.querying
org.jbpt.petri.unfolding
org.jbpt.petri.untangling
org.jbpt.petri.untangling.pss
org.jbpt.petri.wftree

Uses of Place in org.jbpt.automaton

Constructor parameters in org.jbpt.automaton with type arguments of type Place

Constructor and Description
Automaton(INetSystem<Flow,Node,Place,Transition,Marking> sys)
Automaton(INetSystem<Flow,Node,Place,Transition,Marking> sys, int maxSize)

Uses of Place in org.jbpt.petri

Fields in org.jbpt.petri with type parameters of type Place

Modifier and Type	Field and Description
static PetriNetStructuralChecks<Flow,Node,Place,Transition>	PetriNet.STRUCTURAL_CHECKS
static PetriNetTransformations<Flow,Node,Place,Transition>	PetriNet.TRANSFORMATIONS

Constructor parameters in org.jbpt.petri with type arguments of type Place

Constructor and Description
Marking(IPetriNet<Flow,Node,Place,Transition> net)
Run(INetSystem<Flow,Node,Place,Transition,Marking> sys)
Step(IPetriNet<Flow,Node,Place,Transition> net, Marking inputMarking, Transition transition)
Step(IPetriNet<Flow,Node,Place,Transition> net, Marking inputMarking, Transition transition, Marking outputMarking)

Uses of Place in org.jbpt.petri.behavior

Methods in org.jbpt.petri.behavior that return types with arguments of type Place

Modifier and Type	Method and Description
Collection<Place>	LolaSoundnessCheckerResult.getUnboundedPlaces()

Methods in org.jbpt.petri.behavior with parameters of type Place

Modifier and Type	Method and Description
void	LolaSoundnessCheckerResult.addUnboundedPlace(Place unboundedPlace)

Method parameters in org.jbpt.petri.behavior with type arguments of type Place

Modifier and Type	Method and Description
void	LolaSoundnessCheckerResult.setUnboundedPlaces(Collection<Place> unboundedPlaces)

Uses of Place in org.jbpt.petri.querying

Constructor parameters in org.jbpt.petri.querying with type arguments of type Place

Constructor and Description
NetSystemQuerying(INetSystem<Flow,Node,Place,Transition,Marking> sys)
NetSystemQuerying(INetSystem<Flow,Node,Place,Transition,Marking> sys, Collection<IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>> untangling)
NetSystemQuerying(INetSystem<Flow,Node,Place,Transition,Marking> sys, Collection<IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>> untangling)

Uses of Place in org.jbpt.petri.unfolding

Constructors in org.jbpt.petri.unfolding with parameters of type Place

Constructor and Description
Condition(Place place, Event event)

Constructor parameters in org.jbpt.petri.unfolding with type arguments of type Place

Constructor and Description
CompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys)
CompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys, CompletePrefixUnfoldingSetup setup)
Event(ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> cpu, Transition transition, ICoSet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> preset)
Event(ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> cpu, Transition transition, ICoSet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> preset)
OccurrenceNet(ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> unf)
OrderingRelationsGraph(IBranchingProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> bp)
ProperCompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys)
ProperCompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys, CompletePrefixUnfoldingSetup setup)

Uses of Place in org.jbpt.petri.untangling

Constructor parameters in org.jbpt.petri.untangling with type arguments of type Place

Constructor and Description
BaselineRepresentativeUntangling(INetSystem<Flow,Node,Place,Transition,Marking> sys)
BaselineRepresentativeUntangling(INetSystem<Flow,Node,Place,Transition,Marking> sys, UntanglingSetup setup)
Process(INetSystem<Flow,Node,Place,Transition,Marking> sys) Construct a process of a net system.
ReductionBasedRepresentativeUntangling(INetSystem<Flow,Node,Place,Transition,Marking> sys)
ReductionBasedRepresentativeUntangling(INetSystem<Flow,Node,Place,Transition,Marking> sys, UntanglingSetup setup)
UntanglingRun(INetSystem<Flow,Node,Place,Transition,Marking> sys)

Uses of Place in org.jbpt.petri.untangling.pss

Constructor parameters in org.jbpt.petri.untangling.pss with type arguments of type Place

Constructor and Description
ProcessSetSystem(INetSystem<Flow,Node,Place,Transition,Marking> sys, Collection<IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>> pis)
ProcessSetSystem(INetSystem<Flow,Node,Place,Transition,Marking> sys, Collection<IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>> pis)
ProcessSystem(INetSystem<Flow,Node,Place,Transition,Marking> sys, IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> pi)
ProcessSystem(INetSystem<Flow,Node,Place,Transition,Marking> sys, IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> pi)

Uses of Place in org.jbpt.petri.wftree

Constructor parameters in org.jbpt.petri.wftree with type arguments of type Place

Constructor and Description
WFTree(IPetriNet<Flow,Node,Place,Transition> net)