Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Parallel Programs as Petri Nets Bernd Grahlmann

Parallel Programs as Petri Nets

Szerző: Bernd Grahlmann
Nyelv: Német
Kötés: Puha kötésű
Kiadó: Books on Demand
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
10 300 Ft
This book gives a Petri net based solution to the challenge of simulation, analysis and verification...

Információk a könyvről

Szerző
Bernd Grahlmann
Nyelv
Német
Kötés
Könyv - Puha kötésű
Kiadva
2001
oldal
304
EAN
9783831117994
ISBN
9783831117994
Enbook ID
08921174
Kiadó
Books on Demand
Súly
531
Méretek
178 x 254 x 16

Teljes leírás

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

Érdekelheti

Sechzig Upanishads des Veda: Indische Philosophie Band 12

Anonym
20 154 Ft

Franz Liszt's Briefe, Volume 1...

Franz Liszt
10 084 Ft

Shopfloor Management

Patrick Pötters
6 210 Ft

Affirmationen für ein starkes Wir

Ina Woste
6 023 Ft

Bridget Jones - Verrückt nach ihm

Marcus Ingendaay
4 191 Ft

96 Hours - Taken 3, 1 DVD

Olivier Megaton
3 615 Ft

Wild Horses (Lim.Collector's Edition)

Wild Horses
5 643 Ft

A Son of the Forest

William 1798-1839 Apess
7 676 Ft

Turn Around and Take a Bow!

Mike Dixon
2 365 Ft

Honabeats Says

Karen L. Siskind
5 686 Ft

U.S. Interests In The New Taiwan

Martin L Lasater
94 375 Ft

Tree of Hearts Beaded Bookmark

Inc Peter Pauper Press
1 639 Ft

Boys Activity Books For Ages 7-9

Esposito Bella
2 975 Ft

Educacion Fisica en el Sistema Educativo Mexicano

Lozano Ileana
32 396 Ft

Modern Japan

James L. Huffman
25 388 Ft

La Genese Du Roman Pseudo-Clementin: Etudes Litteraires Et Historiques

B. Pouderon
32 963 Ft

Trolas y pifias de Mateo Hidalf. La fiesta del rey

Christophe Mauri
6 354 Ft

My First Book of Greek Words

Katy R. Kudela
8 748 Ft

Finding Pride

Hilda Kaphar
12 141 Ft

Long Trail Home

Janet Kinrade Dethick
8 137 Ft

Osmanlı Batılılaşmasında Sultan Abdulmecid

Özlem Sahin
118 590 Ft

Our Great West

Julian Ralph
10 444 Ft

Levee

Consuelo Barker
11 492 Ft

Agrarian prospects in Zimbabwe:Beyond 2000

Didmus Dewa
77 865 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Lais

Marie de France
1 975 Ft

Mon premier imagier des verbes d'action et des emotions

Biboune Collection Editions
4 018 Ft

Raisons administratives et logiques d'empire (XVIe-XIXe)

11 824 Ft

Covid-19

Alfredo J. Morales
9 969 Ft

AIRS CLASSIQUES VOL.10 (HETTICH) VOIX CHANT

MAITRES
12 593 Ft

GUEDELON - COLORIAGES

LAZE CHRISTOPHE
2 177 Ft

MOT DE CAMBRONNE LE

GUITRY
1 033 Ft

Le bonheur est dans la nature

Marc Giraud
6 369 Ft

The Last Season: A fan's memoir of the final season of Winnipeg Jets hockey

Curtis Walker
4 018 Ft

Mes amis les chevaux 25 - La Tempête de neige

Sophie Thalmann
2 874 Ft

FAN HOS HONG KONG

FAN HO ARCHIVE
14 785 Ft

Agent, který se neprostřílel… a ti ostatní - Příspěvek k dějinám třetího odboje a politických procesů

Marek Starý
3 658 Ft

The Sweet Spot: Everything Women Need to Know to Enjoy Life More

Kacie Vaudrey
5 076 Ft

El-Mas'udi's Historical Encyclopaedia V1: Entitled Meadows of Gold and Mines of Gems (1841)

Aloys Sprenger
21 836 Ft

Elemental Awakening

Ty (Mello) Martin
6 777 Ft

Hetty

Hetty Verolme
3 480 Ft

5th Grade Math, Ga Standards

11 752 Ft

James Madison, Public Servant

Gary L. Rose
29 800 Ft

Baris Puitis & Haiku

Irpan Rispandi
726 Ft

Classic Baptism

James Wilkinson Dale
10 767 Ft

Functional Reverse Engineering of Strategic and Non-Strategic Machine Tools

Ghulam Abbas
28 248 Ft

The Repair Shop Craft Book

Sonia Albert
3 422 Ft

Construction Equipments and its Uses

Sathya Prabha K.
18 192 Ft

COACHING DE LIDERAZGO: ?Una estrategia para el éxito?

14 564 Ft