A Petri net place compatible with the PetriNetDirector. A Petri net
place is a basic component of the Petri Net model. Another basic
component is the Transition. A place is connected to transitions. It
contains an integer as the marking of the place, which represents
the number of tokens in the place. The operation of the Petri net is
controlled by the marking and the weights of arcs connecting places
and transitions.
The methods here are used to manipulate the integer marking.
The TemporaryMarking is used for checking whether a transition
is ready or not.
Yuke Wang and Edward A. Lee, modified by Zach Ezzell
$Id: Place.java 70398 2014-10-22 23:44:32Z cxh $
Ptolemy II 8.1
Red (cxh)
Red (cxh)
The number of initial tokens in the place. This is an integer.