II.3.4. P-timed Petri Nets

For place-timed PNs (P-timed PNs), time durations can be assigned to the places; tokens are meant to spend that time as reserved in the corresponding places, immediately after their arrival. In simulation, all the transitions that can fire due to the current marking, fire at the same time. A transition can fire several times, in accordance with the marking of its input places and, from the theoretical point of view, an infinitesimal delay is considered to separate any two successive firings.

For the time durations assigned to the places, appropriate functions can be used to generate random sequences corresponding to probability distributions with positive support. During the simulation, the places that contain reserved tokens get the white color (default) or a color selected by using the option Simulation/Preferences.

The Diary facility opens a new window that displays (dynamically) the instant(s) when the next fireable transition(s) is (are) to fire.

The Scope facility opens a new figure window that displays (dynamically) the evolution of the selected performance indices. The final value of the global index shown by the Scope is identical to that displayed on request, at the end of simulation, when the user explores the Performance menu.