Coloured Petri Nets

1. Front Matter

   Pages I-IX

   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

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.

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

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

  Kurt Jensen

Policies and ethics