Unterschied zwischen einem Petri-Netz und Bool-Petri-Netz?
HI,
Gibt es einen Unterschied zwischen einem Petri-Netz und einem Bool-Petri-Netz? Bis lange habe ich nur die "normale" Version kennengelernt und dachte bis lang das es sich hierbei letztendlich um genau das gleiche handelt. Wenn nicht würde mich sehr interessieren was die beiden Arten unterscheidet.
Vielen Dank!!
1 Antwort
Vom Fragesteller als hilfreich ausgezeichnet
Der Unterschied ist letztlich ob durch einen Token (bool, belegt oder unbelegt) oder mehrere Token belegt werden kann. Letzteres wird auch als Softrule bezeichnet.
Analogon: Mutex (Mutual Exclusion) und Semaphore (zählend)