BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Parallel Programs as Petri Nets (German Edition)

Parallel Programs as Petri Nets (German Edition)

Parallel Programs as Petri Nets (German Edition)
Stock photo: cover may vary

Parallel Programs as Petri Nets (German Edition) Paperback - 2001

by Grahlmann, Bernd

Add to wish list
  • New
  • Paperback
New

Description

Books on Demand, 2001-04-02. paperback. New. 7.00x0.64x10.00. Buy with confidence. Excellent Customer Service & Return policy.
Ask the seller a question Add to wish list
A$81.44
Free Delivery within USA
Standard delivery: 5 to 10 days
More delivery options
Dropship order
Ships from Ergodebooks (Texas, United States)

Details

  • Title Parallel Programs as Petri Nets (German Edition)
  • Author Grahlmann, Bernd
  • Binding Paperback
  • Condition New
  • Pages 304
  • Volumes 1
  • Language GER
  • Publisher Books on Demand
  • Publication date 2001-04-02
  • Bookseller's Inventory # DADAX3831117993
  • ISBN 9783831117994 / 3831117993
  • Weight 1.17 lbs (0.53 kg)
  • Dimensions 10 x 7 x 0.64 in (25.40 x 17.78 x 1.63 cm)
  • Size 7.00x0.64x10.00
  • Category Computers - Languages / Programming
  • Quantity available 1

About Ergodebooks Texas, United States

Biblio member since 2005

Our goal is to provide best customer service and good condition books for the lowest possible price. We are always honest about condition of book. We list book only by ISBN # and hence exact book is guaranteed.

Terms of Sale:

We have 30 day return policy.

Browse books from Ergodebooks

Reader reviews for Parallel Programs as Petri Nets (German Edition)

From the publisher

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

About the author

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