According to the normal firing rule, a transition is enabled if the number of tokens on each pre-place is not less than the multiplicity of the arc of this pre-place to the transition. Firing a transition causes as many tokens to be subtracted from each pre-place as the multiplicity of the corresponding arc to the transition, and as many tokens to be added to each post-place as the multiplicity of the corresponding arc from the transition [Sta90, Definition 2.4 (25)].
Please note: Reduction is possible only under this firing rule!
Compared with the normal firing rule, the firability of the transitions is further restricted by upper bounds (capacities) for the number of tokens on each place. The capacity of a place may also be infinite. [Sta90, Definition 10.2 (102)].
The symbol oo signifies an infinite capacity, and is to be entered with <o> . It corresponds to a system-dependent constant.
A place which already contains more tokens at the initial marking than its capacity allows is considered overloaded (overloaded).
This rule can only be useded with ordinary nets (i.e., where all arcs have multiplicity 1). Applying it, a transition is enabled if all of its pre-places and none of its post-places are marked. Places which contain more than one token at the initial marking are considered overloaded.
© 1996-99 Prof. Peter H. Starke (firstname.lastname@example.org) und Stephan Roch (roch@...)
INA Manual Version 2.2 (last changed 1999-04-19)