Tokens are the key objects of APN, as they represent dynamic changes of the modeled system with time by changing the places in which they are located. While the same is true for Stochastic Petri Nets (SPNs) in general, APNs are specifically designed for compact modeling. As a result, in APNs a relatively large number of distinct tokens can represent entities (such as resources) that utilize the same sub-network. In contrast, the analogous model in SPN would have a dedicated sub-network for each of the entities.
Combined set of locations of all the tokens is referred to as marking and it uniquely identifies a state of the modeled system.
Check box for the token name (whether it is displayed or not). If the box is checked the name position and properties can be changed by selecting the object first and then double-clicking on the text.
Label is a unique integer identifier of the graphical objects of the net.
Assigned index is the index in the array of all tokens that is created during simulation. (see label and index topic)
Values of the main and the recessive (shadow) IDs (initially those values are set to -1). The purpose of these IDs is to provide a means to remember the indentities of the merged tokens and recover those identities as needed at a later time (see Joints). Note that if a token is located in a recessive place for a joint with recessive ID merging properties, then the main and recessive IDs are flipped in preparation for the merger. If the token properties dialog is open for this token, then "flippped ID is XX" will be displayed.
Current age of a token (see below for resetting options)
Time when the token became enabled last. This information is used to by a program to evaluate the age update when either the aging transition becomes disabled, or the token moves to a new place
Current marking (place where token is located at the moment).
Resetting age is useful initializing the age before simulation. It can also be used at any point in the animated token game. The tokens age can be also automatically reset upon firing a transition (see transition properties)
Color label selection allows to choose among existing colors. The tokens color can be also automatically reset upon firing a transition (see transition properties).
The token can be assigned the next available color using "New color" button.
A new color representing the current color ID can be selected by clicking on the "Recolor" button which brings up a standard color selection dialog and is colored in the current color.
Different icons can be selected to depict the token, this selection is visual purpose only (so the tokens with the same color can be assigned different images).
Tokens can be "multiplied" by selecting appropriate multiplication factor and pressing "Multiply Token" button (the factor includes the existing token, so multiplying by 2 will double the number).
Pressing OK button dismisses the dialog while saving the changes.
Token