Application and Theory of Petri Nets and Concurrency

35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings

  • Gianfranco Ciardo
  • Ekkart Kindler
Conference proceedings PETRI NETS 2014
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8489)

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Kurt Lautenbach
      Pages 1-19
    2. Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner
      Pages 20-39
  3. Regular Papers

    1. José Antonio Mateo, Jiří Srba, Mathias Grund Sørensen
      Pages 51-70
    2. Anna A. Kalenkova, Irina A. Lomazova, Wil M. P. van der Aalst
      Pages 71-90
    3. Sander J. J. Leemans, Dirk Fahland, Wil M. P. van der Aalst
      Pages 91-110
    4. Eike Best, Raymond Devillers
      Pages 111-129
    5. Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
      Pages 130-149
    6. Paweł Sobociński, Owen Stephens
      Pages 150-169
    7. Giovanni Casu, G. Michele Pinna
      Pages 170-189
    8. Paolo Baldan, Alberto Carraro
      Pages 190-209
    9. Artem Polyvyanyy, Matthias Weidlich, Raffaele Conforti, Marcello La Rosa, Arthur H. M. ter Hofstede
      Pages 210-232
    10. Robert Lorenz, Markus Huber, Günther Wirsching
      Pages 233-252
    11. Florent Avellaneda, Rémi Morin
      Pages 253-272
    12. Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich, Alessio Angius, Gianfranco Balbo
      Pages 273-293
    13. María Martos-Salgado, Fernando Rosa-Velardo
      Pages 294-313
    14. Thomas Hujsa, Jean-Marc Delosme, Alix Munier-Kordon
      Pages 334-353
  4. Tool Papers

    1. Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli
      Pages 354-363

About these proceedings

Introduction

This book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The 15 regular papers and 4 tool papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 invited talks in full paper length. The papers cover various topics in the field of Petri nets and related models of concurrency.

Keywords

Petri nets concurrency concurrent systems formal methods model checking process models software system models theory of computation

Editors and affiliations

  • Gianfranco Ciardo
    • 1
  • Ekkart Kindler
    • 2
  1. 1.Department of Computer ScienceIowa State UniversityAmesUSA
  2. 2.DTU ComputeTechnical University of DenmarkLyngbyDenmark

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-07734-5
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-07733-8
  • Online ISBN 978-3-319-07734-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book