Uses of Class
vanted.petrinetelements.Place

Packages that use Place
petri_jfern   
pnml.writer   
vanted.gui   
vanted.petrinetelements   
vanted.petrinetelements.cpn   
vanted.petrinetelements.misc   
 

Uses of Place in petri_jfern
 

Methods in petri_jfern that return Place
 Place PlaceMap.getPlaceV(org.rakiura.cpn.Place p)
          Gets the place v.
 

Methods in petri_jfern that return types with arguments of type Place
 java.util.List<Place> PlaceMap.getAllPlacesV()
          Gets the all places v (vanted).
 

Methods in petri_jfern with parameters of type Place
 void PlaceMap.addPlace(Place place, org.rakiura.cpn.Place p)
          Adds the place.
 boolean PlaceMap.containsKeyV(Place place)
          Contains key v.
 org.rakiura.cpn.Place PlaceMap.getPlaceR(Place place)
          Gets the place r (rakiura).
 void PlaceMap.removePlaceV(Place place)
          Removes the place v (vanted, rakiura).
 

Uses of Place in pnml.writer
 

Methods in pnml.writer with parameters of type Place
 org.w3c.dom.Element PNMLParserDiscrete.createPlaceElement(Place place, org.w3c.dom.Document document)
           
 org.w3c.dom.Element PNMLParserContinuous.createPlaceElement(Place place, org.w3c.dom.Document document)
           
abstract  org.w3c.dom.Element AbstractPNMLParser.createPlaceElement(Place place, org.w3c.dom.Document document)
          Creates a Place Element for a PNML Petri-Net DOM
 

Uses of Place in vanted.gui
 

Methods in vanted.gui with parameters of type Place
 void GUICompPlaceCapacity.removeElements(Place place)
           
 void GUICompDiscreteToken.removeElements(Place place)
           
 void GUICompContinuousToken.removeElements(Place place)
           
 void GUICompArcWeight.removeElements(Place place)
           
abstract  void AbstractGUIComp.removeElements(Place place)
           
 

Uses of Place in vanted.petrinetelements
 

Methods in vanted.petrinetelements that return Place
 Place AbstractArc.getPlace()
          Gets the place.
 

Methods in vanted.petrinetelements that return types with arguments of type Place
 java.util.List<Place> PetriNet.getAllPlaces()
          Gets all the places.
 java.util.List<Place> PetriNet.getAllPlacesWithCapacity()
          Gets all the places with capacity.
 java.util.HashSet<Place> Transition.getPlaces()
          Gets the places.
 

Methods in vanted.petrinetelements with parameters of type Place
 int PetriNet.getPlacePosition(Place place)
          Gets the place position in the Petri net.
 void AbstractArc.setPlace(Place place)
          Sets the place.
 

Constructors in vanted.petrinetelements with parameters of type Place
AbstractArc(Place place, Transition transition, org.graffiti.graph.Edge edge)
          Instantiates a new abstract arc.
AbstractArc(Transition transition, Place place, org.graffiti.graph.Edge edge)
          Instantiates a new abstract arc.
InArc(Place place, Transition transition, org.graffiti.graph.Edge edge)
          Instantiates a new in arc.
OutArc(Transition transition, Place place, org.graffiti.graph.Edge edge)
          Instantiates a new out arc.
 

Uses of Place in vanted.petrinetelements.cpn
 

Methods in vanted.petrinetelements.cpn that return types with arguments of type Place
 java.util.HashMap<Place,java.util.List<AbstractToken>> Marking.getPlaceToken()
          Gets the place token.
 

Methods in vanted.petrinetelements.cpn with parameters of type Place
 void Marking.addPlaceToken(Place place)
          Adds the place token.
 

Uses of Place in vanted.petrinetelements.misc
 

Method parameters in vanted.petrinetelements.misc with type arguments of type Place
static PetriNetType PetriNetType.getTokenType(java.util.List<Place> places)
          Gets the type of a token.
static PetriNetType PetriNetType.getType(java.util.List<Place> places)
          Gets the type of a Petri net from the places.