Uses of Class
org.oristool.petrinet.Place

Packages that use Place

Package	Description
org.oristool.models.pn	Analysis of Petri nets.
org.oristool.petrinet	Petri net representation.

Uses of Place in org.oristool.models.pn

Methods in org.oristool.models.pn with parameters of type Place

Modifier and Type	Method	Description
boolean	PlaceFlusher.addPlace(Place p)
boolean	PlaceFlusher.hasPlace(Place p)
boolean	PlaceFlusher.removePlace(Place p)

Constructors in org.oristool.models.pn with parameters of type Place

Modifier	Constructor	Description
	PlaceFlusher(Place... ps)

Uses of Place in org.oristool.petrinet

Methods in org.oristool.petrinet that return Place

Modifier and Type	Method	Description
Place	PetriNet.addPlace(String placeName)	Adds a place to the Petri net.
Place	InhibitorArc.getPlace()	Returns the inhibitor place.
Place	PetriNet.getPlace(String placeName)	Gets an existing place with the given name.
Place	Postcondition.getPlace()	Returns the output place of this postcondition.
Place	Precondition.getPlace()	Returns the input place of this precondition.
Place	PetriNet.removePlace(Place p)	Removes an existing place.

Methods in org.oristool.petrinet that return types with arguments of type Place

Modifier and Type	Method	Description
Collection<Place>	PetriNet.getPlaces()	Returns the places of the Petri net.

Methods in org.oristool.petrinet with parameters of type Place

Modifier and Type	Method	Description
InhibitorArc	PetriNet.addInhibitorArc(Place p, Transition t)	Adds an inhibitor arc with multiplicity 1.
InhibitorArc	PetriNet.addInhibitorArc(Place p, Transition t, int multiplicity)	Adds an inhibitor arc with given multiplicity.
Postcondition	PetriNet.addPostcondition(Transition t, Place p)	Adds a postcondition with multiplicity 1.
Postcondition	PetriNet.addPostcondition(Transition t, Place p, int multiplicity)	Adds a postcondition with given multiplicity.
Precondition	PetriNet.addPrecondition(Place p, Transition t)	Adds a precondition with multiplicity 1.
Precondition	PetriNet.addPrecondition(Place p, Transition t, int multiplicity)	Adds a precondition with given multiplicity.
void	Marking.addTokens(Place place, int number)	Adds a specified number of tokens in a place.
InhibitorArc	PetriNet.getInhibitorArc(Place p, Transition t)	Returns the existing inhibitor arc between a place and a transition.
Postcondition	PetriNet.getPostcondition(Transition t, Place p)	Returns the existing postcondition between a place and a transition.
Precondition	PetriNet.getPrecondition(Place p, Transition t)	Returns the existing precondition between a place and a transition.
int	Marking.getTokens(Place place)	Returns the number of tokens in a place.
Place	PetriNet.removePlace(Place p)	Removes an existing place.
void	Marking.removeTokens(Place place, int number)	Removes a specified number of tokens from a place.
void	Marking.setTokens(Place place, Integer tokens)	Sets the number of tokens of a place.