Transactions on Petri Nets and Other Models of Concurrency VI

ISBN: 978-3-642-35178-5 (Print) 978-3-642-35179-2 (Online)

Table of contents (14 chapters)

  1. Front Matter

    Pages -

  2. Best Workshop Papers from Petri Nets 2011

    1. No Access

      Book Chapter

      Pages 1-23

      The Label Splitting Problem

    2. No Access

      Book Chapter

      Pages 24-45

      Distributed Control of Discrete-Event Systems: A First Step

    3. No Access

      Book Chapter

      Pages 46-70

      Extending pnml Scope: A Framework to Combine Petri Nets Types

    4. No Access

      Book Chapter

      Pages 71-93

      Modelling Local and Global Behaviour: Petri Nets and Event Coordination

    5. No Access

      Book Chapter

      Pages 94-122

      Model Checking Using Generalized Testing Automata

    6. No Access

      Book Chapter

      Pages 123-145

      A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis

    7. No Access

      Book Chapter

      Pages 146-168

      Verifying Parallel Algorithms and Programs Using Coloured Petri Nets

    8. No Access

      Book Chapter

      Pages 169-196

      Report on the Model Checking Contest at Petri Nets 2011

  3. Special Section on Networks, Protocols, and Services

    1. No Access

      Book Chapter

      Pages 197-225

      Modelling and Formal Verification of the NEO Protocol

    2. No Access

      Book Chapter

      Pages 226-250

      An Initial Coloured Petri Net Model of the Hypertext Transfer Protocol Operating over the Transmission Control Protocol

    3. No Access

      Book Chapter

      Pages 251-276

      Privacy Compliance Verification in Cryptographic Protocols

    4. No Access

      Book Chapter

      Pages 277-307

      Modeling Energy-Aware Cloud Federations with SRNs

    5. No Access

      Book Chapter

      Pages 308-333

      A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework

  4. Regular Paper

    1. No Access

      Book Chapter

      Pages 334-363

      Aggregating Causal Runs into Workflow Nets

  5. Back Matter

    Pages -