Book Volume 5100 2008

Transactions on Petri Nets and Other Models of Concurrency I

ISBN: 978-3-540-89286-1 (Print) 978-3-540-89287-8 (Online)

Table of contents (13 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Chapter

    Pages 1-18

    Constructive Alignment for Teaching Model-Based Design for Concurrency

  3. No Access

    Chapter

    Pages 19-34

    Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets

  4. No Access

    Chapter

    Pages 35-53

    Teaching Concurrency Concepts to Freshmen

  5. No Access

    Chapter

    Pages 54-70

    TAPAs: A Tool for the Analysis of Process Algebras

  6. No Access

    Chapter

    Pages 71-85

    Translating Message Sequence Charts to other Process Languages Using Process Mining

  7. No Access

    Chapter

    Pages 86-103

    Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering

  8. No Access

    Chapter

    Pages 104-118

    Time Recursive Petri Nets

  9. No Access

    Chapter

    Pages 119-133

    Designing Case Handling Systems

  10. No Access

    Chapter

    Pages 134-151

    Model Driven Testing Based on Test History

  11. No Access

    Chapter

    Pages 152-171

    Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization

  12. No Access

    Chapter

    Pages 172-198

    Directed Unfolding of Petri Nets

  13. No Access

    Chapter

    Pages 199-220

    McMillan’s Complete Prefix for Contextual Nets

  14. No Access

    Chapter

    Pages 221-249

    Elasticity and Petri Nets

  15. Back Matter

    Pages -