Lecture Notes in Computer Science 7927 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Germany Madhu Sudan Microsoft Research, Cambridge, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbruecken, Germany
José-Manuel Colom Jörg Desel (Eds.) Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013 Milan, Italy, June 24-28, 2013 Proceedings 13
Volume Editors José-Manuel Colom Universidad de Zaragoza Departamento de Informática e Ingeniería de Sistemas María de Luna, 1, 50018 Zaragoza, Spain E-mail: jm@unizar.es Jörg Desel Fernuniversität Hagen, IZ Universitätsstraße 1, 58097 Hagen, Germany E-mail: joerg.desel@fernuni-hagen.de ISSN 0302-9743 e-issn 1611-3349 ISBN 978-3-642-38696-1 e-isbn 978-3-642-38697-8 DOI 10.1007/978-3-642-38697-8 Springer Heidelberg Dordrecht London New York Library of Congress Control Number: 2013939457 CR Subject Classification (1998): D.2.2, D.2.4, F.1, F.3, G.3, J.1, E.1 LNCS Sublibrary: SL 1 Theoretical Computer Science and General Issues Springer-Verlag Berlin Heidelberg 2013 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher s location, in ist current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright Clearance Center. Violations are liable to prosecution under the respective Copyright Law. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. While the advice and information in this book are believed to be true and accurate at the date of publication, neither the authors nor the editors nor the publisher can accept any legal responsibility for any errors or omissions that may be made. The publisher makes no warranty, express or implied, with respect to the material contained herein. Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com)
Preface This volume constitutes the proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2013). The Petri Net conferences serve as annual meeting places to discuss the progress in the field of Petri nets and related models of concurrency. They provide a forum for researchers to present and discuss both applications and theoretical developments in this area. Novel tools and substantial enhancements to existing tools can also be presented. The satellite program of the conference comprised three workshops, a Petri net course including basic and advanced tutorials and an additional tutorial on the work of Carl Adam Petri and Anatol W. Holt. The PETRI NETS 2013 conference was organized by the Università degli Studi di Milano - Bicocca. It took place in Milan, Italy, during June 24 28, 2013. We would like to express our deepest thanks to the Organizing Committee chaired by Lucia Pomello for the time and effort invested in the local organization of the conference. This year the number of submitted papers amounted to 56, which included 52 full papers and 4 tool papers. The authors of the papers represented 26 different countries. We thank all the authors who submitted papers. Each paper was reviewed by at least four referees. The Program Committee (PC) meeting took place electronically, using the EasyChair conference system for the paper selection process. The PC selected 20 papers (18 regular papers and 2 tool papers) for presentation. After the conference, some authors were invited to publish an extended version of their contribution in the Fundamenta Informaticae journal. We thank the PC members and other reviewers for their careful and timely evaluation of the submissions before the meeting, and the fruitful discussions during the electronic meeting. The Springer LNCS Team and the EasyChair system provided high-quality support in the preparation of this volume. We are also grateful to the invited speakers for their contribution: Kees van Hee, Kurt Jensen, Moshe Vardi, Stéphane Lafortune, and Catuscia Palamidessi. Manuscripts of the keynotes from Kees van Hee and from Stéphane Lafortune are included in this volume. Finally, we would like to pay tribute to Philippe Darondeau, member of the Program Committee of this conference and distinguished colleague. We were deeply shocked and saddened to learn of Philippe s death on March 18th, just a few days after the completion of the review process. He was an extremely friendly and highly-respected colleague, who remained modest and was always ready to help. Most members of our community knew and liked him and many of us collaborated with him. His absence will be felt for many years to come. June 2013 José-Manuel Colom Jörg Desel
Organization Steering Committee W. van der Aalst, The Netherlands J. Billington, Australia G. Ciardo, USA J. Desel, Germany S. Donatelli, Italy S. Haddad, France K. Hiraishi, Japan K. Jensen, Denmark J. Kleijn, The Netherlands F. Kordon, France M. Koutny, UK (chair) C. Lin, China W. Penczek, Poland L. Pomello, Italy W. Reisig, Germany G. Rozenberg, The Netherlands M. Silva, Spain A. Valmari, Finland A. Yakovlev, UK Program Committee Hassane Alla Université degrenoble,france Marco Beccuti Università degli Studi di Torino, Italy Jonathan Billington University of South Australia, Australia Josep Carmona Universitat Politècnica Catalunya, Spain Gianfranco Ciardo University of California at Riverside, USA José-Manuel Colom 1 (Co-chair) Universidad de Zaragoza, Spain Philippe Darondeau INRIA Rennes-Bretagne Atlantique, France Jörg Desel (Co-chair) Fernuniversität in Hagen, Germany Raymond Devillers Université Libre de Bruxelles, Belgium Zhenhua Duan Xidian University, China Javier Esparza Technische Universität München, Germany Maria Pia Fanti Politecnico di Bari, Italy Luís Gomes Universidade Nova de Lisboa, Portugal Serge Haddad École Normale Supérieure de Cachan, France Henri Hansen Tampere University of Technology, Finland Kunihiko Hiraishi Japan Advanced Institute of Science and Technology, Japan Victor Khomenko Newcastle University, UK Ekkart Kindler Technical University of Denmark, Denmark Hanna Klaudel Université d Evry-Val d Essonne, France 1 Sponsored by Spanish Ministry of Science and Innovation (MICINN) [TIN2011-27479-C04-01].
VIII Organization Jetty Kleijn Ranko Lazic Chuang Lin Niels Lohmann Irina Lomazova Andrew Miner Lucia Pomello Wolfgang Reisig Carla Seatzu Christian Stahl Satoshi Taoka Antti Valmari Michael Westergaard Universiteit Leiden, The Netherlands University of Warwick, UK Tsingnhua University, China Universität Rostock, Germany Higher School of Economics, Moscow, Russia Iowa State University, USA Università di Milano-Bicocca, Italy Humboldt-Universität zu Berlin, Germany Università di Cagliari, Italy Technische Universiteit Eindhoven, The Netherlands Hiroshima University, Japan Tampere University of Technology, Finland Technische Universiteit Eindhoven, The Netherlands Organizing Committee Lucia Pomello (Chair), Italy Workshops and Tutorials Chairs Serge Haddad, France Alex Yakovlev, UK Tools Exhibition Chair Luca Bernardinello, Italy Publicity Chairs Lucia Pomello, Italy Luca Bernardinello, Italy Additional Reviewers Alekseyev, Arseniy André, Étienne Badouel, Eric Barros, Joao Paulo Bashkin, Vladimir Basile, Francesco Basu, Samik Bérard, Béatrice Bernardinello, Luca Bollig, Benedikt Bonsangue, Marcello Caillaud, Benoit Carvalho, Rafael Chatain, Thomas Clarisó, Robert Costa, Anikó Fabre, Eric Fahland, Dirk Ferigato, Carlo Fernandes, João M. Finkel, Alain Fornari, Chiara Franceschinis, Giuliana Fronc, Lukasz
Organization IX Gabarró, Joaquim Geeraerts, Gilles Genest, Blaise Gierds, Christian Haddad, Axel Hoogeboom, Hendrik J. Huiquan, Zhu Iacobellis, Giorgio Jiménez, Emilio Jin, Xiaoqing Júlvez, Jorge Kikuchi, Shinji Kilinç, Görkem Kobayashi, Koichi Kohkichi, Tsuji Kuzmin, Egor Le Cornec, Yves-Stan Liu, Guan Jun Liu, Yan Mahulea, Cristian Mangini, Agostino M. Mangioni, Elisabetta Markowitch, Olivier Melliti, Tarek Miyamoto, Toshiyuki Moelle, Andre Mokhov, Andrey Müller, Richard Nakamura, Morikazu Ohta, Atsushi Paw lowski, Wies law Peschanski, Frédéric Pinna, G. Michele Poliakov, Ivan Pommereau, Franck Praveen, M. Prüfer, Robert Reynier, Pierre-Alain Ribeiro, Oscar Rosa-Velardo, Fernando Sangnier, Arnaud Schmitz, Sylvain Schwoon, Stefan Sené, Sylvain Siirtola, Antti Siri, Silvia Sokolov, Danil Song, Songzheng Sproston, Jeremy Steggles, Jason Sürmeli, Jan Takahashi, Koji Ter Beek, Maurice H. Tsuji, Kohkichi Verbeek, Fons Vázquez, Carlos Renato Wan, Min Wimmel, Harro Yamaguchi, Shingo Yamane, Satoshi Zhao, Yang Zheng, Manchun
Table of Contents Invited Papers The Right Timing: Reflections on the Modeling and Analysis of Time... 1 Kees van Hee and Natalia Sidorova Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets... 21 Stéphane Lafortune, Yin Wang, and Spyros Reveliotis Regular Papers Contextual Merged Processes... 29 César Rodríguez, Stefan Schwoon, and Victor Khomenko ω-petri Nets... 49 Gilles Geeraerts, Alexander Heußner, M. Praveen, and Jean-François Raskin Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets... 70 Ernst W. Mayr and Jeremias Weihmann A Semantics for Every GSPN... 90 Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, and Lijun Zhang Expressing and Computing Passage Time Measures of GSPN Models with HASL... 110 Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, and Giuliana Franceschinis On Multi-enabledness in Time Petri Nets... 130 Hanifa Boucheneb, Didier Lime, and Olivier H. Roux Complexity Results for Elementary Hornets... 150 Michael Köhler-Bußmeier and Frank Heitmann Complexity Analysis of Continuous Petri Nets... 170 Estíbaliz Fraca and Serge Haddad Step Persistence in the Design of GALS Systems... 190 Johnson Fernandes, Maciej Koutny, Marta Pietkiewicz-Koutny, Danil Sokolov, and Alex Yakovlev
XII Table of Contents A Taxonomy of Persistent and Nonviolent Steps... 210 Maciej Koutny, Lukasz Mikulski, and Marta Pietkiewicz-Koutny Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology... 230 David Gilbert, Monika Heiner, Fei Liu, and Nigel Saunders The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework... 250 Monica Clemente, Maria Pia Fanti, Agostino M. Mangini, and Walter Ukovich Net-Based Analysis of Event Processing Networks The Fast Flower Delivery Case... 270 Matthias Weidlich, Jan Mendling, and Avigdor Gal Hierarchical Conformance Checking of Process Models Based on Event Logs... 291 Jorge Munoz-Gama, Josep Carmona, and Wil M.P. van der Aalst Discovering Block-Structured Process Models from Event Logs - A Constructive Approach... 311 Sander J.J. Leemans, Dirk Fahland, and Wil M.P. van der Aalst Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows... 330 Robin Bergenthum Unifying the Semantics of Modular Extensions of Petri Nets... 349 Alexis Marechal and Didier Buchs Channel Properties of Asynchronously Composed Petri Nets... 369 Serge Haddad, Rolf Hennicker, and Mikael H. Møller Tool Papers MARCIE Model Checking and Reachability Analysis Done Efficiently... 389 Monika Heiner, Christian Rohr, and Martin Schwarick CPN Tools 4: Multi-formalism and Extensibility... 400 Michael Westergaard Author Index... 411