Ebook: Analyse von Petri-Netz-Modellen

---

Content:
Front Matter....Pages 1-12
Modellierung mit Petri-Netzen....Pages 13-20
Grundbegriffe....Pages 21-29
Nebenl?ufigkeit und Konflikt....Pages 30-37
Beschr?nktheit....Pages 38-42
?berdeckbarkeit und Erreichbarkeit....Pages 43-53
Lebendigkeit....Pages 54-61
?quivalente Markierungen....Pages 62-73
Sture Transitionen....Pages 74-82
Reduktion....Pages 83-96
Netztypen....Pages 97-109
Invarianten....Pages 110-122
Fairness....Pages 123-133
Synchronie....Pages 134-145
Struktureigenschaften....Pages 146-161
Die Deadlock-Falle-Eigenschaft....Pages 162-176
Dekomposition....Pages 177-191
Zeitbewertete Netze....Pages 192-196
Netze mit Schaltdauer....Pages 197-208
Zeit-Netze....Pages 209-221
Gef?rbte Petri-Netze....Pages 222-235
Pr?dikat/Transitions-Netze....Pages 236-245
Werkzeuge....Pages 246-250
Back Matter....Pages 251-253

---

Content:
Front Matter....Pages 1-12
Modellierung mit Petri-Netzen....Pages 13-20
Grundbegriffe....Pages 21-29
Nebenl?ufigkeit und Konflikt....Pages 30-37
Beschr?nktheit....Pages 38-42
?berdeckbarkeit und Erreichbarkeit....Pages 43-53
Lebendigkeit....Pages 54-61
?quivalente Markierungen....Pages 62-73
Sture Transitionen....Pages 74-82
Reduktion....Pages 83-96
Netztypen....Pages 97-109
Invarianten....Pages 110-122
Fairness....Pages 123-133
Synchronie....Pages 134-145
Struktureigenschaften....Pages 146-161
Die Deadlock-Falle-Eigenschaft....Pages 162-176
Dekomposition....Pages 177-191
Zeitbewertete Netze....Pages 192-196
Netze mit Schaltdauer....Pages 197-208
Zeit-Netze....Pages 209-221
Gef?rbte Petri-Netze....Pages 222-235
Pr?dikat/Transitions-Netze....Pages 236-245
Werkzeuge....Pages 246-250
Back Matter....Pages 251-253
....