Wil M. P. van der Aalst Papers on DiSC'04 Workflow Patterns Publications Note: Links lead to the DBLP on the Web. Wil M. P. van der Aalst Wil M. P. van der Aalst, Arthur H. M. ter Hofstede , Mathias Weske : Business Process Management, International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings Springer 2003 Wil M. P. van der Aalst, Eike Best : Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings Springer 2003 Wil M. P. van der Aalst, Arthur H. M. ter Hofstede , Mathias Weske : Business Process Management: A Survey. Business Process Management 2003 : 1-12 A. K. A. de Medeiros , Wil M. P. van der Aalst, A. J. M. M. Weijters : Workflow Mining: Current Status and Future Directions. CoopIS/DOA/ODBASE 2003 : 389-406 Petia Wohed , Wil M. P. van der Aalst, Marlon Dumas , Arthur H. M. ter Hofstede : Analysis of Web Services Composition Languages: The Case of BPEL4WS. ER 2003 : 200-215 Wil M. P. van der Aalst, Marlon Dumas , Arthur H. M. ter Hofstede : Web Service Composition Languages: Old Wine in New Bottles?. EUROMICRO 2003 : 298-307 Wil M. P. van der Aalst: Inheritance of Business Processes: A Journey Visiting Four Notorious Problems. Petri Net Technology for Communication-Based Systems 2003 : 383-408 Wil M. P. van der Aalst, Akhil Kumar , H. M. W. (Eric) Verbeek : Organizational Modeling in UML and XML in the Context of Workflow Systems. SAC 2003 : 603-608 Bartek Kiepuszewski , Arthur H. M. ter Hofstede , Wil M. P. van der Aalst: Fundamentals of control flow in workflows. Acta Inf. 39 (3): 143-209 (2003) Wil M. P. van der Aalst: Challenges in Business Process Management: Verification of Business Processing Using Petri Nets. Bulletin of the EATCS 80 : 174-199 (2003) Wil M. P. van der Aalst, B. F. van Dongen , Joachim Herbst , Laura Maruster , Guido Schimm , A. J. M. M. Weijters : Workflow mining: A survey of issues and approaches. Data Knowl. Eng. 47 (2): 237-267 (2003) Wil M. P. van der Aalst, Arthur H. M. ter Hofstede , Bartek Kiepuszewski , Alistair P. Barros : Workflow Patterns. Distributed and Parallel Databases 14 (1): 5-51 (2003) Steffen Staab , Wil M. P. van der Aalst, V. Richard Benjamins , Amit P. Sheth , John A. Miller , Christoph Bussler , Alexander Maedche , Dieter Fensel , Dennis Gannon : Web Services: Been There, Done That? IEEE Intelligent Systems 18 (1): 72-85 (2003) Hajo A. Reijers , J. H. M. Rigter , Wil M. P. van der Aalst: The Case Handling Case. Int. J. Cooperative Inf. Syst. 12 (3): 365-391 (2003) Wil M. P. van der Aalst, Kees M. van Hee : Workflow Management: Models, Methods, and Systems MIT Press 2002 Laura Maruster , J. C. Wortmann , A. J. M. M. Weijters , Wil M. P. van der Aalst: Discovering Distributed Processes in Supply Chains. APMS 2002 : 219-230 Wil M. P. van der Aalst, Alexander Hirnschall , H. M. W. (Eric) Verbeek : An Alternative Way to Analyze Workflow Graphs. CAiSE 2002 : 535-552 Laura Maruster , A. J. M. M. Weijters , Wil M. P. van der Aalst, Antal van den Bosch : Process Mining: Discovering Direct Successors in Process Logs. Discovery Science 2002 : 364-373 Wil M. P. van der Aalst, B. F. van Dongen : Discovering Workflow Performance Models from Timed Logs. EDCIS 2002 : 45-63 Wil M. P. van der Aalst, Jörg Desel , Ekkart Kindler : On the semantics of EPCs: A vicious circle. EPK 2002 : 71-79 Wil M. P. van der Aalst: Making Work Flow: On the Application of Petri Nets to Business Process Management. ICATPN 2002 : 1-22 H. M. W. (Eric) Verbeek , Alexander Hirnschall , Wil M. P. van der Aalst: XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology. WES 2002 : 93-108 Wil M. P. van der Aalst: Inheritance of Interorganizational Workflows to Enable Business-to-Business. Electronic Commerce Research 2 (3): 195-231 (2002) Wil M. P. van der Aalst, Kees M. van Hee , Robert A. van der Toorn : Component-based software architectures: a framework based on inheritance of behavior. Sci. Comput. Program. 42 (2-3): 129-171 (2002) Wil M. P. van der Aalst, Kees M. van Hee , Robert A. van der Toorn : "Compositionality of projection inheritance" [Sci. Comput. Programming 42 (2-3) (2002) 129-171]. Sci. Comput. Program. 44 (3): 343-344 (2002) Wil M. P. van der Aalst, Twan Basten : Inheritance of workflows: an approach to tackling problems related to change. Theor. Comput. Sci. 270 (1-2): 125-203 (2002) Wil M. P. van der Aalst, Mathias Weske : The P2P Approach to Interorganizational Workflows. CAiSE 2001 : 140-156 Twan Basten , Wil M. P. van der Aalst: Inheritance of Dynamic Behavior: Development of a Groupware Editor. Concurrent Object-Oriented Programming and Petri Nets 2001 : 391-405 Wil M. P. van der Aalst, P. J. S. Berens : Beyond workflow management: product-driven case handling. GROUP 2001 : 42-51 Wil M. P. van der Aalst, Twan Basten : Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance. ICATPN 2001 : 32-52 H. M. W. (Eric) Verbeek , Twan Basten , Wil M. P. van der Aalst: Diagnosing Workflow Processes using Woflan. Comput. J. 44 (4): 246-279 (2001) Wil M. P. van der Aalst: How to handle dynamic change and capture management information? An approach based on generic workflow models. Comput. Syst. Sci. Eng. 16 (5): 295-318 (2001) Wil M. P. van der Aalst, A. Kumar : A reference model for team-enabled workflow management systems. Data Knowl. Eng. 38 (3): 335-363 (2001) Wil M. P. van der Aalst, Paulo Barthelmess , Clarence A. Ellis , Jacques Wainer : Proclets: A Framework for Lightweight Interacting Workflow Processes. Int. J. Cooperative Inf. Syst. 10 (4): 443-481 (2001) Twan Basten , Wil M. P. van der Aalst: Inheritance of behavior. J. Log. Algebr. Program. 47 (2): 47-145 (2001) Wil M. P. van der Aalst, Jörg Desel , Andreas Oberweis : Business Process Management, Models, Techniques, and Empirical Studies Springer 2000 Wil M. P. van der Aalst: Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. Business Process Management 2000 : 161-183 Wil M. P. van der Aalst, Alistair P. Barros , Arthur H. M. ter Hofstede , Bartek Kiepuszewski : Advanced Workflow Patterns. CoopIS 2000 : 18-29 Wil M. P. van der Aalst, Paulo Barthelmess , Clarence A. Ellis , Jacques Wainer : Workflow Modeling Using Proclets. CoopIS 2000 : 198-209 Wil M. P. van der Aalst, Poul J. N. de Crom , Roy R. H. M. J. Goverde , Kees M. van Hee , Wout J. Hofman , Hajo A. Reijers , Robert A. van der Toorn : Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets. ICATPN 2000 : 455-464 H. M. W. (Eric) Verbeek , Wil M. P. van der Aalst: Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool. ICATPN 2000 : 475-484 Wil M. P. van der Aalst, Arthur H. M. ter Hofstede : Verification Of Workflow Task Structures: A Petri-net-baset Approach. Inf. Syst. 25 (1): 43-69 (2000) Wil M. P. van der Aalst: Generic Workflow Models: How to Handle Dynamic Change and Capture Management Information? CoopIS 1999 : 115-126 Wil M. P. van der Aalst: Flexible Workflow Management Systems: An Approach Based on Generic Process Models. DEXA 1999 : 186-195 Wil M. P. van der Aalst, Twan Basten , H. M. W. (Eric) Verbeek , Peter A. C. Verkoulen , Marc Voorhoeve : Adaptive Workflow-On the Interplay between Flexibility and Support. ICEIS 1999 : 353-360 Amit P. Sheth , Wil M. P. van der Aalst, Ismailcem Budak Arpinar : Processes Driving the Networked Economy. IEEE Concurrency 7 (3): 18-31 (1999) Ekkart Kindler , Wil M. P. van der Aalst: Liveness, Fairness, and Recurrence in Petri Nets. Inf. Process. Lett. 70 (6): 269-27 (1999) Wil M. P. van der Aalst: Modeling and Analyzing Interorganizational Workflows. ACSD 1998 : 262-272 Wil M. P. van der Aalst: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems, and Computers 8 (1): 21-66 (1998) Marc Voorhoeve , Wil M. P. van der Aalst: Ad-hoc Workflow: Problems and Solutions. DEXA Workshop 1997 : 36-40 Wil M. P. van der Aalst: Verification of Workflow Nets. ICATPN 1997 : 407-426 Wil M. P. van der Aalst, Twan Basten : Life-Cycle Inheritance: A Petri-Net-Based Approach. ICATPN 1997 : 62-81 Wil M. P. van der Aalst, Kees M. van Hee : Framework for business process redesign. WETICE 1995 : 36-45 Paolo Ciancarini , V. Juggy Jagannathan , Mark Klein , Wil M. P. van der Aalst: Working group report on process [production process workflow in cooperative virtual enterprises]. WETICE 1995 : 8- Wil M. P. van der Aalst, Michiel A. Odijk : Analysis of Railway Stations by Means of Interval Timed Coloured Petri Nets. Real-Time Systems 9 (3): 241-263 (1995) Wil M. P. van der Aalst: Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds. Computer Performance Evaluation 1994 : 425-444 Wil M. P. van der Aalst: Interval Timed Coloured Petri Nets and their Analysis. Application and Theory of Petri Nets 1993 : 453-472 Wil M. P. van der Aalst: Modelling and Analysis of Complex Logistic Systems. Integration in Production Management Systems 1992 : 277-292 1 [ 13 ] 2 [ 21 ] [ 47 ] 3 [ 20 ] [ 25 ] 4 [ 7 ] [ 14 ] [ 24 ] [ 28 ] [ 29 ] [ 31 ] [ 33 ] 5 [ 46 ] 6 [ 30 ] 7 [ 57 ] 8 [ 41 ] 9 [ 46 ] 10 [ 5 ] 11 [ 19 ] 12 [ 23 ] [ 39 ] 13 [ 40 ] [ 48 ] 14 [ 53 ] [ 54 ] 15 [ 20 ] [ 25 ] 16 [ 46 ] 17 [ 46 ] 18 [ 19 ] 19 [ 6 ] [ 19 ] [ 34 ] [ 35 ] [ 44 ] 20 [ 48 ] 21 [ 37 ] [ 42 ] 22 [ 19 ] 23 [ 17 ] [ 21 ] [ 47 ] [ 50 ] [ 53 ] [ 54 ] [ 56 ] [ 58 ] 24 [ 5 ] 25 [ 21 ] [ 47 ] [ 50 ] 26 [ 12 ] [ 39 ] 27 [ 5 ] 28 [ 26 ] 29 [ 51 ] 30 [ 46 ] 31 [ 41 ] [ 43 ] [ 48 ] 32 [ 55 ] 33 [ 46 ] 34 [ 23 ] 35 [ 4 ] 36 [ 19 ] [ 45 ] 37 [ 45 ] 38 [ 48 ] 39 [ 13 ] [ 46 ] 40 [ 46 ] 41 [ 19 ] [ 34 ] [ 35 ] 42 [ 14 ] [ 18 ] [ 28 ] [ 37 ] [ 42 ] [ 51 ] 43 [ 14 ] 44 [ 9 ] [ 14 ] 45 [ 20 ] [ 25 ] 46 [ 41 ] [ 43 ] [ 48 ] [ 55 ] 47 [ 32 ] [ 56 ] [ 58 ] 48 [ 54 ] 49 [ 43 ] ©2004 Association for Computing Machinery