Skip to main content
SpringerLink
Log in
Book cover

Application and Theory of Petri Nets

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

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Lars M. Kristensen

    1. Department of Computer Engineering, Bergen University College, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Laure Petrucci

    1. LIPN, CNRS UMR 7030, Université Paris XIII, Villetaneuse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6709)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: PETRI NETS 2011.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 papers)

  1. Front Matter

    Download chapter PDF

  3. 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. How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings

      • G. Michele Pinna
      Pages 109-128

    5. Branching Processes of General Petri Nets

      • Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil
      Pages 129-148

    6. Refinement of Synchronizable Places with Multi-workflow Nets

      • Kees M. van Hee, Natalia Sidorova, Jan Martijn van der Werf
      Pages 149-168

    7. Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets

      • Michael Westergaard, Fabrizio M. Maggi
      Pages 169-188

    8. Finding a Witness Path for Non-liveness in Free-Choice Nets

      • Harro Wimmel, Karsten Wolf
      Pages 189-207

    9. A Petri Net Interpretation of Open Reconfigurable Systems

      • Frédéric Peschanski, Hanna Klaudel, Raymond Devillers
      Pages 208-227

    10. The Mutex Paradigm of Concurrency

      • Jetty Kleijn, Maciej Koutny
      Pages 228-247

    11. On the Origin of Events: Branching Cells as Stubborn Sets

      • Henri Hansen, Xu Wang
      Pages 248-267

    12. On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet

      • Jonathan Billington, Guy Edward Gallasch
      Pages 268-287

    13. Synthesis and Analysis of Product-Form Petri Nets

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

Other volumes

  1. Applications and Theory of Petri Nets

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation