Advertisement

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use

  • Kurt Jensen

Table of contents

  1. Front Matter
    Pages I-IX
  2. Kurt Jensen
    Pages 1-19
  3. Kurt Jensen
    Pages 21-37
  4. Kurt Jensen
    Pages 39-50
  5. Kurt Jensen
    Pages 73-84
  6. Kurt Jensen
    Pages 85-98
  7. Kurt Jensen
    Pages 99-115
  8. Kurt Jensen
    Pages 117-129
  9. Kurt Jensen
    Pages 131-148
  10. Kurt Jensen
    Pages 149-160
  11. Kurt Jensen
    Pages 161-169
  12. Kurt Jensen
    Pages 171-178
  13. Kurt Jensen
    Pages 179-188
  14. Kurt Jensen
    Pages 189-201
  15. Kurt Jensen
    Pages 203-212
  16. Kurt Jensen
    Pages 213-223
  17. Kurt Jensen
    Pages 225-235
  18. Kurt Jensen
    Pages 237-245
  19. Kurt Jensen
    Pages 247-260
  20. Back Matter
    Pages 261-268

About this book

Introduction

The contents of this volume are application oriented. The volume contains a de­ tailed presentation of 19 applications of CP-nets, covering a broad range of ap­ plication areas. Most of the projects have been carried out in an industrial set­ ting. The volume presents the most important ideas and experiences from the projects, in a way which is useful also for readers who do not yet have personal experience with the construction and analysis of large CPN models. The volume demonstrates the feasibility of using CP-nets and the CPN tools for industrial projects. The presentation of the projects is based upon material provided by the per­ sons who have accomplished the individual projects. At the beginning of each chapter, we list their names and we say where the original material has been published. The original material often contains more elaborate information, e.g., about details of the modelled system and related work. I have edited the material provided by the original authors. I have modified some of the CP-nets, e.g., to improve the layout and use more mnemonic names. In some cases, I have also changed a few net components, e.g., merged two tran­ sitions or introduced a Standard ML function for operations that are used in many arc expressions. These modifications make the CP-nets more appropriate as study material, but they do not change the essential behaviour of the CPN models.

Keywords

Petri nets Petri-Netz Software-Engineering algorithms calculus model network management programming simulation software structured analysis structured design systems analysis validation verification

Authors and affiliations

  • Kurt Jensen
    • 1
  1. 1.Computer Science DepartmentAarhus UniversityAarhus CDenmark

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-60794-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-64556-3
  • Online ISBN 978-3-642-60794-3
  • Series Print ISSN 1431-2654
  • Buy this book on publisher's site