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

Vogler, W.

 
9780387557670: Modular Construction and Partial Order Semantics of Petri Nets (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387557679 ISBN 13: 9780387557670
Verlag: Springer Verlag, 1992

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.

Verlag
Springer Verlag
Erscheinungsdatum
1992
Sprache
Englisch
ISBN 10 
0387557679
ISBN 13 
9780387557670
Einband
Taschenbuch
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9783540557678: Modular Construction and Partial Order Semantics of Petri Nets (Lecture Notes in Computer Science, 625, Band 625)

Vorgestellte Ausgabe

ISBN 10:  3540557679 ISBN 13:  9783540557678
Verlag: Springer, 2008
Softcover