Eine Methode zur formalen Modellierung von ...
Eine Methode zur formalen Modellierung von ...
Eine Methode zur formalen Modellierung von ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
162 Prozeverwaltung<br />
InPF<br />
.<br />
.<br />
.<br />
.<br />
OutPF<br />
Pfortner PF<br />
Prozefamilie F k<br />
P F toP Q<br />
.<br />
Queue PQ<br />
.<br />
PQtoPV .<br />
.<br />
P V toP Q<br />
.<br />
Proze-<br />
PV<br />
verwalter<br />
P V toQ<br />
P V toKVF k<br />
.<br />
.<br />
.<br />
.<br />
.<br />
Queue<br />
Q<br />
KV Fk<br />
P V toGS<br />
.<br />
.<br />
GStoP V<br />
QtoD<br />
.<br />
.<br />
DtoQ<br />
globaler<br />
SVerwalter<br />
GS<br />
GStoHS<br />
. .<br />
GStoHS 2<br />
.<br />
.<br />
AStoGS<br />
HStoGS<br />
GStoAS<br />
.<br />
System ohne Proze Pi<br />
.<br />
InPF<br />
.<br />
.<br />
.<br />
OutPF<br />
Pfortner PF<br />
. PFtoPQ<br />
PQueue PQ<br />
.<br />
P QtoP V .<br />
.<br />
PVtoPQ<br />
.<br />
Prozeverwalter<br />
PV<br />
GStoP i<br />
P V toKVF k<br />
P V toQ<br />
SV Pi<br />
p<br />
SV toP i<br />
P itoGS<br />
.<br />
pppppppppppppppppppppppppppppppppppppppppppppppppppp<br />
PitoSV<br />
.<br />
.<br />
ppppppppppppppppppppppppppppppppppppppppppppppppppppp<br />
PitoQ<br />
In l<br />
Queue<br />
Q<br />
p<br />
p<br />
Pi<br />
KV Fk toP i<br />
.<br />
p<br />
p<br />
Out l<br />
F k<br />
Pp<br />
itoKV Fk<br />
KV F k<br />
P V toGS<br />
.<br />
.<br />
GStoP V<br />
p<br />
QtoD<br />
.<br />
.<br />
DtoQ<br />
globaler<br />
SVerwalter<br />
GS<br />
GStoHS<br />
.<br />
.<br />
. .<br />
HStoGS AStoGS<br />
GStoHS 2<br />
GStoAS<br />
.<br />
Proze Pi wurde erzeugt<br />
Abbildung 7.3.1: Erzeugung und Integration eines Prozesses Pi
Change language