Modular Construction and Partial Order Semantics of Petri Nets (Lecture Notes in Computer Science) - Softcover

Inhaltsangabe

Petri-Netze sind ein bekanntes Modell für parallele Systeme, das sowohl für Anwendungen als auch für theoretische Studien verwendet wird. Sie können zur Spezifikation, Modellierung und Analyse verwendet werden und bieten eine grafische Darstellung und eine klare Sicht auf die Parallelität. Für die Gestaltung großer Systeme ist der modulare Aufbau unverzichtbar, und es wurde erheblicher Aufwand für das Studium des modularen Aufbaus von Petrischetzen aufgewendet. Dieses Buch untersucht den modularen Aufbau von Netzen und insbesondere das Top-Down-Design von Netzen durch Aktionsverfeinerung. Geeignete Verhaltensbeschreibungen werden vorgestellt und besondere Sorgfalt darauf gelegt, diese Beschreibungen zu rechtfertigen, indem nachgewiesen wird, dass sie unter angemessenen Spezifikationsanforderungen notwendig sind. Insbesondere wird gezeigt, dass Teilordnungssemantik notwendig ist, um die Aktionsverfeinerung zu unterstützen.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.