Lecture Notes in Computer Science 4024 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 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 University of Dortmund, Germany Madhu Sudan Massachusetts Institute of Technology, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Moshe Y. Vardi Rice University, Houston, TX, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany
Susanna Donatelli P.S. Thiagarajan (Eds.) Petri Nets and Other Models of Concurrency ICATPN 2006 27th International Conference onapplications and Theory of Petri Nets and Other Models of Concurrency Turku, Finland, June 26-30, 2006 Proceedings 13
Volume Editors Susanna Donatelli Università degli Studi di Torino, Dipartimento di Informatica Corso Svizzera 185, 10149 Torino, Italy E-mail: susi@di.unito.it P.S. Thiagarajan National University of Singapore, School of Computing 3 Science Drive 2, Singapore 117543, Singapore E-mail: thiagu@comp.nus.edu.sg Library of Congress Control Number: 2006926657 CR Subject Classification (1998): F.1-3, C.1-2, G.2.2, D.2, D.4, J.4 LNCS Sublibrary: SL 1 Theoretical Computer Science and General Issues ISSN 0302-9743 ISBN-10 3-540-34699-6 Springer Berlin Heidelberg New York ISBN-13 978-3-540-34699-9 Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com Springer-Verlag Berlin Heidelberg 2006 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: 11767589 06/3142 5 4 3 2 1 0
Preface This volume consists of the proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2006). This series of conferences provides a forum for presenting the current state of research on Petri nets and related approaches to concurrent systems. Both applications and theoretical developments are represented. Shorter presentations introducing novel tools or substantial enhancements to existing tools are also encouraged. Further, a range of invited talks that survey related domains are presented. ICATPN 2006 was co-located with the 6th International Conference on Applications of Concurrency to System Design (ACSD 2006). The two conferences had common satellite events and invited speakers as well as coordinated programs to enable participants to benefit from both conferences. The ICATPN 2006 conference as well as ACSD 2006 was organized by the Department of Computer Science, Åbo Academi University, Turku, Finland. We would like to heartily thank the Organizing Committee, chaired by Johan Lilius, for the considerable effort invested to bring off the two conferences smoothly. Detailed information about ICATPN 2006 and the related events can be found at http://www.cs.abo.fi/atpn2006/. This year we received 93 submissions from authors from 26 different countries. The Program Committee selected 22 contributions classified as: theory papers (10 accepted), application and theory papers (3 accepted), application papers (3 accepted) and tool papers (6 accepted). We thank all the authors who submitted papers. We wish to thank the Program Committee members and other reviewers (whose names appear on page VII) for their careful and timely evaluation of the submissions before the Program Committee meeting in Turin, Italy. Special thanks are due to Martin Karusseit, University of Dortmund, for his technical support with the Online Conference Service. Finally, we wish to express our gratitude to the four invited speakers, Ralf-Johan Back, Javier Campos, Ekkart Kindler and Jianli Xu, who chose to have their papers appear in this volume. As usual, the Springer LNCS Team provided high quality support in the preparation of this volume. Last but not least, our heartfelt thanks are due to Phan Thi Xuan Linh and Yang Shaofa who put in a great deal of work toward the compilation of these proceedings. April 2006 Susanna Donatelli and P.S. Thiagarajan
Organization Steering Committee Wil van der Aalst, The Netherlands Jonathan Billington, Australia Jörg Desel, Germany Susanna Donatelli, Italy Serge Haddad, France Kurt Jensen, Denmark (chair) H.C.M. Kleijn, The Netherlands Maciej Koutny, UK Sadatoshi Kumagai, Japan Tadao Murata, USA Carl Adam Petri, Germany (honorary member) Lucia Pomello, Italy Wolfgang Reisig, Germany Grzegorz Rozenberg, The Netherlands Manuel Silva, Spain Organizing Committee Jerker Björkqvist Robert Gyllenberg Tiina Haanila Johan Lilius (chair) Lionel Morel Xinrong Zhou Tool Demonstration Jerker Björkqvist (chair) Program Committee Jonathan Billington, Australia Didier Buchs, Switzerland Nadia Busi, Italy Gianfranco Ciardo, USA Jose Manuel Colom, Spain Philippe Darondeau, France Susanna Donatelli, Italy (co-chair, applications) Giuliana Franceschinis, Italy Boudewijn Haverkort, The Netherlands Xudong He, USA Kees M. van Hee, The Netherlands Monika Heiner, Germany Jane Hillston, UK Kunihiko Hiraishi, Japan Petr Jančar, Czech Republic Gabriel Juhás, Germany Maciej Koutny, UK Lars Michael Kristensen, Denmark Johan Lilius, Finland Madhavan Mukund, India Wojciech Penczek, Poland Laure Petrucci, France Lucia Pomello, Italy Laura Recalde, Spain Karsten Schmidt, Germany P.S. Thiagarajan, Singapore (co-chair, theory) Toshimitsu Ushio, Japan Rudiger Valk, Germany Francois Vernadat, France
VIII Organization Referees Slim Abdellatif Baver Acu Alessandra Agostini Alessandro Aldini Ashok Argent-Katwala Eric Badouel Kamel Barkaoui Marek Bednarczyk Simona Bernardi Luca Bernardinello Gérard Berthelot Bernard Berthomieu Jerker Björkqvist Jean-Paul Bodeveix Luciano Bononi Jeremy Bradley Roberto Bruni Benoit Caillaud Ang Chen Christine Choppy Lucia Cloth Salem Derisavi Raymond Devillers Jean Fanchon Carlo Ferigato Mamoun Filali Jana Flochova Blaise Genest Stephen Gilmore Andreas Glausch Monika Heiner Keijo Heljanko Loïc Hélouët Jarle Hulaas David Hurzeler Wojtek Jamroga Agata Janowska Pawel Janowski Jorge Julvez Victor Khomenko Hanna Klaudel Jetty Kleijn Fabrice Kordon Matthias Kuntz Sebastien Lafond Niels Lohmann Marco Loregian Robert Lorenz Roberto Lucchi Levi Lucio Matteo Magnani Cristian Mahulea Jose M. Martinez Peter Massuthe Hiroshi Matsuno Sebastian Mauser Samia Mazouz José Merseguer Toshiyuki Miyamoto Madhavan Mukund Wojciech Nabialek Igor Nai Fovino Atsushi Ohta Luca Padovani Wieslaw Pawlowski Luis Pedro Elisabeth Pelz Giovanni Michele Pinna Denis Poitrenaud Agata Pólrola Franck Pommereau Ivan Porres Wolfgang Reisig Anne Remke Matteo Risoldi Diego Rodriguez Christian Stahl Tatsuya Suzuki Maciej Szreter Shigemasa Takai Dragos Truscan Kohkichi Tsuji Robert Valette Enrico Vicario Jozef Winkowski Satoshi Yamane Gianluigi Zavattaro
Table of Contents Invited Papers Invariant Based Programming Ralph-Johan Back... 1 On the Integration of UML and Petri Nets in Software Development Javier Campos, José Merseguer... 19 Component Tools: Integrating Petri Nets with Other Formal Methods Ekkart Kindler, Vladimir Rubin, Robert Wagner... 37 Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development Jianli Xu... 57 Full Papers Compensation in Workflow Nets Baver Acu, Wolfgang Reisig... 65 The Synthesis Problem of Netcharts Nicolas Baudru, Rémi Morin... 84 Non-sequential Behaviour of Dynamic Nets Roberto Bruni, Hernán Melgratti... 105 Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets Thomas Chatain, Claude Jard... 125 On the Computation of Stubborn Sets of Colored Petri Nets Sami Evangelista, Jean-François Pradat-Peyre... 146 On the Construction of Pullbacks for Safe Petri Nets Eric Fabre... 166 From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis David Gilbert, Monika Heiner... 181 How Expressive Are Petri Net Schemata? Andreas Glausch, Wolfgang Reisig... 201
X Table of Contents A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets Serge Haddad, Lynda Mokdad, Patrice Moreaux... 221 Nested Nets for Adaptive Systems Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve... 241 Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets Meuse N.O. Junior, Silvino Neto, Paulo Maciel, Ricardo Lima, Angelo Ribeiro, Raimundo Barreto, Eduardo Tavares, Frederico Braga... 261 Infinite Process Semantics of Inhibitor Nets H.C.M. Kleijn, M. Koutny... 282 Towards Synthesis of Petri Nets from Scenarios Robert Lorenz, Gabriel Juhás... 302 Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions Spyros A. Reveliotis, Jin Young Choi... 322 On the Step Explosion Problem Stephan Roch, Karsten Schmidt... 342 Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets Katrin Winkelmann, Holger Luczak... 362 Tool Papers Can I Execute My Scenario in Your Net? VipTool Tells You! Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz... 381 Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets Olivier Bonnet-Torrès, Patrice Domenech, Charles Lesire, Catherine Tessier... 391 ArgoSPE: Model-Based Software Performance Engineering Elena Gómez-Martínez, José Merseguer... 401
Table of Contents XI Petriweb: A Repository for Petri Nets R. Goud, Kees M. van Hee, R.D.J. Post, J.M.E.M. van der Werf... 411 Geist3D, a Simulation Tool for Geometry-Driven Petri Nets Jochen Stier, Jens Jahnke, Hausi Müller... 421 The BRITNeY Suite Animation Tool Michael Westergaard, Kristian Bisgaard Lassen... 431 Author Index... 441