7.Transitions - larics/Petri.Net GitHub Wiki

Transition object has only two properties:

• Location: Location of Transition object within PetriNet Editor object,
• Orientation: Vertical or Horizontal orientation of Transition object.

Every transition that can fire has a red color and every transition that just fired has orange color, as shown in Figure 7.1.

Figure 7.1. Fired and fireable Transitions

The color scheme is optional and can be modified by buttons on toolbar. User can turn coloring on/off by using toolbar buttons shown in Figure 7.2.

Figure 7.2. Coloring of transitions.

The other coloring feature is useful for identification of transitions that can get in conflict (Figure 7.3.). By using a toolbar button these transitions can be marked with red border (Figure 7.4).

Figure 7.3. Marking transitions in conflict.

Figure 7.4. Marked transitions in conflict.

Figure 7.4. shows resource RA which has 4 different operations. As a consequence there are 4 transitions that can get in conflict.