Business processes are among today's hottest topics in the science and practice of information systems. Business processes and workflow management systems attract a lot of attention from R&D professionals in software engineering, information systems, business-oriented computer science, and management sciences. The carefully reviewed chapters ...
This book constitutes the refereed proceedings of the second International Conference on Business Process Management, BPM 2004, held in Potsdam, Germany in June 2004.The 19 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers are organized in topical sections on business process modeling, formal models ...
This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. ...
Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also used by industrial practitioners. This book focuses on a particular class of petri nets, free choice petri nets, which play a central role in the ...
This is the latest volume in the Workshops in Computing series, and contains the papers presented at the International Workshop on Structures in Concurrency Theory (STRICT), held in Berlin, from 11-13 May 1995. Concurrency theory deals with formal aspects of concurrent systems. It uses partly competing and partly complementary formalisms and ...
This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstatt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. This book will be useful as both a reference for those ...
Was ist Informatik? Was ist wesentlich in ihrer relativ jungen Geschichte? Wie grenzt sich die Informatik ab gegenA1/4ber benachbarten Disziplinen, die auch zunehmend mit dem Einsatz von Rechnern zu tun haben? In welche Richtung geht ihre Entwicklung, die vom rasanten technischen Fortschritt und von gesellschaftlichen VerAnderungen angetrieben ...
We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.
Workflow Management: Models, Methods, and Systems
by
Wil Van Der Aalst, Kees Van Hee, Wil Van Der Aalst
On the Move to Meaningful Internet Systems 2004: CoopLS, DOA, and ODBASE: OTM Confederate International Conferences CoopLS, DOA, and ODBASE 2004 Agia Napa, Cyprus, October 25-29, 2004 Proceedings, Part II
by
Robert Meersman (Editor), Zahir Tari (Editor), Wil Van Der Aalst (Editor)