vanted.petrinetelements.cpn
Class Marking

java.lang.Object
  extended by vanted.petrinetelements.cpn.Marking

public class Marking
extends java.lang.Object

The Class Marking contains the mapping between tokens and places.

Author:
Kevin Pucknat

Constructor Summary
Marking(PetriNet pn)
          Instantiates a new marking.
 
Method Summary
 void addPlaceToken(Place place)
          Adds the place token.
 java.util.List<AbstractToken> getAllTokens()
          Gets the all tokens.
 PetriNet getPetriNet()
          Gets the petri net.
 java.util.HashMap<Place,java.util.List<AbstractToken>> getPlaceToken()
          Gets the place token.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Marking

public Marking(PetriNet pn)
Instantiates a new marking.

Parameters:
pn - the pn
Method Detail

addPlaceToken

public void addPlaceToken(Place place)
Adds the place token.

Parameters:
place - the place

getPlaceToken

public java.util.HashMap<Place,java.util.List<AbstractToken>> getPlaceToken()
Gets the place token.

Returns:
the place token

getAllTokens

public java.util.List<AbstractToken> getAllTokens()
Gets the all tokens.

Returns:
the all tokens

getPetriNet

public PetriNet getPetriNet()
Gets the petri net.

Returns:
the petri net