Skip to main content
SpringerLink
Log in
Book cover

Coloured Petri Nets

Basic Concepts, Analysis Methods and Practical Use

  • Book
  • © 1997

Overview

Authors:
  1. Kurt Jensen

    1. Computer Science Department, Aarhus University, Aarhus C, Denmark

    View author publications

    You can also search for this author in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 chapters)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Security System

    • Kurt Jensen
    Pages 1-19

  3. UPC Algorithms in ATM Networks

    • Kurt Jensen
    Pages 21-37

  4. Audio/Video System

    • Kurt Jensen
    Pages 39-50

  5. Transaction Processing and Interconnect Fabric

    • Kurt Jensen
    Pages 51-72

  6. Mutual Exclusion Algorithm

    • Kurt Jensen
    Pages 73-84

  7. ISDN Supplementary Services

    • Kurt Jensen
    Pages 85-98

  8. Intelligent Network

    • Kurt Jensen
    Pages 99-115

  9. Communications Gateway

    • Kurt Jensen
    Pages 117-129

  10. BRI Protocol in ISDN Networks

    • Kurt Jensen
    Pages 131-148

  11. VLSI Chip

    • Kurt Jensen
    Pages 149-160

  12. Arbiter Cascade

    • Kurt Jensen
    Pages 161-169

  13. Document Storage System

    • Kurt Jensen
    Pages 171-178

  14. Distributed Program Execution

    • Kurt Jensen
    Pages 179-188

  15. Electronic Funds Transfer System

    • Kurt Jensen
    Pages 189-201

  16. Bank Courier Network

    • Kurt Jensen
    Pages 203-212

  17. Network Management System

    • Kurt Jensen
    Pages 213-223

  18. Naval Vessel

    • Kurt Jensen
    Pages 225-235

  19. Chemical Production System

    • Kurt Jensen
    Pages 237-245

  20. Nuclear Waste Management Programme

    • Kurt Jensen
    Pages 247-260
Back to top

Keywords

About this book

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.

Authors and Affiliations

  • Computer Science Department, Aarhus University, Aarhus C, Denmark

    Kurt Jensen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation