Skip to main content
  • Conference proceedings
  • © 2011

Application and Theory of Petri Nets

32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings

  • Fast-track conference proceedings

  • State-of-the-art research

  • Up-to-date results

Conference proceedings info: PETRI NETS 2011.

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-21834-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (20 papers)

  1. Front Matter

  2. Regular Papers

    1. Forward Analysis and Model Checking for Trace Bounded WSTS

      • Pierre Chambart, Alain Finkel, Sylvain Schmitz
      Pages 49-68
    2. Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning

      • Pierre-Alain Reynier, Frédéric Servais
      Pages 69-88
    3. An Algorithm for Direct Construction of Complete Merged Processes

      • Victor Khomenko, Andrey Mokhov
      Pages 89-108
    4. Branching Processes of General Petri Nets

      • Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil
      Pages 129-148
    5. Refinement of Synchronizable Places with Multi-workflow Nets

      • Kees M. van Hee, Natalia Sidorova, Jan Martijn van der Werf
      Pages 149-168
    6. Finding a Witness Path for Non-liveness in Free-Choice Nets

      • Harro Wimmel, Karsten Wolf
      Pages 189-207
    7. A Petri Net Interpretation of Open Reconfigurable Systems

      • Frédéric Peschanski, Hanna Klaudel, Raymond Devillers
      Pages 208-227
    8. The Mutex Paradigm of Concurrency

      • Jetty Kleijn, Maciej Koutny
      Pages 228-247
    9. On the Origin of Events: Branching Cells as Stubborn Sets

      • Henri Hansen, Xu Wang
      Pages 248-267
    10. Synthesis and Analysis of Product-Form Petri Nets

      • S. Haddad, J. Mairesse, H-T. Nguyen
      Pages 288-307

Other Volumes

  1. Applications and Theory of Petri Nets

    32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings

About this book

This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, in June 2011.
The 13 regular papers and 4 tool papers presented were carefully reviewed and selected from 49 submissions. The book also contains 3 full paper length invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.

Keywords

  • bounded language
  • dependability
  • model checking
  • parallel processes
  • verification

Editors and Affiliations

  • Department of Computer Engineering, Bergen University College, Norway

    Lars M. Kristensen

  • LIPN, CNRS UMR 7030, Université Paris XIII, Villetaneuse, France

    Laure Petrucci

Bibliographic Information

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-21834-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.00
Price excludes VAT (USA)