Applications and Theory of Petri Nets

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

  • Lars M. Kristensen
  • Laure Petrucci
Conference proceedings PETRI NETS 2011

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Regular Papers

    1. Pierre Chambart, Alain Finkel, Sylvain Schmitz
      Pages 49-68
    2. Pierre-Alain Reynier, Frédéric Servais
      Pages 69-88
    3. Victor Khomenko, Andrey Mokhov
      Pages 89-108
    4. Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil
      Pages 129-148
    5. Kees M. van Hee, Natalia Sidorova, Jan Martijn van der Werf
      Pages 149-168
    6. Harro Wimmel, Karsten Wolf
      Pages 189-207
    7. Frédéric Peschanski, Hanna Klaudel, Raymond Devillers
      Pages 208-227
    8. Jetty Kleijn, Maciej Koutny
      Pages 228-247
    9. Henri Hansen, Xu Wang
      Pages 248-267
    10. S. Haddad, J. Mairesse, H-T. Nguyen
      Pages 288-307
  4. Tool Papers

About these proceedings

Introduction

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

  • Lars M. Kristensen
    • 1
  • Laure Petrucci
    • 2
  1. 1.Department of Computer EngineeringBergen University CollegeNorway
  2. 2.LIPN, CNRS UMR 7030Université Paris XIIIVilletaneuseFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-21834-7
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-21833-0
  • Online ISBN 978-3-642-21834-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book