Transactions on Petri Nets and Other Models of Concurrency VIII

Editors:

ISBN: 978-3-642-40464-1 (Print) 978-3-642-40465-8 (Online)

Table of contents (10 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-23

    Comparing Metabolic Pathways through Reactions and Potential Fluxes

  3. No Access

    Book Chapter

    Pages 24-47

    Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow

  4. No Access

    Book Chapter

    Pages 48-70

    Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms

  5. No Access

    Book Chapter

    Pages 71-88

    From Code to Coloured Petri Nets: Modelling Guidelines

  6. No Access

    Book Chapter

    Pages 89-105

    Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets

  7. No Access

    Book Chapter

    Pages 106-122

    When Can We Trust a Third Party?

  8. No Access

    Book Chapter

    Pages 123-141

    Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle

  9. No Access

    Book Chapter

    Pages 142-158

    Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators

  10. No Access

    Book Chapter

    Pages 159-179

    Model-Driven Middleware Support for Team-Oriented Process Management

  11. No Access

    Book Chapter

    Pages 180-202

    Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching

  12. Back Matter

    Pages -