2009

Coloured Petri Nets

Modelling and Validation of Concurrent Systems

Authors:

ISBN: 978-3-642-00283-0 (Print) 978-3-642-00284-7 (Online)

Table of contents (17 chapters)

  1. Front Matter

    Pages i-ix

  2. No Access

    Book Chapter

    Pages 1-12

    Introduction to Modelling and Validation

  3. No Access

    Book Chapter

    Pages 13-41

    Non-hierarchical Coloured Petri Nets

  4. No Access

    Book Chapter

    Pages 43-77

    CPN ML Programming

  5. No Access

    Book Chapter

    Pages 79-94

    Formal Definition of Non-hierarchical Coloured Petri Nets

  6. No Access

    Book Chapter

    Pages 95-125

    Hierarchical Coloured Petri Nets

  7. No Access

    Book Chapter

    Pages 127-149

    Formal Definition of Hierarchical Coloured Petri Nets

  8. No Access

    Book Chapter

    Pages 151-187

    State Spaces and Behavioural Properties

  9. No Access

    Book Chapter

    Pages 189-201

    Advanced State Space Methods

  10. No Access

    Book Chapter

    Pages 203-229

    Formal Definition of State Spaces and Behavioural Properties

  11. No Access

    Book Chapter

    Pages 231-255

    Timed Coloured Petri Nets

  12. No Access

    Book Chapter

    Pages 257-271

    Formal Definition of Timed Coloured Petri Nets

  13. No Access

    Book Chapter

    Pages 273-301

    Simulation-based Performance Analysis

  14. No Access

    Book Chapter

    Pages 303-312

    Behavioural Visualisation

  15. No Access

    Book Chapter

    Pages 313-361

    Examples of Industrial Applications

  16. No Access

    Book Chapter

    Pages 363-374

    Teaching Coloured Petri Nets

  17. Back Matter

    Pages 1-9