Coloured Petri Nets - Basic Concepts, Analysis Methods And Practical Use - Volume 3: Vol 3 (EATCS Monographs in Theoretical Computer Science) - Softcover

Jensen, Kurt

Softcover

ISBN 10: 3540628673 ISBN 13: 9783540628675

Verlag: Springer Verlag, 2002

Inhaltsangabe

Hard to find

Über diesen Titel

Reseña del editor

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.

Reseña del editor

This is the third volume of a definitive work on coloured Petri nets. It contains a detailed presentation of 19 applications of CP-nets across a broad range of application areas, including a security system, ATM networks, audio/video systems, transaction processing, ISDN services, VLSI chips, document storage, distributed programming, electronic funds transfer, a naval vessel, chemical processing, nuclear waste management, and many more. Most of the projects were carried out in an industrial setting, and in each case the original authors have cooperated with the author and approved the new presentation. The author has taken care to unify the terminology and the CPN diagrams and to ensure that the background knowledge required has been provided in the first two volumes of the work.

Über diese Auflage

• Verlag: Springer Verlag
• Erscheinungsdatum: 2002
• ISBN 10: 3540628673
• ISBN 13: 9783540628675
• Einband: Tapa blanda
• Anzahl der Seiten: 276