Parallel Programs as Petri Nets

Autor: Bernd Grahlmann

Język:

Oprawa: Miękka

Wydawca: Books on Demand

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

110.14 zł

This book gives a Petri net based solution to the challenge of simulation, analysis and verification...

Informacje o książce

Autor

Bernd Grahlmann

Język

Niemiecki

Oprawa

Książka - Miękka

Data wydania

2001

strony

304

EAN

9783831117994

ISBN

9783831117994

Enbook ID

08921174

Wydawca

Books on Demand

Waga

531

Wymiary

178 x 254 x 16

Pełny opis

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

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Parallel Programs as Petri Nets

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również