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

0 avg rating
( 0 ratings by Goodreads )
 
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.

Buy New View Book
List Price: US$ 169.99
US$ 148.01

Convert currency

Shipping: US$ 5.08
From United Kingdom to U.S.A.

Destination, rates & speeds

Add to Basket

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  3540582762 ISBN 13:  9783540582762
Publisher: Springer, 1997
Hardcover

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

Springer, 1997
Hardcover

9783540555971: Coloured Petri Nets: v. 1: Basic Concepts, Analysis Methods and Practical Use (EATCS Monographs in Theoretical Computer Science)

Spring..., 1992
Hardcover

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

Springer, 2010
Softcover

9780387582764: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume 2

Spring..., 1995
Hardcover

Top Search Results from the AbeBooks Marketplace

1.

Jensen, Kurt
Published by Springer (2016)
ISBN 10: 3540609431 ISBN 13: 9783540609438
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540609438_lsuk

More information about this seller | Contact this seller

Buy New
US$ 148.01
Convert currency

Add to Basket

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

2.

Jensen, Kurt
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (1996)
ISBN 10: 3540609431 ISBN 13: 9783540609438
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 1996. HRD. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783540609438

More information about this seller | Contact this seller

Buy New
US$ 168.04
Convert currency

Add to Basket

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

3.

Kurt Jensen
Published by Springer (2003)
ISBN 10: 3540609431 ISBN 13: 9783540609438
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2003. Hardcover. Condition: New. 2nd. Seller Inventory # DADAX3540609431

More information about this seller | Contact this seller

Buy New
US$ 168.98
Convert currency

Add to Basket

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

4.

Kurt Jensen (author)
Published by Springer Berlin Heidelberg 1996-03-25, Berlin (1996)
ISBN 10: 3540609431 ISBN 13: 9783540609438
New Hardcover Quantity Available: > 20
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Springer Berlin Heidelberg 1996-03-25, Berlin, 1996. hardback. Condition: New. Seller Inventory # 9783540609438

More information about this seller | Contact this seller

Buy New
US$ 165.56
Convert currency

Add to Basket

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

5.

Kurt Jensen
Published by Springer (1997)
ISBN 10: 3540609431 ISBN 13: 9783540609438
New Hardcover Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer, 1997. Condition: New. Seller Inventory # L9783540609438

More information about this seller | Contact this seller

Buy New
US$ 178.95
Convert currency

Add to Basket

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

6.

Jensen, Kurt
Published by Springer (2003)
ISBN 10: 3540609431 ISBN 13: 9783540609438
New Hardcover Quantity Available: 10
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2003. Hardcover. Condition: New. Seller Inventory # INGM9783540609438

More information about this seller | Contact this seller

Buy New
US$ 182.97
Convert currency

Add to Basket

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

7.

KURT JENSEN
Published by Springer (1996)
ISBN 10: 3540609431 ISBN 13: 9783540609438
New Hardcover Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 1996. Hardback. Condition: NEW. 9783540609438 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0339899

More information about this seller | Contact this seller

Buy New
US$ 178.84
Convert currency

Add to Basket

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

8.

Jensen, Kurt
Published by Springer (2018)
ISBN 10: 3540609431 ISBN 13: 9783540609438
New Hardcover Quantity Available: > 20
Print on Demand
Seller:
Murray Media
(NORTH MIAMI BEACH, FL, U.S.A.)
Rating
[?]

Book Description Springer, 2018. Hardcover. Condition: New. Never used! This item is printed on demand. Seller Inventory # 3540609431

More information about this seller | Contact this seller

Buy New
US$ 190.44
Convert currency

Add to Basket

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

9.

Kurt Jensen
Published by Springer-Verlag Gmbh Mai 1997 (1997)
ISBN 10: 3540609431 ISBN 13: 9783540609438
New Quantity Available: 1
Seller:
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Mai 1997, 1997. Buch. Condition: Neu. Neuware - 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. 234 pp. Englisch. Seller Inventory # 9783540609438

More information about this seller | Contact this seller

Buy New
US$ 178.95
Convert currency

Add to Basket

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

10.

Kurt Jensen
Published by Springer-Verlag Gmbh Mai 1997 (1997)
ISBN 10: 3540609431 ISBN 13: 9783540609438
New Quantity Available: 1
Seller:
Rheinberg-Buch
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Mai 1997, 1997. Buch. Condition: Neu. Neuware - 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. 234 pp. Englisch. Seller Inventory # 9783540609438

More information about this seller | Contact this seller

Buy New
US$ 178.95
Convert currency

Add to Basket

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

There are more copies of this book

View all search results for this book