II.1.5. Setting Priorities and/or Probabilities for Conflicting Transitions

By default, the PN Toolbox sets equal probabilities and / or priorities to conflicting transitions. These probabilities and / or priorities are used by the PN Toolbox, when simulating a model, for selecting, from a set of conflicting transitions enabled at the same time, the next one to be fired. By selecting the Resolution for Conflicting Transitions option available under the Modeling menu, the corresponding dialogue window is opened (fig. II. 9) and the user can add, delete or edit the probabilities and / or priorities for each group of conflicting transitions.

Fig. II.9. The Resolution for Conflicting Transitions dialogue window.