Willkommen, schön sind Sie da!
Logo Ex Libris

Coronavirus: Deutliche Lieferverzögerungen Weitere Informationen

Es wird bis auf Weiteres zu deutlichen Wartezeiten und Verspätungen kommen. Um die Wartezeit zu verkürzen liefern wir Ihre Bestellung ab sofort mit A-Post. Zudem bleiben unsere Filialen auf Verordnung des Bundesrates bis auf Weiteres geschlossen. Unsere Corona-Taskforce arbeitet mit Hochdruck daran, dass unsere Mitarbeitenden geschützt sind und wir den Service für Sie, als unsere Kundinnen und Kunden, aufrechterhalten können. Weitere Informationen zu unseren Massnahmen finden Sie unter www.exlibris.ch/de/ueber-uns/massnahmen-corona/.

schliessen

Parallel Programs as Petri Nets

  • Kartonierter Einband
  • 304 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Simulation, analysis and verification of parallel programs is a major challenge. This thesis proposes a solution which is based o... Weiterlesen
20%
42.50 CHF 34.00
Print on demand - Exemplar wird für Sie besorgt.
Coronavirus: Information zu den Lieferfristen
Aufgrund der aktuellen Lage kommt es zu Lieferverzögerungen. Besten Dank für Ihr Verständnis.
Nur im Online-Shop verfügbar

Beschreibung

Simulation, analysis and verification of parallel programs is a major challenge. This thesis proposes a solution which is based on Petri nets. The main contribution is the formal definition of compositional high-level Petri net semantics for B(PN)ý Basic Petri Net Programming Notation) programs and SDL (Specification Description Language) systems. The correct and efficient translation of also recursive procedures (in B(PN)ý and SDL) and processes with dynamic creation and termination (in SDL) into high-level Petri nets are distinguishing characteristics. In addition to the semantics definitions, all related issues are covered: The M-net model, an algebra of high-level Petri nets, is extended in such a way that all coherence and algebraic properties are still fulfilled. References which relate parts of the programs with parts of the resulting nets are formally introduced in the semantics. Implementational aspects and the integration into the PEP tool are described. Examples are given, in particular, to demonstrate how the presented approach supports verification. Finally, the definition of a high-level Petri net semantics for 'hybrid' systems which are composed of B(PN)ý parts, SDL parts and B(PN)ý and/or SDL specific finite automata gives evidence for the general applicability of the presented concepts.

Autorentext

Bernd GRAHLMANN is an expert for requirements management and DOORS offering trainings and consultancy. Within the last 3 years he was global manager first for DOORS and then for all of requirements management for General Electric Medical Systems. Before that he gained 6 years experiences as project manager for a software tool (500,000 lines of code, 30 programmers). As a side effect he made his Ph. D. thesis in the area of simulation, analysis and verification of parallel systems. Even before (during his studies of computer science / medical informatics) he developed software for the automatic diagnostic as well as operation simulation of the human hip based on 3D computertomography data.



Klappentext

This book gives a Petri net based solution to the challenge of simulation, analysis and verification of parallel programs. The presented formal definition of compositional high-level Petri net semantics for B(PN) (Basic Petri Net Programming Notation) programs and SDL (Specification Description Language) systems allows the correct and efficient translation of also recursive procedures (in B(PN) and SDL) and processes with dynamic creation and termination (in SDL) into high-level Petri nets. All related issues are covered: 1. The algebra of M-nets is extended 2. References relating parts of the programs with parts of the resulting nets are introduced 3. Its implementation in the PEP tool is described 4. Examples (including verification) are given 5. An extension to hybrid systems is shown

Produktinformationen

Titel: Parallel Programs as Petri Nets
Autor:
EAN: 9783831117994
ISBN: 978-3-8311-1799-4
Format: Kartonierter Einband
Herausgeber: Books On Demand
Genre: Informatik
Anzahl Seiten: 304
Gewicht: 729g
Größe: H275mm x B190mm x T24mm
Jahr: 2001