Parallel Programs as Petri Nets

Language: German

Published by Books On Demand, 2001

3831117993 / 9783831117994

  • Softcover
  • New
See all details

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.

5-star seller

AbeBooks seller since January 11, 2012

Softcover

Condition: New

£ 26.11

£ 19.47 shipping 
Ships from Germany to U.S.A.

Quantity: 2 available

Add to basket
Free 30-day returns

Item description from seller

This item is printed on demand - it takes 3-4 days longer - Neuware -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 extended2. References relating parts of the programs with parts of the resulting nets are introduced3. Its implementation in the PEP tool is described4. Examples (including verification) are given5. An extension to hybrid systems is shown 304 pp. Deutsch.

Seller Inventory # 9783831117994

Title
Parallel Programs as Petri Nets
Author
Bernd Grahlmann
Publisher
Books On Demand
Publication year
2001
Condition
Neu
Binding
Taschenbuch
Language
German
ISBN 10
3831117993
ISBN 13
9783831117994
Item weight
731 grams
Dimensions
270x190x19 mm

BuchWeltWeit Ludwig Meier e.K.

Bergisch Gladbach, Germany

5-star seller

AbeBooks seller since January 11, 2012

Shipping rates from Germany to U.S.A.

Item5 to 15 business days5 to 15 business days
First item£ 19.47£ 19.47
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Bank Wire Transfer
  • Check
  • Paypal

Seller's business information

BuchWeltWeit Ludwig Meier e.K.

Germany