Condition event netze
05.03.2013 11:44:21
Ich habe eine ganz grundlegende Frage zu Petrinetzen, Condition event netzen und place transition netzen.:

Können zwei voneinander unabhängige events gleichzeitig feuern?
(wenn alle dafür nötigen bedinungen gegeben sind)

Stefan
Re: Condition event netze
05.03.2013 12:52:55
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.