Place (multi-token)

Meaning

The Place (multi-token) represents a control state or another condition in a Petri Net. It can hold only a finite number of tokens, defined by its capacity.

Utilization

Input Boxes

When you select the shape, it will show you its available input boxes. The gray description texts show the meaning of those boxes.

To enter text, click a second time (after selecting the shape), now on the desired input box, and finally start typing to overwrite or press F2 to edit an existing text. After you have entered text, the gray descriptions will no longer be visible.

Capacity: The capacity of the place. The "cap." in front of the number will be displayed automatically.
Marking: The current number of marks in this place.
Description: A textual description of the place.

(Note: These texts only appear when the FMC Support Tools >= 2.0 add-in is installed. With an older version or no installed add-in there will be colored boxes.)

Control Points

A ) moves the position of the capacity text box
B ) moves the position of the description text box
Note: The text box for the number of current marks cannot be moved. It will stay in the center of the place.

See also

Place
Place (multi-token infinity)
Stack Place
Stack Place (multi-token infinity)
Return Place
Token