proceedings concurrency transactions applications

books:

Business Process Management: 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, ...

Springer, 2005

The refereed proceedings of the 3rd International Conference on Business Process Management, BPM 2005, held in Nancy, France in September 2005. The 25 revised full papers (20 research papers and 5 industrial papers) presented together with 17 short papers were carefully reviewed and selected from 176 submissions. Among the issues addressed are Web services, workflow modeling, business process modeling, collaborative computing, ...

Transactions on Petri Nets and Other Models of Concurrency I (Lecture Notes in Computer Science)

Springer, 2009

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. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two stage refereeing process. ToPNoC contains: - Revised versions of some of the best ...

Business Process Management: International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, ...

Springer, 2003

This book constitutes the refereed proceedings of the International Conference on Business Process Management, BPM 2003, held in Eindhoven, The Netherlands, in June 2003. The 25 revised full papers presented together with an introductory survey article were carefully reviewed and selected from 77 submissions. Among the issues addressed are Web services, workflow modeling, business process modeling, collaborative computing, computer-supported ...

Workflow Management: Models, Methods, and Systems (Cooperative Information Systems)

3 reviews
Wil van der Aalst, Kees van Hee

The MIT Press, 2004

Workflow design with a twist
This book has significantly changed my thinking about and approach to workflow management. Prior to reading it I based workflow systems on process chains based on frameworks such as entry-task-validation-exit (ETVX) or plan-do-check-act (PDCA). While process chains are a valid approach, the only level of formality I imposed was cost and value analysis, which I realized after reading this book ...

Process Aware Information Systems: Bridging People and Software Through Process Technology
Marlon Dumas, Wil M. van der Aalst, ...

Wiley-Interscience, 2005

A unifying foundation to design and implement process-aware information systems This publication takes on the formidable task of establishing a unifying foundation and set of common underlying principles to effectively model, design, and implement process-aware information systems. Authored by leading authorities and pioneers in the field, Process-Aware Information Systems helps readers gain a thorough understanding of major concepts, ...

Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, Eindhoven, The ...

Springer, 2003

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 ...