Place

A Place object hosts tokens. Dragging of a selected place is enabled in the editing mode. Deleting the place is accomplished by selecting it first and pressing "Delete" key of the keyboard in the editing mode. It results in the deletion of all the tokens assigned to the place, as well as all incoming and outgoing arcs (except for the joint arcs). The following property window is displayed if pointer tool is selected from the pallette and a place is double-clicked (as shown in the figures)

• Label is a unique integer identifier for graphic objects in the net. This label might change after saving a file, as the label values are compressed upon saving.
• Name is a user assigned property (does not need to be unique). Checking the "Show name" box results in displaying the name on the main diagram
• "Snap to grid" aligns the center of the place with the grid. If the center is already aligned, the box is checked when the property dialog is opened
• If any of specific icons are selected from the Icon pull-down menu, it will force all tokens arriving to the place to change its icon to the selected one. By default a blank choice is selected, so no changes to the icon occur
• Type of place can be selected: Normal (regular place), Source (place that effectively has always one token - when the token is fired a new token is created) and Sink (place with no tokens - all tokens that get to this place dissapear). If a place is an input to a joint during the simulation it is assigned appropriate type based on the joint. Place can only be an input to a single joint (including all its fused places) to avoid the priority ambiquity
• Token count corresponds to current marking of the place. During the token game this counter changes appropriately
• The concept of aging tokens is explained here here. Aging can be either true or false. If it is false, tokens do not change their age while residing in the place. Pressing "No aging" button selects this option. If the aging is true, the label of the aging transition is indicated. Pressing "Aging Transition" enables the selecion of a new aging transition by clicking on the desired transition. To avoid ambiquity, only one aging transition per place is allowed, so if there was a previous aging transition for this place, then it becomes non-aging. After selecting the aging transition, control is returned to pointer, and any other buttons can be pressed to continue.
• Places can be "fused" together: they show as separate entities in the diagram, but they are effectively the same place from the analysis perspective. This feature is useful for building complex multi-page models. Selecting fused places works similar to selecting aging transition. Fused places are visually depicted with thicker outline than the regular places.
• Pressing "Super Places" allows to select other places from the same group that can be merged together into a single Super Place that shows as a single place in the top view and the tokens are combined (no changes occur in the regular view). The reverse action (of unmerging) is achieved by deleting in the top view the super place.
• Pressing "Clear Tokens" button deletes all the tokens in the place. This button is not shown if the tokens are determined globally, as shown in the figure. Global token parameters must be defined first to be linked, as decrribed in global control parameter. Only one parameter per color is allowed for the same place, so only eligible parameters are shown in the pull down option box.
• Pressing OK button dismisses the dialog, while pressing "Help" button opens up this help page.