Transactions on Petri Nets and Other Models of Concurrency II Specia

Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) II These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. T

  • PDF / 17,684,815 Bytes
  • 310 Pages / 430 x 660 pts Page_size
  • 51 Downloads / 177 Views

DOWNLOAD

REPORT


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 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 Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany

5460

Kurt Jensen Wil M.P. van der Aalst (Eds.)

Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems

13

Editor-in-Chief Kurt Jensen University of Aarhus Faculty of Science Department of Computer Science IT-parken, Aabogade 34, 8200 Aarhus N, Denmark E-mail: [email protected] Guest Editor Wil M.P. van der Aalst Technical University of Eindhoven Department of Mathematics and Computer Science Den Dolech 2, 5612 AZ Eindhoven, The Netherlands E-mail: [email protected]

Library of Congress Control Number: Applied for CR Subject Classification (1998): D.2.2-4, D.2, I.6, F.3-4, H.2.3, C.4

ISSN ISSN ISBN-10 ISBN-13

0302-9743 (Lecture Notes in Computer Science) 1867-7193 (Transactions on Petri Nets and Other Models of Concurrency) 3-642-00898-4 Springer Berlin Heidelberg New York 978-3-642-00898-6 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.com © Springer-Verlag Berlin Heidelberg 2009 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: 12631339 06/3180 543210

Preface by Editor-in-Chief

This is the second volume of the Journal entitled “LNCS Transactions on Petri Nets and Other Models of Concurrency” (ToPNoC). This special issue of ToPNoC focuses on a particular topic: Concurrency in Process-Aware Information Systems. Like some of the volumes in the earlier “Advances in Petri Nets” series, this volume provides a comprehensive state-of-the-art overview on a more focused topic. Process-Aware Information Systems have become one of the most