Transactions on Petri Nets and Other Models of Concurrency, Volume 2, 2009

• Wil M. P. van der Aalst:
  Process-Aware Information Systems: Lessons to Be Learned from Process Mining. 1-26
  Electronic Edition (link) BibTeX
• Ekkart Kindler:
  Model-Based Software Engineering and Process-Aware Information Systems. 27-45
  Electronic Edition (link) BibTeX
• Niels Lohmann, Eric Verbeek, Remco M. Dijkman:
  Petri Net Transformations for Business Processes - A Survey. 46-63
  Electronic Edition (link) BibTeX
• Frank Puhlmann, Mathias Weske:
  A Look Around the Corner: The Pi-Calculus. 64-78
  Electronic Edition (link) BibTeX
• Nick Russell, Arthur H. M. ter Hofstede:
  newYAWL: Towards Workflow 2.0. 79-97
  Electronic Edition (link) BibTeX
• Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt:
  A Formal Model for Organisational Structures behind Process-Aware Information Systems. 98-114
  Electronic Edition (link) BibTeX
• Manfred Reichert, Stefanie Rinderle-Ma, Peter Dadam:
  Flexibility in Process-Aware Information Systems. 115-135
  Electronic Edition (link) BibTeX
• Ralph Mietzner, Dimka Karastoyanova, Frank Leymann:
  Business Grid: Combining Web Services and the Grid. 136-151
  Electronic Edition (link) BibTeX
• Karsten Wolf:
  Does My Service Have Partners?. 152-171
  Electronic Edition (link) BibTeX
• Christian Stahl, Peter Massuthe, Jan Bretschneider:
  Deciding Substitutability of Services with Operating Guidelines. 172-191
  Electronic Edition (link) BibTeX
• Kees M. van Hee, H. M. W. Verbeek, Christian Stahl, Natalia Sidorova:
  A Framework for Linking and Pricing No-Cure-No-Pay Services. 192-207
  Electronic Edition (link) BibTeX
• Jan Mendling:
  Empirical Studies in Process Model Verification. 208-224
  Electronic Edition (link) BibTeX
• Boudewijn F. van Dongen, Ana Karla Alves de Medeiros, L. Wen:
  Process Mining: Overview and Outlook of Petri Net Discovery Algorithms. 225-242
  Electronic Edition (link) BibTeX
• Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz:
  Construction of Process Models from Example Runs. 243-259
  Electronic Edition (link) BibTeX
• Hong Linh Truong, Schahram Dustdar:
  Online Interaction Analysis Framework for Ad-Hoc Collaborative Processes in SOA-Based Environments. 260-277
  Electronic Edition (link) BibTeX
• Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari:
  Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. 278-295
  Electronic Edition (link) BibTeX