Advertisement

Application and Theory of Petri Nets

33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

  • Serge Haddad
  • Lucia Pomello
Conference proceedings PETRI NETS 2012

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Alain Finkel, Jean Goubault-Larrecq
      Pages 3-31
  3. Regular Papers

    1. Marc Solé, Josep Carmona
      Pages 51-71
    2. Wil M. P. van der Aalst
      Pages 72-91
    3. Guan Jun Liu, Jun Sun, Yang Liu, Jin Song Dong
      Pages 92-107
    4. María Martos-Salgado, Fernando Rosa-Velardo
      Pages 108-127
    5. Matthias Weidlich, Jan Martijn van der Werf
      Pages 148-167
    6. Dirk Fahland, Robert Prüfer
      Pages 168-187
    7. Xu Wang
      Pages 188-207
    8. Antti Valmari, Henri Hansen
      Pages 208-227
    9. Andreas Lehmann, Niels Lohmann, Karsten Wolf
      Pages 228-247
    10. Sami Evangelista, Lars Michael Kristensen
      Pages 248-267
    11. Astrid Rakow
      Pages 268-287
    12. Veronica Gil-Costa, Jair Lobos, Alonso Inostrosa-Psijas, Mauricio Marin
      Pages 288-307
    13. Joyce Nakatumba, Michael Westergaard, Wil M. P. van der Aalst
      Pages 308-327
    14. Debjyoti Bera, Kees M. van Hee, Jan Martijn van der Werf
      Pages 328-347
    15. Frédéric Cristini, Catherine Tessier
      Pages 348-367
    16. Frank Heitmann, Michael Köhler-Bußmeier
      Pages 368-387
  4. Tool Papers

    1. Simon Spinner, Samuel Kounev, Philipp Meier
      Pages 388-397
    2. Monika Heiner, Mostafa Herajy, Fei Liu, Christian Rohr, Martin Schwarick
      Pages 398-407
    3. Štefan Korečko, Ján Marcinčin, Viliam Slodičák
      Pages 408-417
  5. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2012, held in Hamburg, Germany, in June 2012. The 18 regular papers and 3 tool papers presented were carefully reviewed and selected from 55 submissions. The book also contains 2 invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.

Keywords

algorithms colored Petri nets modeling process mining workflow nets

Editors and affiliations

  • Serge Haddad
    • 1
  • Lucia Pomello
    • 2
  1. 1.Laboratoire Spécification et VérificationEcole Normale Supérieure de CachanCachanFrance
  2. 2.Dipartimento di Informatica, Sistemistica e ComunicazioneUniversità degli Studi di Milano–BicoccaMilanoItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-31131-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-31130-7
  • Online ISBN 978-3-642-31131-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications