Synthese von Kommunikationsstrukturen in verteilten ... - Stefan Ihmor
Synthese von Kommunikationsstrukturen in verteilten ... - Stefan Ihmor
Synthese von Kommunikationsstrukturen in verteilten ... - Stefan Ihmor
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
5.3 ProtokollParser<br />
Abbildung5.3:ProtokollParser,Ablauf<br />
aufgenommen.SobaldesmehrereTransitionengibt,wirdderaktuelleGrundblockals<br />
abgeschlossen (Schritt2). markiertundfurjedenNachfolgezustande<strong>in</strong>neuerGrundblockerstellt<br />
WennderNachfolgezustandbereits<strong>in</strong>e<strong>in</strong>emGrundblockliegt(sieheS4<strong>in</strong>Schritt4),<br />
GrundblockdesNachfolgezustandsaufgeteilt(Bild5).Dieswirdsolangedurchgefuhrt,<br />
dannwirdderaktuellbearbeitetGrundbockebenfallsalsabgeschlossenmarkiertundder<br />
bisallevorhandenenGrundblockealsabgeschlossenmarkiertwurden.<br />
39