Kaikki kirjat 25 % alennuksella koodilla: BOOKS

  • check Yli 10 miljoonaa kirjaa
  • check Uutuuksia joka päivä
  • check Yli 1 miljoona asiakasta luottaa meihin
  • check Hyvät hinnat ja alennukset
  • check Toimitus koko Eurooppaan

Parallel Programs As Petri Nets - Bernd Grahlmann

englanti
2001-04-01
62,63 € 83,50 €

-25% koodilla BOOKS

Toimittajalla varastossa

Toimitus 10-16 arkipäivässä

30 päivän palautusoikeus

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)2 (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)2 and SDL) a ... Täydellinen kuvaus

Saatat myös pitää

Kuvaus

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)2 (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)2 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

Lisätietoja

Kirjoittaja Bernd Grahlmann
Julkaisija BoD – Books on Demand
Julkaisuvuosi 2001
Kannen tyyppi Pehmeäkantinen
EAN 9783831117994
Kirjoita oma arvostelusi
Arvostelet: Parallel Programs As Petri Nets
Arvostelusi:

Goodreads-arvostelut

62,63 € 83,50 €