Items related to Coloured Petri Nets: Basic Concepts, Analysis Methods...

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1 (Monographs in Theoretical Computer Science. An EATCS Series) - Hardcover

 
9783540609438: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1 (Monographs in Theoretical Computer Science. An EATCS Series)
View all copies of this ISBN edition:
 
 
This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de­ veloped - from being a promising theoretical model to being a full-fledged lan­ guage for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or com­ puters communicate by means of some more or less formal rules). The book contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. However, it has been the intention to write the book in such a way that it also becomes attractive to readers who are more interested in applications than the underlying mathematics. This means that a large part of the book is written in a style which is closer to an engineering textbook (or a users' manual) than it is to a typical textbook in theoretical computer science. The book consists of three separate volumes. The first volume defines the net model (i. e. , hierarchical CP-nets) and the basic concepts (e. g. , the different behavioural properties such as deadlocks, fair­ ness and home markings). It gives a detailed presentation of many small exam­ ples and a brief overview of some industrial applications. It introduces the for­ mal analysis methods. Finally, it contains a description of a set of CPN tools which support the practical use of CP-nets.

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date1996
  • ISBN 10 3540609431
  • ISBN 13 9783540609438
  • BindingHardcover
  • Edition number2
  • Number of pages248

Other Popular Editions of the Same Title

9783642082436: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1 (Monographs in Theoretical Computer Science. An EATCS Series)

Featured Edition

ISBN 10:  ISBN 13:  9783642082436
Publisher: Springer, 2010
Softcover

Top Search Results from the AbeBooks Marketplace

Seller Image

Jensen, Kurt
Published by Springer (1996)
ISBN 10: 3540609431 ISBN 13: 9783540609438
New Hardcover Quantity: 1
Seller:
booksXpress
(Bayonne, NJ, U.S.A.)

Book Description Hardcover. Condition: new. Seller Inventory # 9783540609438

More information about this seller | Contact seller

Buy New
US$ 76.34
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds
Stock Image

Jensen, Kurt
Published by Springer (1996)
ISBN 10: 3540609431 ISBN 13: 9783540609438
New Hardcover Quantity: 1
Seller:
Wizard Books
(Long Beach, CA, U.S.A.)

Book Description Hardcover. Condition: new. New. Seller Inventory # Wizard3540609431

More information about this seller | Contact seller

Buy New
US$ 74.84
Convert currency

Add to Basket

Shipping: US$ 3.50
Within U.S.A.
Destination, rates & speeds
Stock Image

Jensen, Kurt
Published by Springer (1996)
ISBN 10: 3540609431 ISBN 13: 9783540609438
New Hardcover Quantity: 1
Seller:
GoldBooks
(Austin, TX, U.S.A.)

Book Description Hardcover. Condition: new. New Copy. Customer Service Guaranteed. Seller Inventory # think3540609431

More information about this seller | Contact seller

Buy New
US$ 93.74
Convert currency

Add to Basket

Shipping: US$ 4.25
Within U.S.A.
Destination, rates & speeds
Stock Image

Jensen, Kurt
Published by Springer (1996)
ISBN 10: 3540609431 ISBN 13: 9783540609438
New Hardcover Quantity: 1
Seller:
BennettBooksLtd
(LOS ANGELES, CA, U.S.A.)

Book Description Condition: New. New. In shrink wrap. Looks like an interesting title! 1.11. Seller Inventory # Q-3540609431

More information about this seller | Contact seller

Buy New
US$ 120.15
Convert currency

Add to Basket

Shipping: US$ 4.95
Within U.S.A.
Destination, rates & speeds
Stock Image

Jensen, Kurt
Published by Springer (1996)
ISBN 10: 3540609431 ISBN 13: 9783540609438
New Hardcover Quantity: > 20
Seller:
Lucky's Textbooks
(Dallas, TX, U.S.A.)

Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020172127

More information about this seller | Contact seller

Buy New
US$ 167.91
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds
Stock Image

Kurt Jensen
Published by Springer (1996)
ISBN 10: 3540609431 ISBN 13: 9783540609438
New Hardcover Quantity: > 20
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)

Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540609438_lsuk

More information about this seller | Contact seller

Buy New
US$ 167.54
Convert currency

Add to Basket

Shipping: US$ 12.59
From United Kingdom to U.S.A.
Destination, rates & speeds
Seller Image

Kurt Jensen
Published by Springer Berlin Heidelberg (1996)
ISBN 10: 3540609431 ISBN 13: 9783540609438
New Hardcover Quantity: > 20
Seller:
moluna
(Greven, Germany)

Book Description Condition: New. Seller Inventory # 4895425

More information about this seller | Contact seller

Buy New
US$ 197.07
Convert currency

Add to Basket

Shipping: US$ 52.97
From Germany to U.S.A.
Destination, rates & speeds