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 118,99 €
price for Spain (gross)
  • ISBN 978-3-662-03241-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 145,59 €
price for Spain (gross)
  • ISBN 978-3-540-60943-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 145,59 €
price for Spain (gross)
  • ISBN 978-3-642-08243-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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 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.

Table of contents (7 chapters)

  • Informal Introduction to Coloured Petri Nets

    Jensen, Kurt

    Pages 1-63

    Preview Buy Chapter 30,19 €
  • Formal Definition of Coloured Petri Nets

    Jensen, Kurt

    Pages 65-87

    Preview Buy Chapter 30,19 €
  • Hierarchical Coloured Petri Nets

    Jensen, Kurt

    Pages 89-121

    Preview Buy Chapter 30,19 €
  • Dynamic and Static Properties of Coloured Petri Nets

    Jensen, Kurt

    Pages 123-140

    Preview Buy Chapter 30,19 €
  • Formal Analysis of Coloured Petri Nets

    Jensen, Kurt

    Pages 141-154

    Preview Buy Chapter 30,19 €

Buy this book

eBook 118,99 €
price for Spain (gross)
  • ISBN 978-3-662-03241-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 145,59 €
price for Spain (gross)
  • ISBN 978-3-540-60943-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 145,59 €
price for Spain (gross)
  • ISBN 978-3-642-08243-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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
1996
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-662-03241-1
DOI
10.1007/978-3-662-03241-1
Hardcover ISBN
978-3-540-60943-8
Softcover ISBN
978-3-642-08243-6
Series ISSN
1431-2654
Edition Number
2
Number of Pages
XII, 236
Topics