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

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

(author)
£123.00
Paperback 236 Pages / Published: 19/10/2010
  • We can order this from the publisher

Usually dispatched within 15 working days

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642082436
Number of pages: 236
Weight: 391 g
Dimensions: 235 x 155 x 13 mm
Edition: Softcover reprint of hardcover 2nd ed. 1996

You may also be interested in...

Think Like A Programmer
Added to basket
Coding with JavaScript For Dummies
Added to basket
Python Pocket Reference
Added to basket
PHP and MySQL Web Development
Added to basket
Bootstrap
Added to basket
£15.99
Paperback
Clean Code
Added to basket
£38.99
Paperback
Code
Added to basket
£21.99
Paperback
Coding for Beginners in easy steps
Added to basket
Ada Lovelace: Bride of Science
Added to basket
Arduino in Easy Steps
Added to basket
Art of Readable Code
Added to basket
HTML5 and CSS3 In Simple Steps
Added to basket
The Passionate Programmer
Added to basket
C Programming Language
Added to basket
JavaScript and JQuery
Added to basket

Please sign in to write a review

Your review has been submitted successfully.