Die Semantik von Petri-Netzen ist so definiert, dass immer nur eine Transition gleichzeitig feuert -- auch wenn mehrere enabled sind.
Auf Seite 11 der annotierten Petri-Netz-Folien ist der Übergang zwischen zwei Markierungen wie folgt definiert:
M -> M', iff M' results from M by firing exactly one transition
Falls mehrere Transitionen gleichzeitig enabled sind und diese wirklich unabhängig sind (das Feuern einer Transition führt nicht dazu, dass die Bedingungen einer anderen Transition verletzt werden und diese dann nicht genommen werden kann), können sie natürlich in beliebiger Reihenfolge nacheinander ausgeführt werden, was den gleichen Effekt hätte, wie wenn sie parallel ausgeführt worden wären.
