Ebook: Petrinetze: Eine Einführung

1 d Petrinetze sind für den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation werden sie erfolgreich angewendet. Das Buch führt in die grundlegenden Begriffe und Methoden des Gebietes ein. In drei Teilen werden Netze aus Bedingungen und Ereignissen, Stellen/Transitionen-Netze und schließlich Netze mit beliebigen (individuellen) Marken behandelt. Bei den Analysemethoden werden Fakten, Synchronieabstände und Invarianten ausführlich besprochen - also Methoden, die nicht auf sequentiellen Realisierungen paralleler Prozesse beruhen. Der dritte Teil behandelt den Fakten- und Invariantenkalkül für Prädikat/Ereignis-Netze. Das Buch gibt eine geschlossene, einheitliche Darstellung der Grundbegriffe und typischen Anwendungen der Netztheorie. Es bereitet den Leser darauf vor, Petrinetze angemessen anzuwenden und die Spezialliteratur zu lesen.

---

1 d Petrinetze sind f?r den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation werden sie erfolgreich angewendet. Das Buch f?hrt in die grundlegenden Begriffe und Methoden des Gebietes ein. In drei Teilen werden Netze aus Bedingungen und Ereignissen, Stellen/Transitionen-Netze und schlie?lich Netze mit beliebigen (individuellen) Marken behandelt. Bei den Analysemethoden werden Fakten, Synchronieabst?nde und Invarianten ausf?hrlich besprochen - also Methoden, die nicht auf sequentiellen Realisierungen paralleler Prozesse beruhen. Der dritte Teil behandelt den Fakten- und Invariantenkalk?l f?r Pr?dikat/Ereignis-Netze. Das Buch gibt eine geschlossene, einheitliche Darstellung der Grundbegriffe und typischen Anwendungen der Netztheorie. Es bereitet den Leser darauf vor, Petrinetze angemessen anzuwenden und die Spezialliteratur zu lesen.

---

1 d Petrinetze sind f?r den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation werden sie erfolgreich angewendet. Das Buch f?hrt in die grundlegenden Begriffe und Methoden des Gebietes ein. In drei Teilen werden Netze aus Bedingungen und Ereignissen, Stellen/Transitionen-Netze und schlie?lich Netze mit beliebigen (individuellen) Marken behandelt. Bei den Analysemethoden werden Fakten, Synchronieabst?nde und Invarianten ausf?hrlich besprochen - also Methoden, die nicht auf sequentiellen Realisierungen paralleler Prozesse beruhen. Der dritte Teil behandelt den Fakten- und Invariantenkalk?l f?r Pr?dikat/Ereignis-Netze. Das Buch gibt eine geschlossene, einheitliche Darstellung der Grundbegriffe und typischen Anwendungen der Netztheorie. Es bereitet den Leser darauf vor, Petrinetze angemessen anzuwenden und die Spezialliteratur zu lesen.
Content:
Front Matter....Pages I-IX
Einleitung....Pages 1-3
Einf?hrende Beispiele und grundlegende Definitionen....Pages 4-18
Netze aus Bedingungen und Ereignissen....Pages 19-35
Prozesse auf Bedingungs/Ereignis-Systemen....Pages 36-51
Systemeigenschaften....Pages 52-68
Front Matter....Pages 69-69
Netze aus Stellen und Transitionen....Pages 70-87
Netz-Invarianten....Pages 88-113
Lebendigkeitsuntersuchungen spezieller Netzklassen....Pages 114-130
Front Matter....Pages 131-131
Pr?dikat/Ereignis-Netze....Pages 132-146
Relationennetze....Pages 147-163
Back Matter....Pages 164-198

---

1 d Petrinetze sind f?r den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation werden sie erfolgreich angewendet. Das Buch f?hrt in die grundlegenden Begriffe und Methoden des Gebietes ein. In drei Teilen werden Netze aus Bedingungen und Ereignissen, Stellen/Transitionen-Netze und schlie?lich Netze mit beliebigen (individuellen) Marken behandelt. Bei den Analysemethoden werden Fakten, Synchronieabst?nde und Invarianten ausf?hrlich besprochen - also Methoden, die nicht auf sequentiellen Realisierungen paralleler Prozesse beruhen. Der dritte Teil behandelt den Fakten- und Invariantenkalk?l f?r Pr?dikat/Ereignis-Netze. Das Buch gibt eine geschlossene, einheitliche Darstellung der Grundbegriffe und typischen Anwendungen der Netztheorie. Es bereitet den Leser darauf vor, Petrinetze angemessen anzuwenden und die Spezialliteratur zu lesen.
Content:
Front Matter....Pages I-IX
Einleitung....Pages 1-3
Einf?hrende Beispiele und grundlegende Definitionen....Pages 4-18
Netze aus Bedingungen und Ereignissen....Pages 19-35
Prozesse auf Bedingungs/Ereignis-Systemen....Pages 36-51
Systemeigenschaften....Pages 52-68
Front Matter....Pages 69-69
Netze aus Stellen und Transitionen....Pages 70-87
Netz-Invarianten....Pages 88-113
Lebendigkeitsuntersuchungen spezieller Netzklassen....Pages 114-130
Front Matter....Pages 131-131
Pr?dikat/Ereignis-Netze....Pages 132-146
Relationennetze....Pages 147-163
Back Matter....Pages 164-198
....