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.
Lecture Notes in Computer Science 5460 Springer 2009, ISBN 978-3-642-00898-6 
- Wil M. P. van der Aalst:
Process-Aware Information Systems: Lessons to Be Learned from Process Mining.
1-26
- Ekkart Kindler:
Model-Based Software Engineering and Process-Aware Information Systems.
27-45
- Niels Lohmann, Eric Verbeek, Remco M. Dijkman:
Petri Net Transformations for Business Processes - A Survey.
46-63
- Frank Puhlmann, Mathias Weske:
A Look Around the Corner: The Pi-Calculus.
64-78
- Nick Russell, Arthur H. M. ter Hofstede:
newYAWL: Towards Workflow 2.0.
79-97
- Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt:
A Formal Model for Organisational Structures behind Process-Aware Information Systems.
98-114
- Manfred Reichert, Stefanie Rinderle-Ma, Peter Dadam:
Flexibility in Process-Aware Information Systems.
115-135
- Ralph Mietzner, Dimka Karastoyanova, Frank Leymann:
Business Grid: Combining Web Services and the Grid.
136-151
- Karsten Wolf:
Does My Service Have Partners?.
152-171
- Christian Stahl, Peter Massuthe, Jan Bretschneider:
Deciding Substitutability of Services with Operating Guidelines.
172-191
- 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
- Jan Mendling:
Empirical Studies in Process Model Verification.
208-224
- Boudewijn F. van Dongen, Ana Karla Alves de Medeiros, L. Wen:
Process Mining: Overview and Outlook of Petri Net Discovery Algorithms.
225-242
- Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz:
Construction of Process Models from Example Runs.
243-259
- Hong Linh Truong, Schahram Dustdar:
Online Interaction Analysis Framework for Ad-Hoc Collaborative Processes in SOA-Based Environments.
260-277
- Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, Sergio Storari:
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining.
278-295
Last update Mon Feb 13 04:59:43 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
