This book constitutes the refereed proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN 2003, held in Eindhoven, The Netherlands in June 2003.
The 25 revised full papers presented together with 6 invited contributions were carefully reviewed and selected from 77 submissions. All current issues on research and development in the area of Petri nets are addressed, in particular concurrent systems design and analysis, model checking, networking, business process modeling, formal methods in software engineering, agent systems, systems specification, systems validation, discrete event systems, protocols, and prototyping.
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 2679 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Wil van der Aalst Eike Best (Eds.) Applications and Theory of Petri Nets 2003 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23-27, 2003 Proceedings 13 Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editors Wil M.P. van der Aalst Eindhoven University of Technology Faculty of Technology and Management P.O. Box 513, 5600 MB Eindhoven, The Netherlands E-mail:
[email protected] Eike Best University of Oldenburg Computer Science Department Parallel Systems Group 26111 Oldenburg, Germany E-mail:
[email protected] Cataloging-in-Publication Data applied for A catalog record for this book is available from the Library of Congress. Bibliographic information published by Die Deutsche Bibliothek Die Deutsche Bibliothek lists this publication in the Deutsche Nationalbibliografie; detailed bibliographic data is available in the Internet at . CR Subject Classification (1998): F.1-3, C.1-2, G.2.2, D.2, D.4, J.4 ISSN 0302-9743 ISBN 3-540-40334-5 Springer-Verlag 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-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag Berlin Heidelberg New York a member of BertelsmannSpringer Science+Business Media GmbH http://www.springer.de © Springer-Verlag Berlin Heidelberg 2003 Printed in Germany Typesetting: Camera-ready by author, data conversion by PTP-Berlin GmbH Printed on acid-free paper SPIN: 10927571 06/3142 543210 Preface This volume contains the proceedings of the 24th International Conference on Application and Theory of Petri Nets (ICATPN 2003). The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 100-150 participants – one third of these coming from industry while the rest are from universities and research institutions. The conferences always take place in the last week of June. The conference and a number of other activities are coordinated by a steering committee with the following members: Jonathan Bill