Book Volume 3098 2004

Lectures on Concurrency and Petri Nets

Advances in Petri Nets

Editors:

ISBN: 978-3-540-22261-3 (Print) 978-3-540-27755-2 (Online)

Table of contents (23 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Chapter

    Pages 1-65

    Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management

  3. No Access

    Chapter

    Pages 66-86

    InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming

  4. No Access

    Chapter

    Pages 87-124

    Timed Automata: Semantics, Algorithms and Tools

  5. No Access

    Chapter

    Pages 125-179

    Petri Nets and Dependability

  6. No Access

    Chapter

    Pages 180-209

    Process Algebra

  7. No Access

    Chapter

    Pages 210-290

    A Coloured Petri Net Approach to Protocol Verification

  8. No Access

    Chapter

    Pages 291-327

    Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets

  9. No Access

    Chapter

    Pages 328-344

    A Survey on Non-interference with Petri Nets

  10. No Access

    Chapter

    Pages 345-401

    Synthesis of Asynchronous Hardware from Petri Nets

  11. No Access

    Chapter

    Pages 402-412

    Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned

  12. No Access

    Chapter

    Pages 413-438

    Unbounded Petri Net Synthesis

  13. No Access

    Chapter

    Pages 439-466

    Petri Nets and Software Engineering

  14. No Access

    Chapter

    Pages 467-495

    Model Validation in Controller Design

  15. No Access

    Chapter

    Pages 496-536

    Graph Grammars and Petri Net Transformations

  16. No Access

    Chapter

    Pages 537-558

    Message Sequence Charts

  17. No Access

    Chapter

    Pages 559-584

    Model-Based Development of Executable Business Processes for Web Services

  18. No Access

    Chapter

    Pages 585-625

    Modelling and Control with Modules of Signal Nets

  19. No Access

    Chapter

    Pages 626-685

    Application of Coloured Petri Nets in System Development

  20. No Access

    Chapter

    Pages 686-701

    Bigraphs for Petri Nets

  21. No Access

    Chapter

    Pages 702-741

    Notes on Timed Concurrent Constraint Programming

previous Page of 2