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.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

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

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.

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

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access