175 years of Springer publishing +++ Through June 30: 50% off Physics & Astronomy Books

Monographs in Theoretical Computer Science. An EATCS Series

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use, Volume 1

Authors: Jensen, Kurt

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-662-06289-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
About this book

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 smaIl exam­ ples and a brief overview of some industrial applications. It introduces the for­ mal analysis methods. FinaIly, it contains a description of a set of CPN tools which support the practical use of CP-nets.

Table of contents (7 chapters)

  • Informal Introduction to Coloured Petri Nets

    Jensen, Kurt

    Pages 1-63

  • Formal Definition of Coloured Petri Nets

    Jensen, Kurt

    Pages 65-87

  • Hierarchical Coloured Petri Nets

    Jensen, Kurt

    Pages 89-121

  • Dynamic and Static Properties of Coloured Petri Nets

    Jensen, Kurt

    Pages 123-140

  • Formal Analysis of Coloured Petri Nets

    Jensen, Kurt

    Pages 141-154

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-662-06289-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Coloured Petri Nets
Book Subtitle
Basic Concepts, Analysis Methods and Practical Use, Volume 1
Authors
Series Title
Monographs in Theoretical Computer Science. An EATCS Series
Copyright
1992
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-662-06289-0
DOI
10.1007/978-3-662-06289-0
Series ISSN
1431-2654
Edition Number
1
Number of Pages
X, 236
Topics