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

Skip to content

Parallel Programs as Petri Nets
Stock photo: cover may vary

Parallel Programs as Petri Nets Paperback - 2001

by Bernd Grahlmann

Add to wish list

Reader reviews for Parallel Programs as Petri Nets

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

Details

  • Title Parallel Programs as Petri Nets
  • Author Bernd Grahlmann
  • Binding Paperback
  • Pages 304
  • Volumes 1
  • Language GER
  • Publisher Bod - Books on Demand
  • Publication date 2001-04-02
  • 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)
  • Category Computers - Languages / Programming

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.

More Copies for Sale

Parallel Programs as Petri Nets

Parallel Programs as Petri Nets

by Bernd Grahlmann

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783831117994 / 3831117993
Quantity available
1046
Seller
Item price
A$71.31
A$15.28 Delivery to USA

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; N/A
Add to wish list
Item price
A$71.31
A$15.28 Delivery to USA
Parallel Programs as Petri Nets (German Edition)
Stock photo: cover may vary

Parallel Programs as Petri Nets (German Edition)

by Grahlmann, Bernd

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783831117994 / 3831117993
Quantity available
1
Seller
Item price
A$81.55
Free Delivery to USA

Show details

Description:
Books on Demand, 2001-04-02. paperback. New. 7.00x0.64x10.00. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$81.55
Free Delivery to USA
Parallel Programs as Petri Nets (German Edition)
Stock photo: cover may vary

Parallel Programs as Petri Nets (German Edition)

by Grahlmann, Bernd

  • Used
  • Good
  • Paperback
Condition
Good
Binding
Paperback
ISBN 10 / ISBN 13
9783831117994 / 3831117993
Quantity available
1
Seller
Item price
A$122.24
Free Delivery to USA

Show details

Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$122.24
Free Delivery to USA