Modellierung - an der Universität Duisburg-Essen
Modellierung - an der Universität Duisburg-Essen
Modellierung - an der Universität Duisburg-Essen
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Einführung in die <strong>Modellierung</strong><br />
Petrinetze<br />
Unified Modeling L<strong>an</strong>guage (UML)<br />
Grundlagen und Erreichbarkeitsgraphen<br />
Eigenschaften von Petrinetzen, Überdeckbarkeitsgraphen<br />
Inzidenzmatrizen und Invari<strong>an</strong>ten<br />
Petrinetze: Lebendigkeit und Verklemmungen<br />
Ein Beispiel für ein<br />
schwach lebendiges und<br />
verklemmungsfreies Netz,<br />
das jedoch nicht (stark)<br />
lebendig ist . . .<br />
Einführung in die <strong>Modellierung</strong><br />
Petrinetze<br />
Unified Modeling L<strong>an</strong>guage (UML)<br />
Barbara König <strong>Modellierung</strong> 124<br />
Grundlagen und Erreichbarkeitsgraphen<br />
Eigenschaften von Petrinetzen, Überdeckbarkeitsgraphen<br />
Inzidenzmatrizen und Invari<strong>an</strong>ten<br />
Petrinetze: Lebendigkeit und Verklemmungen<br />
Ein Beispiel für ein<br />
schwach lebendiges Netz,<br />
das jedoch eine<br />
Verklemmung enthält . . .<br />
Barbara König <strong>Modellierung</strong> 126<br />
Einführung in die <strong>Modellierung</strong><br />
Petrinetze<br />
Unified Modeling L<strong>an</strong>guage (UML)<br />
Grundlagen und Erreichbarkeitsgraphen<br />
Eigenschaften von Petrinetzen, Überdeckbarkeitsgraphen<br />
Inzidenzmatrizen und Invari<strong>an</strong>ten<br />
Petrinetze: Lebendigkeit und Verklemmungen<br />
Ein Beispiel für ein<br />
verklemmungsfreies Netz,<br />
das jedoch nicht schwach<br />
lebendig ist . . .<br />
Einführung in die <strong>Modellierung</strong><br />
Petrinetze<br />
Unified Modeling L<strong>an</strong>guage (UML)<br />
Barbara König <strong>Modellierung</strong> 125<br />
Grundlagen und Erreichbarkeitsgraphen<br />
Eigenschaften von Petrinetzen, Überdeckbarkeitsgraphen<br />
Inzidenzmatrizen und Invari<strong>an</strong>ten<br />
Petrinetze: Lebendigkeit und Verklemmungen<br />
Ein Beispiel für ein Netz,<br />
das eine Verklemmung<br />
enthält und das auch nicht<br />
schwach lebendig ist . . .<br />
Barbara König <strong>Modellierung</strong> 127