B/E-Systeme: Unterschied zwischen den Versionen

Aus Operations-Research-Wiki
Wechseln zu: Navigation, Suche
[unmarkierte Version][unmarkierte Version]
 
Zeile 1: Zeile 1:
 
'''B/E-Systeme''' sind die simpelste Form von Petri-Netzen. Hierbei kann jede Stelle nur maximal eine Marke besitzen, wobei alle Marken gleich (also anonym) und somit nicht voneinander unterscheidbar sind.
 
'''B/E-Systeme''' sind die simpelste Form von Petri-Netzen. Hierbei kann jede Stelle nur maximal eine Marke besitzen, wobei alle Marken gleich (also anonym) und somit nicht voneinander unterscheidbar sind.
 +
 +
Die Markierung der Stellen kann in B/E-Systemen '''exogen''' oder '''endogen''' erfolgen. Bei exogenen Markierungen wird die markierte Situation von außen vorgegeben, d.h. durch den Modellbenutzer, der die Marken z.B. aufgrund empirischer Beobachtung oder aufgrund einer Testvorgabe setzt. Endogene Markierungen entstehen durch ein „Weiterschalten“ der Anfangsmarkierungen.
 +
 +
Man unterscheidet zwischen Eingangs- und Ausgangszuständen:
 +
*Eingangszustände (bzw. Vorbedingungen) sind die unmittelbar vor einem Ereignis (Transition) liegenden Bedingungen (Stellen).
 +
*Ausgangszustände (bzw. Nachbedingungen) sind die unmittelbar auf ein Ereignis folgenden Bedingungen.

Version vom 28. Februar 2010, 11:33 Uhr

B/E-Systeme sind die simpelste Form von Petri-Netzen. Hierbei kann jede Stelle nur maximal eine Marke besitzen, wobei alle Marken gleich (also anonym) und somit nicht voneinander unterscheidbar sind.

Die Markierung der Stellen kann in B/E-Systemen exogen oder endogen erfolgen. Bei exogenen Markierungen wird die markierte Situation von außen vorgegeben, d.h. durch den Modellbenutzer, der die Marken z.B. aufgrund empirischer Beobachtung oder aufgrund einer Testvorgabe setzt. Endogene Markierungen entstehen durch ein „Weiterschalten“ der Anfangsmarkierungen.

Man unterscheidet zwischen Eingangs- und Ausgangszuständen:

  • Eingangszustände (bzw. Vorbedingungen) sind die unmittelbar vor einem Ereignis (Transition) liegenden Bedingungen (Stellen).
  • Ausgangszustände (bzw. Nachbedingungen) sind die unmittelbar auf ein Ereignis folgenden Bedingungen.