eBook.de : Ihr Online Shop für eBooks, Reader, Downloads und Bücher

Connect 01/2015 eBook-Shops: Testsieger im epub Angebot, Testurteil: gut Die Welt: Kundenorientierte Internetseiten Prädikat GOLD
+49 (0)40 4223 6096
€ 0,00

Zur Kasse

PORTO-
FREI

Parallel Programs as Petri Nets

Paperback.
Lieferbar innerhalb von 2 bis 3 Werktagen
Buch (kartoniert)
Buch € 29,95* inkl. MwSt.
Portofrei*
Produktdetails
Titel: Parallel Programs as Petri Nets
Autor/en: Bernd Grahlmann

ISBN: 3831117993
EAN: 9783831117994
Paperback.
Books on Demand

2. April 2001 - kartoniert - 304 Seiten

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
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.

Gedruckte Welten


 
Bücher bei eBook.de entdecken.

 

Jetzt die besten Bücher entdecken!

Kunden, die diesen Artikel gekauft haben, kauften auch

Was ist Was. Pilze, Farne und Moose
Buch (gebunden)
von Heike Herrman…
Der Struwwelpeter
Buch (gebunden)
von Heinrich Hoff…
Vermittlung von implizitem Wissen
Buch (kartoniert)
von Daniela Megye…
Angekommen
Buch (kartoniert)
von Monika Finger

Kundenbewertungen zu Bernd Grahlmann „Parallel Programs as Petri Nets“

Noch keine Bewertungen vorhanden
Zur Rangliste der Rezensenten
Veröffentlichen Sie Ihre Kundenbewertung:
Kundenbewertung schreiben

Diese Artikel könnten Sie auch interessieren

Leben nach dem Trauma
Buch (kartoniert)
von Willi Butollo…
A Handbook on Accession to the Wto: A Wto Secretariat Publication
Buch (gebunden)
von World Trade O…
Dachstein - Tauern
Buch (kartoniert)
von Sepp Brandl
Liebesbeziehungen im Horoskop
Buch (kartoniert)
von Lianella Liva…
Die Füße nach oben
Buch (kartoniert)
von Eduardo Galea…

Unsere Leistungen auf einen Klick

Unser Service für Sie

Zahlungsmethoden
Bequem, einfach und sicher mit eBook.de. mehr Infos akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal mehr Infos
Geprüfte Qualität
  • Schnelle Downloads
  • Datenschutz
  • Sichere Zahlung
  • SSL-Verschlüsselung
Servicehotline
+49 (0)40 4223 6096
Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 18.00 Uhr
Chat
Ihre E-Mail-Adresse eintragen und kostenlos informiert werden:
* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.
Artikel mit dem Hinweis "Pünktlich zum Fest" werden an Lieferadressen innerhalb Deutschlands rechtzeitig zum 24.12.2017 geliefert.
Bei als portofrei markierten Produkten bezieht sich dies nur auf den Versand innerhalb Deutschlands.

** im Vergleich zum dargestellten Vergleichspreis.
eBook.de - Meine Bücher immer dabei
eBook.de ist eine Marke der Hugendubel Digital GmbH & Co. KG
Folgen Sie uns unter: