Parallel Programs as Petri Nets - Bernd Grahlmann - Books - Books on Demand - 9783831117994 - April 2, 2001
In case cover and title do not match, the title is correct

Bernd Grahlmann
Parallel Programs as Petri Nets German edition

Price
R 505
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Apr 7 - 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

304 pages

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 2, 2001
ISBN13 9783831117994
Publishers Books on Demand
Pages 304
Dimensions 178 × 254 × 16 mm   ·   530 g
Language German  

See all of Bernd Grahlmann ( e.g. Paperback Book )