Betriebsmittelgraph

Sei P die Menge der Prozesse, BM die Menge der Betriebsmitteltypen. Ein gerichteter Graph $(V,E)$ mit $V=P\cup BM$ und der folgenden Pfeilsemantik heißt Betriebsmittelgraph:

• $(p,b)\in E$: Prozess $p$ fordert eine Einheit von BM-Typ $b$.
• $(b,p)\in E$: Prozess $p$ besitzt eine Einheit von BM-Typ $b$.

Wichtige Eigenschaften:

• Der BM-Graph ist bezüglich der Knotenmengen P (Kreise) und BM (Rechtecke) bipartit (Kanten nur von P nach BM oder umgekehrt).
• Menge von Punkten im Knoten = Anzahl der insgesamt verfügbaren Einheiten eines BM-Typs.
• Ein Zyklus im BM-Graph weist auf eine potentielle Verklemmungssituation hin (notwendige, aber keine hinreichende Bedingung!).

Links

• sysprog5.pdf