| 2009 |
|---|
| 219 | EE | Kurt Jensen,
Wil M. P. van der Aalst:
Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems
Springer 2009 |
| 218 | EE | Mathias Funk,
Anne Rozinat,
Ana Karla Alves de Medeiros,
Piet van der Putten,
Henk Corporaal,
Wil M. P. van der Aalst:
Improving Product Usage Monitoring and Analysis with Semantic Concepts.
UNISCON 2009: 190-201 |
| 217 | EE | Moe Thandar Wynn,
H. M. W. Verbeek,
Wil M. P. van der Aalst,
Arthur H. M. ter Hofstede,
David Edmond:
Soundness-preserving reduction rules for reset workflow nets.
Inf. Sci. 179(6): 769-790 (2009) |
| 216 | EE | Moe Thandar Wynn,
Wil M. P. van der Aalst,
Arthur H. M. ter Hofstede,
David Edmond:
Synchronization and Cancelation in Workflows Based on Reset Nets.
Int. J. Cooperative Inf. Syst. 18(1): 63-114 (2009) |
| 215 | EE | Aylin Koca,
Mathias Funk,
Evangelos Karapanos,
Anne Rozinat,
Wil M. P. van der Aalst,
Henk Corporaal,
Jean-Bernard Martens,
Piet van der Putten,
A. J. M. M. Weijters,
Aarnout Brombacher:
Soft reliability: an interdisciplinary approach with a user-system focus.
Quality and Reliability Eng. Int. 25(1): 3-20 (2009) |
| 214 | EE | Wil M. P. van der Aalst:
Process-Aware Information Systems: Lessons to Be Learned from Process Mining.
T. Petri Nets and Other Models of Concurrency 2: 1-26 (2009) |
| 2008 |
|---|
| 213 | EE | Kurt Jensen,
Wil M. P. van der Aalst,
Jonathan Billington:
Transactions on Petri Nets and Other Models of Concurrency I
Springer 2008 |
| 212 | EE | Anne Rozinat,
Moe Thandar Wynn,
Wil M. P. van der Aalst,
Arthur H. M. ter Hofstede,
Colin J. Fidge:
Workflow Simulation for Operational Decision Support Using Design, Historic and State Information.
BPM 2008: 196-211 |
| 211 | EE | Helen Schonenberg,
Barbara Weber,
Boudewijn F. van Dongen,
Wil M. P. van der Aalst:
Supporting Flexible Processes through Recommendations Based on History.
BPM 2008: 51-66 |
| 210 | EE | Massimiliano de Leoni,
Wil M. P. van der Aalst,
Arthur H. M. ter Hofstede:
Visual Support for Work Assignment in Process-Aware Information Systems.
BPM 2008: 67-83 |
| 209 | EE | Irene T. P. Vanderfeesten,
Hajo A. Reijers,
Jan Mendling,
Wil M. P. van der Aalst,
Jorge Cardoso:
On a Quest for Good Process Models: The Cross-Connectivity Metric.
CAiSE 2008: 480-494 |
| 208 | EE | Irene T. P. Vanderfeesten,
Hajo A. Reijers,
Wil M. P. van der Aalst:
Product Based Workflow Support: Dynamic Workflow Execution.
CAiSE 2008: 571-574 |
| 207 | EE | Petia Wohed,
Nick Russell,
Arthur H. M. ter Hofstede,
Birger Andersson,
Wil M. P. van der Aalst:
Open Source Workflow: A Viable Direction for BPM?.
CAiSE 2008: 583-586 |
| 206 | EE | Nick Russell,
Wil M. P. van der Aalst:
Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities.
CAiSE 2008: 94-108 |
| 205 | EE | Helen Schonenberg,
Ronny Mans,
Nick Russell,
Nataliya Mulyar,
Wil M. P. van der Aalst:
Towards a Taxonomy of Process Flexibility.
CAiSE Forum 2008: 81-84 |
| 204 | EE | Helen Schonenberg,
Ronny Mans,
Nick Russell,
Nataliya Mulyar,
Wil M. P. van der Aalst:
Process Flexibility: A Survey of Contemporary Approaches.
CIAO! / EOMAS 2008: 16-30 |
| 203 | EE | Wil M. P. van der Aalst,
Marlon Dumas,
Florian Gottschalk,
Arthur H. M. ter Hofstede,
Marcello La Rosa,
Jan Mendling:
Correctness-Preserving Configuration of Business Process Models.
FASE 2008: 46-61 |
| 202 | | R. S. Mans,
M. H. Schonenberg,
Minseok Song,
Wil M. P. van der Aalst,
Piet J. M. Bakker:
Process Mining in Healthcare - A Case Study.
HEALTHINF (1) 2008: 118-125 |
| 201 | EE | Wil M. P. van der Aalst:
Discovery, Verification and Conformance of Workflows with Cancellation.
ICGT 2008: 18-37 |
| 200 | | Marwane El Kharbili,
Ana Karla A. de Medeiros,
Sebastian Stein,
Wil M. P. van der Aalst:
Business Process Compliance Checking: Current State and Future Challenges.
MobIS 2008: 107-113 |
| 199 | EE | Nikola Trcka,
Wil M. P. van der Aalst,
Carmen Bratosin,
Natalia Sidorova:
Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets.
OPODIS 2008: 538-541 |
| 198 | EE | Boudewijn F. van Dongen,
R. A. Crooy,
Wil M. P. van der Aalst:
Cycle Time Prediction: When Will This Case Finally Be Finished?.
OTM Conferences (1) 2008: 319-336 |
| 197 | EE | Florian Gottschalk,
Wil M. P. van der Aalst,
Monique H. Jansen-Vullers:
Merging Event-Driven Process Chains.
OTM Conferences (1) 2008: 418-426 |
| 196 | EE | Carmen Bratosin,
Wil M. P. van der Aalst,
Natalia Sidorova,
Nikola Trcka:
A Reference Model for Grid Architectures and Its Analysis.
OTM Conferences (1) 2008: 898-913 |
| 195 | EE | Florian Gottschalk,
Wil M. P. van der Aalst,
Monique H. Jansen-Vullers:
Mining Reference Process Models and Their Configurations.
OTM Workshops 2008: 263-272 |
| 194 | | Jan Mendling,
Wil M. P. van der Aalst:
Advanced Reduction Rules for the Verification of EPC Business Process Models.
SIGSAND-EUROPE 2008: 129- |
| 193 | EE | Wil M. P. van der Aalst:
Process-Aware Information Systems: Design, Enactment, and Analysis.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 192 | EE | Wil M. P. van der Aalst,
Marlon Dumas,
Chun Ouyang,
Anne Rozinat,
Eric Verbeek:
Conformance checking of service behavior.
ACM Trans. Internet Techn. 8(3): (2008) |
| 191 | EE | Jan Mendling,
H. M. W. Verbeek,
Boudewijn F. van Dongen,
Wil M. P. van der Aalst,
Gustaf Neumann:
Detection and prediction of errors in EPCs of the SAP reference model.
Data Knowl. Eng. 64(1): 312-329 (2008) |
| 190 | EE | Ana Karla Alves de Medeiros,
Wil M. P. van der Aalst,
A. J. M. M. Weijters:
Quantifying process equivalence based on observed behavior.
Data Knowl. Eng. 64(1): 55-74 (2008) |
| 189 | EE | Jan Mendling,
Boudewijn F. van Dongen,
Wil M. P. van der Aalst:
Getting rid of OR-joins and multiple start events in business process models.
Enterprise IS 2(4): 403-419 (2008) |
| 188 | EE | Kees M. van Hee,
Alexander Serebrenik,
Natalia Sidorova,
Wil M. P. van der Aalst:
Working with the Past: Integrating History in Petri Nets.
Fundam. Inform. 88(3): 387-409 (2008) |
| 187 | EE | Wil M. P. van der Aalst,
H. M. W. (Eric) Verbeek:
Process Mining in Web Services: The WebSphere Case.
IEEE Data Eng. Bull. 31(3): 45-48 (2008) |
| 186 | EE | Anne Rozinat,
Wil M. P. van der Aalst:
Conformance checking of processes based on monitoring real behavior.
Inf. Syst. 33(1): 64-95 (2008) |
| 185 | EE | Wil M. P. van der Aalst,
Kristian Bisgaard Lassen:
Translating unstructured workflow processes to readable BPEL: Theory and implementation.
Information & Software Technology 50(3): 131-159 (2008) |
| 184 | EE | Florian Gottschalk,
Wil M. P. van der Aalst,
Monique H. Jansen-Vullers,
Marcello La Rosa:
Configurable Workflow Models.
Int. J. Cooperative Inf. Syst. 17(2): 177-221 (2008) |
| 183 | EE | Jens Bæk Jørgensen,
Kristian Bisgaard Lassen,
Wil M. P. van der Aalst:
From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system.
STTT 10(1): 15-28 (2008) |
| 182 | EE | Anne Rozinat,
R. S. Mans,
Minseok Song,
Wil M. P. van der Aalst:
Discovering colored Petri nets from event logs.
STTT 10(1): 57-74 (2008) |
| 181 | EE | Florian Gottschalk,
Wil M. P. van der Aalst,
Monique H. Jansen-Vullers,
H. M. W. Verbeek:
Protos2CPN: using colored Petri nets for configuring and testing business processes.
STTT 10(1): 95-110 (2008) |
| 180 | EE | H. M. W. (Eric) Verbeek,
A. Johannes Pretorius,
Wil M. P. van der Aalst,
Jarke J. van Wijk:
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization.
T. Petri Nets and Other Models of Concurrency 1: 152-171 (2008) |
| 2007 |
|---|
| 179 | EE | Wil M. P. van der Aalst,
Christian W. Günther:
Finding Structure in Unstructured Processes: The Case for Process Mining.
ACSD 2007: 3-12 |
| 178 | EE | Florian Gottschalk,
Wil M. P. van der Aalst,
Monique H. Jansen-Vullers:
SAP WebFlow Made Configurable: Unifying Workflow Templates into a Configurable Model.
BPM 2007: 262-270 |
| 177 | EE | Christian W. Günther,
Wil M. P. van der Aalst:
Fuzzy Mining - Adaptive Process Simplification Based on Multi-perspective Metrics.
BPM 2007: 328-343 |
| 176 | EE | Ana Karla Alves de Medeiros,
Antonella Guzzo,
Gianluigi Greco,
Wil M. P. van der Aalst,
A. J. M. M. Weijters,
Boudewijn F. van Dongen,
Domenico Saccà:
Process Mining Based on Clustering: A Quest for Precision.
Business Process Management Workshops 2007: 17-29 |
| 175 | EE | Nataliya Mulyar,
Maja Pesic,
Wil M. P. van der Aalst,
Mor Peleg:
Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues.
Business Process Management Workshops 2007: 335-346 |
| 174 | EE | Marcello La Rosa,
Florian Gottschalk,
Marlon Dumas,
Wil M. P. van der Aalst:
Linking Domain Models and Process Models for Reference Model Configuration.
Business Process Management Workshops 2007: 417-430 |
| 173 | EE | Moe Thandar Wynn,
Marlon Dumas,
Colin J. Fidge,
Arthur H. M. ter Hofstede,
Wil M. P. van der Aalst:
Business Process Simulation for Operational Decision Support.
Business Process Management Workshops 2007: 66-77 |
| 172 | EE | Anne Rozinat,
Ana Karla Alves de Medeiros,
Christian W. Günther,
A. J. M. M. Weijters,
Wil M. P. van der Aalst:
The Need for a Process Mining Evaluation Framework in Research and Practice.
Business Process Management Workshops 2007: 84-89 |
| 171 | EE | Lachlan Aldred,
Wil M. P. van der Aalst,
Marlon Dumas,
Arthur H. M. ter Hofstede:
Communication Abstractions for Distributed Business Processes.
CAiSE 2007: 409-423 |
| 170 | EE | Jan Mendling,
Wil M. P. van der Aalst:
Formalization and Verification of EPCs with OR-Joins Based on State and Context.
CAiSE 2007: 439-453 |
| 169 | EE | Maja Pesic,
Helen Schonenberg,
Wil M. P. van der Aalst:
DECLARE: Full Support for Loosely-Structured Processes.
EDOC 2007: 287-300 |
| 168 | EE | Jan Mendling,
Boudewijn F. van Dongen,
Wil M. P. van der Aalst:
Getting Rid of the OR-Join in Business Process Models.
EDOC 2007: 3-14 |
| 167 | EE | Jan Mendling,
Boudewijn F. van Dongen,
Wil M. P. van der Aalst:
On the Degree of Behavioral Similarity between Business Process Models.
EPK 2007: 39-58 |
| 166 | EE | Jan Mendling,
Gustaf Neumann,
Wil M. P. van der Aalst:
On the Correlation between Process Model Metrics and Errors.
ER (Tutorials, Posters, Panels & Industrial Contributions) 2007: 173-178 |
| 165 | EE | Kees M. van Hee,
Alexander Serebrenik,
Natalia Sidorova,
Wil M. P. van der Aalst:
History-Dependent Petri Nets.
ICATPN 2007: 164-183 |
| 164 | EE | Wil M. P. van der Aalst,
Boudewijn F. van Dongen,
Christian W. Günther,
R. S. Mans,
Ana Karla Alves de Medeiros,
Anne Rozinat,
Vladimir Rubin,
Minseok Song,
H. M. W. (Eric) Verbeek,
A. J. M. M. Weijters:
ProM 4.0: Comprehensive Support for Real Process Analysis.
ICATPN 2007: 484-494 |
| 163 | | Wil M. P. van der Aalst:
Trends in business process analysis - from verification to process mining.
ICEIS (1) 2007: 5-9 |
| 162 | | Irene T. P. Vanderfeesten,
Hajo A. Reijers,
Wil M. P. van der Aalst:
An Evaluation of Case Handling Systems for Product Based Workflow Design.
ICEIS (3) 2007: 39-46 |
| 161 | | Mariska Netjes,
Selma Limam Mansar,
Hajo A. Reijers,
Wil M. P. van der Aalst:
An Evolutionary Approach for Business Process Redesign - Towards an Intelligent System.
ICEIS (3) 2007: 47-54 |
| 160 | EE | Irene T. P. Vanderfeesten,
Hajo A. Reijers,
Wil M. P. van der Aalst:
Case Handling Systems as Product Based Workflow Design Support.
ICEIS (Selected Papers) 2007: 187-198 |
| 159 | EE | Mariska Netjes,
Selma Limam Mansar,
Hajo A. Reijers,
Wil M. P. van der Aalst:
Performing Business Process Redesign with Best Practices: An Evolutionary Approach.
ICEIS (Selected Papers) 2007: 199-211 |
| 158 | EE | Wil M. P. van der Aalst:
Challenges in Business Process Analysis.
ICEIS (Selected Papers) 2007: 27-42 |
| 157 | EE | Jorge Cardoso,
Wil M. P. van der Aalst,
Christoph Bussler,
Amit P. Sheth,
Kurt Sandkuhl:
Inter-enterprise System and Application Integration: A Reality Check.
ICEIS (Selected Papers) 2007: 3-15 |
| 156 | EE | Vladimir Rubin,
Christian W. Günther,
Wil M. P. van der Aalst,
Ekkart Kindler,
Boudewijn F. van Dongen,
Wilhelm Schäfer:
Process Mining Framework for Software Processes.
ICSP 2007: 169-181 |
| 155 | EE | Jan Mendling,
Gustaf Neumann,
Wil M. P. van der Aalst:
Understanding the Occurrence of Errors in Process Models Based on Metrics.
OTM Conferences (1) 2007: 113-130 |
| 154 | EE | Nataliya Mulyar,
Lachlan Aldred,
Wil M. P. van der Aalst:
The Conceptualization of a Configurable Multi-party Multi-message Request-Reply Conversation.
OTM Conferences (1) 2007: 735-753 |
| 153 | EE | Maja Pesic,
M. H. Schonenberg,
Natalia Sidorova,
Wil M. P. van der Aalst:
Constraint-Based Workflow Models: Change Made Easy.
OTM Conferences (1) 2007: 77-94 |
| 152 | EE | Michael Adams,
Arthur H. M. ter Hofstede,
Wil M. P. van der Aalst,
David Edmond:
Dynamic, Extensible and Context-Aware Exception Handling for Workflows.
OTM Conferences (1) 2007: 95-112 |
| 151 | EE | Ana Karla Alves de Medeiros,
Carlos Pedrinaci,
Wil M. P. van der Aalst,
John Domingue,
Minseok Song,
Anne Rozinat,
Barry Norton,
Liliana Cabral:
An Outlook on Semantic Business Process Mining and Monitoring.
OTM Workshops (2) 2007: 1244-1255 |
| 150 | EE | Wil M. P. van der Aalst,
Niels Lohmann,
Peter Massuthe,
Christian Stahl,
Karsten Wolf:
From Public Views to Private Views - Correctness-by-Design for Services.
WS-FM 2007: 139-153 |
| 149 | EE | Wil M. P. van der Aalst,
Maja Pesic:
Specifying and Monitoring Service Flows: Making Web Services Process-Aware.
Test and Analysis of Web Services 2007: 11-55 |
| 148 | EE | Wil M. P. van der Aalst:
Exploring the CSCW spectrum using process mining.
Advanced Engineering Informatics 21(2): 191-199 (2007) |
| 147 | EE | H. M. W. Verbeek,
Wil M. P. van der Aalst,
Arthur H. M. ter Hofstede:
Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants.
Comput. J. 50(3): 294-314 (2007) |
| 146 | EE | Wil M. P. van der Aalst,
Boualem Benatallah,
Fabio Casati,
Francisco Curbera,
Eric Verbeek:
Business process management: Where business processes and web services meet.
Data Knowl. Eng. 61(1): 1-5 (2007) |
| 145 | EE | Ana Karla A. de Medeiros,
A. J. M. M. Weijters,
Wil M. P. van der Aalst:
Genetic process mining: an experimental evaluation.
Data Min. Knowl. Discov. 14(2): 245-304 (2007) |
| 144 | EE | Lijie Wen,
Wil M. P. van der Aalst,
Jianmin Wang,
Jiaguang Sun:
Mining process models with non-free-choice constructs.
Data Min. Knowl. Discov. 15(2): 145-180 (2007) |
| 143 | EE | Wil M. P. van der Aalst,
Michael Rosemann,
Marlon Dumas:
Deadline-based escalation in process-aware information systems.
Decision Support Systems 43(2): 492-511 (2007) |
| 142 | EE | Rong Liu,
Akhil Kumar,
Wil M. P. van der Aalst:
A formal modeling approach for supply chain event management.
Decision Support Systems 43(3): 761-778 (2007) |
| 141 | EE | Michael Rosemann,
Wil M. P. van der Aalst:
A configurable reference modelling language.
Inf. Syst. 32(1): 1-23 (2007) |
| 140 | EE | Wil M. P. van der Aalst,
Hajo A. Reijers,
A. J. M. M. Weijters,
Boudewijn F. van Dongen,
Ana Karla Alves de Medeiros,
Minseok Song,
H. M. W. (Eric) Verbeek:
Business process mining: An industrial application.
Inf. Syst. 32(5): 713-732 (2007) |
| 139 | EE | K. Rouibah,
S. Rouibah,
Wil M. P. van der Aalst:
Combining workflow and PDM based on the workflow management coalition and STEP standards: the case of axalant.
Int. J. Computer Integrated Manufacturing 20(8): 811-827 (2007) |
| 138 | EE | Giorgio Leonardi,
Silvia Panzarasa,
Silvana Quaglini,
Mario Stefanelli,
Wil M. P. van der Aalst:
Interacting agents through a web-based health serviceflow management system.
Journal of Biomedical Informatics 40(5): 486-499 (2007) |
| 137 | EE | Maja Pesic,
Wil M. P. van der Aalst:
Modelling work distribution mechanisms using Colored Petri Nets.
STTT 9(3-4): 327-352 (2007) |
| 136 | EE | Chun Ouyang,
Eric Verbeek,
Wil M. P. van der Aalst,
Stephan Breutel,
Marlon Dumas,
Arthur H. M. ter Hofstede:
Formal semantics and analysis of control flow in WS-BPEL.
Sci. Comput. Program. 67(2-3): 162-198 (2007) |
| 2006 |
|---|
| 135 | | Frank Leymann,
Wolfgang Reisig,
Satish R. Thatte,
Wil M. P. van der Aalst:
The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
| 134 | EE | Nick Russell,
Wil M. P. van der Aalst,
Arthur H. M. ter Hofstede,
Petia Wohed:
On the suitability of UML 2.0 activity diagrams for business process modelling.
APCCM 2006: 95-104 |
| 133 | EE | Wil M. P. van der Aalst,
Christian W. Günther,
Jan Recker,
Manfred Reichert:
Using Process Mining to Analyze and Improve Process Flexibility.
BPMDS 2006 |
| 132 | EE | Wil M. P. van der Aalst,
Ana Karla A. de Medeiros,
A. J. M. M. Weijters:
Process Equivalence: Comparing Two Process Models Based on Observed Behavior.
Business Process Management 2006: 129-144 |
| 131 | EE | Petia Wohed,
Wil M. P. van der Aalst,
Marlon Dumas,
Arthur H. M. ter Hofstede,
Nick Russell:
On the Suitability of BPMN for Business Process Modelling.
Business Process Management 2006: 161-176 |
| 130 | EE | Moe Thandar Wynn,
Wil M. P. van der Aalst,
Arthur H. M. ter Hofstede,
David Edmond:
Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis.
Business Process Management 2006: 389-394 |
| 129 | EE | Anne Rozinat,
Wil M. P. van der Aalst:
Decision Mining in ProM.
Business Process Management 2006: 420-425 |
| 128 | EE | Jan Mendling,
Michael Moser,
Gustaf Neumann,
H. M. W. Verbeek,
Boudewijn F. van Dongen,
Wil M. P. van der Aalst:
Faulty EPCs in the SAP Reference Model.
Business Process Management 2006: 451-457 |
| 127 | EE | Maja Pesic,
Wil M. P. van der Aalst:
A Declarative Approach for Flexible Business Processes Management.
Business Process Management Workshops 2006: 169-180 |
| 126 | EE | Christian W. Günther,
Wil M. P. van der Aalst:
A Generic Import Framework for Process Event Logs.
Business Process Management Workshops 2006: 81-92 |
| 125 | EE | Nick Russell,
Wil M. P. van der Aalst,
Arthur H. M. ter Hofstede:
Workflow Exception Patterns.
CAiSE 2006: 288-302 |
| 124 | EE | Jan Recker,
Jan Mendling,
Wil M. P. van der Aalst,
Michael Rosemann:
Model-Driven Enterprise Systems Configuration.
CAiSE 2006: 369-383 |
| 123 | EE | Huixin Tan,
Wil M. P. van der Aalst:
Implementation of a YAWL Work-List Handler based on the Resource Patterns.
CSCWD 2006: 1184-1189 |
| 122 | EE | Boudewijn F. van Dongen,
Jan Mendling,
Wil M. P. van der Aalst:
Structural Patterns for Soundness of Business Process Models.
EDOC 2006: 116-128 |
| 121 | EE | H. M. W. Verbeek,
Boudewijn F. van Dongen,
Jan Mendling,
Wil M. P. van der Aalst:
Interoperability in the ProM Framework.
EMOI-INTEROP 2006 |
| 120 | EE | Paul Barborka,
Lukas Helm,
Georg Köldorfer,
Jan Mendling,
Gustaf Neumann,
Boudewijn F. van Dongen,
Eric Verbeek,
Wil M. P. van der Aalst:
Integration of EPC-related Tools with ProM.
EPK 2006: 105-120 |
| 119 | EE | Jan Mendling,
Wil M. P. van der Aalst:
Towards EPC Semantics based on State and Context.
EPK 2006: 25-48 |
| 118 | EE | Chun Ouyang,
Marlon Dumas,
Arthur H. M. ter Hofstede,
Wil M. P. van der Aalst:
From BPMN Process Models to BPEL Web Services.
ICWS 2006: 285-292 |
| 117 | EE | Kristian Bisgaard Lassen,
Wil M. P. van der Aalst:
WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL.
OTM Conferences (1) 2006: 127-144 |
| 116 | EE | Michael Adams,
Arthur H. M. ter Hofstede,
David Edmond,
Wil M. P. van der Aalst:
Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows.
OTM Conferences (1) 2006: 291-308 |
| 115 | EE | Christian W. Günther,
Stefanie Rinderle,
Manfred Reichert,
Wil M. P. van der Aalst:
Change Mining in Adaptive Process Management Systems.
OTM Conferences (1) 2006: 309-326 |
| 114 | EE | Mohsen Rouached,
Walid Gaaloul,
Wil M. P. van der Aalst,
Sami Bhiri,
Claude Godart:
Web Service Mining and Verification of Properties: An Approach Based on Event Calculus.
OTM Conferences (1) 2006: 408-425 |
| 113 | EE | Jan Mendling,
Jan Recker,
Michael Rosemann,
Wil M. P. van der Aalst:
Generating correct EPCs from configured C-EPCs.
SAC 2006: 1505-1510 |
| 112 | EE | Frank Leymann,
Wolfgang Reisig,
Satish R. Thatte,
Wil M. P. van der Aalst:
06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures.
The Role of Business Processes in Service Oriented Architectures 2006 |
| 111 | EE | Wil M. P. van der Aalst:
06291 Workshop Report: Process Mining, Monitoring Processes and Services.
The Role of Business Processes in Service Oriented Architectures 2006 |
| 110 | EE | Wil M. P. van der Aalst,
Michael Beisiegel,
Kees M. van Hee,
Dieter König,
Christian Stahl:
A SOA-Based Architecture Framework.
The Role of Business Processes in Service Oriented Architectures 2006 |
| 109 | EE | Wil M. P. van der Aalst,
Marlon Dumas,
Chun Ouyang,
Anne Rozinat,
H. M. W. Verbeek:
Choreography Conformance Checking: An Approach based on BPEL and Petri Nets.
The Role of Business Processes in Service Oriented Architectures 2006 |
| 108 | EE | Wil M. P. van der Aalst,
Maja Pesic:
DecSerFlow: Towards a Truly Declarative Service Flow Language.
The Role of Business Processes in Service Oriented Architectures 2006 |
| 107 | EE | Wil M. P. van der Aalst,
Maja Pesic:
DecSerFlow: Towards a Truly Declarative Service Flow Language.
WS-FM 2006: 1-23 |
| 106 | EE | Monique H. Jansen-Vullers,
Wil M. P. van der Aalst,
Michael Rosemann:
Mining configurable enterprise information systems.
Data Knowl. Eng. 56(3): 195-244 (2006) |
| 105 | EE | Laura Maruster,
A. J. M. M. Weijters,
Wil M. P. van der Aalst,
Antal van den Bosch:
A Rule-Based Approach for Process Discovery: Dealing with Noise and Imbalance in Process Logs.
Data Min. Knowl. Discov. 13(1): 67-87 (2006) |
| 104 | EE | Wil M. P. van der Aalst:
Matching observed behavior and modeled behavior: An approach based on Petri nets and integer programming.
Decision Support Systems 42(3): 1843-1859 (2006) |
| 103 | EE | Uwe Zdun,
Carsten Hentrich,
Wil M. P. van der Aalst:
A survey of patterns for Service-Oriented Architectures.
IJIPT 1(3): 132-143 (2006) |
| 2005 |
|---|
| 102 | | Wil M. P. van der Aalst,
Boualem Benatallah,
Fabio Casati,
Francisco Curbera:
Business Process Management, 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings
Business Process Management 2005 |
| 101 | EE | Anne Rozinat,
Wil M. P. van der Aalst:
Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models.
Business Process Management Workshops 2005: 163-176 |
| 100 | EE | Ana Karla A. de Medeiros,
A. J. M. M. Weijters,
Wil M. P. van der Aalst:
Genetic Process Mining: A Basic Approach and Its Challenges.
Business Process Management Workshops 2005: 203-215 |
| 99 | EE | Jan Recker,
Michael Rosemann,
Wil M. P. van der Aalst,
Jan Mendling:
On the Syntax of Reference Model Configuration - Transforming the C-EPC into Lawful EPC Models.
Business Process Management Workshops 2005: 497-511 |
| 98 | EE | Wil M. P. van der Aalst,
Alexander Dreiling,
Florian Gottschalk,
Michael Rosemann,
Monique H. Jansen-Vullers:
Configurable Process Models as a Basis for Reference Modeling.
Business Process Management Workshops 2005: 512-518 |
| 97 | EE | Jan Hidders,
Marlon Dumas,
Wil M. P. van der Aalst,
Arthur H. M. ter Hofstede,
Jan Verelst:
When are two Workflows the Same?
CATS 2005: 3-11 |
| 96 | EE | Nick Russell,
Wil M. P. van der Aalst,
Arthur H. M. ter Hofstede,
David Edmond:
Workflow Resource Patterns: Identification, Representation and Tool Support.
CAiSE 2005: 216-232 |
| 95 | EE | Boudewijn F. van Dongen,
Wil M. P. van der Aalst,
H. M. W. Verbeek:
Verification of EPCs: Using Reduction Rules and Petri Nets.
CAiSE 2005: 372-386 |
| 94 | EE | Michael Adams,
Arthur H. M. ter Hofstede,
David Edmond,
Wil M. P. van der Aalst:
Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets.
CAiSE Short Paper Proceedings 2005 |
| 93 | | Jan Mendling,
Jan Recker,
Michael Rosemann,
Wil M. P. van der Aalst:
Towards the Interchange of Configurable EPCs.
EMISA 2005: 8-21 |
| 92 | EE | Boudewijn F. van Dongen,
Wil M. P. van der Aalst:
A Meta Model for Process Mining Data.
EMOI-INTEROP 2005 |
| 91 | EE | Wil M. P. van der Aalst,
Marlon Dumas,
Arthur H. M. ter Hofstede,
Nick Russell,
H. M. W. (Eric) Verbeek,
Petia Wohed:
Life After BPEL?
EPEW/WS-FM 2005: 35-50 |
| 90 | EE | Nick Russell,
Arthur H. M. ter Hofstede,
David Edmond,
Wil M. P. van der Aalst:
Workflow Data Patterns: Identification, Representation and Tool Support.
ER 2005: 353-368 |
| 89 | EE | Petia Wohed,
Wil M. P. van der Aalst,
Marlon Dumas,
Arthur H. M. ter Hofstede,
Nick Russell:
Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams.
ER 2005: 63-78 |
| 88 | EE | Moe Thandar Wynn,
David Edmond,
Wil M. P. van der Aalst,
Arthur H. M. ter Hofstede:
Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets.
ICATPN 2005: 423-443 |
| 87 | EE | Boudewijn F. van Dongen,
Ana Karla A. de Medeiros,
H. M. W. Verbeek,
A. J. M. M. Weijters,
Wil M. P. van der Aalst:
The ProM Framework: A New Era in Process Mining Tool Support.
ICATPN 2005: 444-454 |
| 86 | EE | Wil M. P. van der Aalst,
Ana Karla A. de Medeiros,
A. J. M. M. Weijters:
Genetic Process Mining.
ICATPN 2005: 48-69 |
| 85 | EE | Chun Ouyang,
Eric Verbeek,
Wil M. P. van der Aalst,
Stephan Breutel,
Marlon Dumas,
Arthur H. M. ter Hofstede:
WofBPEL: A Tool for Automated Analysis of BPEL Processes.
ICSOC 2005: 484-489 |
| 84 | EE | Wil M. P. van der Aalst,
H. T. de Beer,
Boudewijn F. van Dongen:
Process Mining and Verification of Properties: An Approach Based on Temporal Logic.
OTM Conferences (1) 2005: 130-147 |
| 83 | EE | Wil M. P. van der Aalst,
Jens Bæk Jørgensen,
Kristian Bisgaard Lassen:
Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System.
OTM Conferences (1) 2005: 22-39 |
| 82 | EE | Lachlan Aldred,
Wil M. P. van der Aalst,
Marlon Dumas,
Arthur H. M. ter Hofstede:
On the Notion of Coupling in Communication Middleware.
OTM Conferences (2) 2005: 1015-1033 |
| 81 | | Alexander Dreiling,
Michael Rosemann,
Wil M. P. van der Aalst,
Wasim Sadiq,
Sana Khan:
Model-Driven Process Configuration of Enterprise Systems.
Wirtschaftsinformatik 2005: 687-706 |
| 80 | EE | Wil M. P. van der Aalst,
Hajo A. Reijers,
Minseok Song:
Discovering Social Networks from Event Logs.
Computer Supported Cooperative Work 14(6): 549-593 (2005) |
| 79 | EE | Wil M. P. van der Aalst,
Mathias Weske,
Dolf Grünbauer:
Case handling: a new paradigm for business process support.
Data Knowl. Eng. 53(2): 129-162 (2005) |
| 78 | EE | Schahram Dustdar,
Thomas Hoffmann,
Wil M. P. van der Aalst:
Mining of ad-hoc business processes with TeamLog.
Data Knowl. Eng. 55(2): 129-158 (2005) |
| 77 | EE | Wil M. P. van der Aalst,
Ana Karla A. de Medeiros:
Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance.
Electr. Notes Theor. Comput. Sci. 121: 3-21 (2005) |
| 76 | EE | Wil M. P. van der Aalst,
Arthur H. M. ter Hofstede:
YAWL: yet another workflow language.
Inf. Syst. 30(4): 245-275 (2005) |
| 75 | EE | Wil M. P. van der Aalst:
Business alignment: using process mining as a tool for Delta analysis and conformance testing.
Requir. Eng. 10(3): 198-211 (2005) |
| 2004 |
|---|
| 74 | EE | Wil M. P. van der Aalst,
Minseok Song:
Mining Social Networks: Uncovering Interaction Patterns in Business Processes.
Business Process Management 2004: 244-260 |
| 73 | EE | Wil M. P. van der Aalst,
Lachlan Aldred,
Marlon Dumas,
Arthur H. M. ter Hofstede:
Design and Implementation of the YAWL System.
CAiSE 2004: 142-159 |
| 72 | | Wil M. P. van der Aalst:
Business Alignment: Using Process Mining as a Tool for Delta Analysis.
CAiSE Workshops (2) 2004: 138-145 |
| 71 | EE | Wil M. P. van der Aalst,
Christoph Bussler,
Avigdor Gal:
PC Co-chairs' Message.
CoopIS/DOA/ODBASE (1) 2004: 1 |
| 70 | EE | Boudewijn F. van Dongen,
Wil M. P. van der Aalst:
Multi-phase Process Mining: Building Instance Graphs.
ER 2004: 362-376 |
| 69 | EE | Boudewijn F. van Dongen,
Wil M. P. van der Aalst:
EMiT: A Process Mining Tool.
ICATPN 2004: 454-463 |
| 68 | EE | Ana Karla A. de Medeiros,
Boudewijn F. van Dongen,
Wil M. P. van der Aalst,
A. J. M. M. Weijters:
Process Mining for Ubiquitous Mobile Systems: An Overview and a Concrete Algorithm.
UMICS 2004: 151-165 |
| 67 | EE | Mathias Weske,
Wil M. P. van der Aalst,
H. M. W. (Eric) Verbeek:
Advances in business process management.
Data Knowl. Eng. 50(1): 1-8 (2004) |
| 66 | EE | Wil M. P. van der Aalst,
Ton Weijters,
Laura Maruster:
Workflow Mining: Discovering Process Models from Event Logs.
IEEE Trans. Knowl. Data Eng. 16(9): 1128-1142 (2004) |
| 65 | EE | Juliane Dehnert,
Wil M. P. van der Aalst:
Bridging The Gap Between Business Models And Workflow Specifications.
Int. J. Cooperative Inf. Syst. 13(3): 289-332 (2004) |
| 2003 |
|---|
| 64 | | 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 |
| 63 | | 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 |
| 62 | EE | Wil M. P. van der Aalst,
Arthur H. M. ter Hofstede,
Mathias Weske:
Business Process Management: A Survey.
Business Process Management 2003: 1-12 |
| 61 | EE | Ana Karla 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 |
| 60 | EE | 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 |
| 59 | EE | 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 |
| 58 | EE | Wil M. P. van der Aalst:
Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management.
Lectures on Concurrency and Petri Nets 2003: 1-65 |
| 57 | EE | 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 |
| 56 | | 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 |
| 55 | EE | 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) |
| 54 | | 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) |
| 53 | EE | Wil M. P. van der Aalst,
Boudewijn 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) |
| 52 | EE | 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) |
| 51 | EE | 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) |
| 50 | EE | 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) |
| 2002 |
|---|
| 49 | | Wil M. P. van der Aalst,
Kees M. van Hee:
Workflow Management: Models, Methods, and Systems
MIT Press 2002 |
| 48 | | 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 |
| 47 | EE | Wil M. P. van der Aalst,
Alexander Hirnschall,
H. M. W. (Eric) Verbeek:
An Alternative Way to Analyze Workflow Graphs.
CAiSE 2002: 535-552 |
| 46 | EE | 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 |
| 45 | EE | Wil M. P. van der Aalst,
Boudewijn F. van Dongen:
Discovering Workflow Performance Models from Timed Logs.
EDCIS 2002: 45-63 |
| 44 | EE | Wil M. P. van der Aalst,
Jörg Desel,
Ekkart Kindler:
On the semantics of EPCs: A vicious circle.
EPK 2002: 71-79 |
| 43 | EE | Wil M. P. van der Aalst:
Making Work Flow: On the Application of Petri Nets to Business Process Management.
ICATPN 2002: 1-22 |
| 42 | EE | 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 |
| 41 | | Wil M. P. van der Aalst:
Inheritance of Interorganizational Workflows to Enable Business-to-Business.
Electronic Commerce Research 2(3): 195-231 (2002) |
| 40 | | 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) |
| 39 | EE | 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) |
| 38 | EE | 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) |
| 2001 |
|---|
| 37 | EE | Wil M. P. van der Aalst,
Mathias Weske:
The P2P Approach to Interorganizational Workflows.
CAiSE 2001: 140-156 |
| 36 | EE | Wil M. P. van der Aalst,
Hajo A. Reijers,
S. Limam:
Product-driven Workflow Design.
CSCWD 2001: 397-402 |
| 35 | EE | Wil M. P. van der Aalst,
H. M. W. Verbeek,
A. Kumar:
Verification of XRL: An XML-based Workflow Language.
CSCWD 2001: 427-432 |
| 34 | EE | 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 |
| 33 | EE | Wil M. P. van der Aalst,
P. J. S. Berens:
Beyond workflow management: product-driven case handling.
GROUP 2001: 42-51 |
| 32 | EE | Wil M. P. van der Aalst,
Twan Basten:
Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance.
ICATPN 2001: 32-52 |
| 31 | EE | 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) |
| 30 | | 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) |
| 29 | EE | Wil M. P. van der Aalst,
Akhil Kumar:
A reference model for team-enabled workflow management systems.
Data Knowl. Eng. 38(3): 335-363 (2001) |
| 28 | EE | Wil M. P. van der Aalst:
Re-engineering knock-out processes.
Decision Support Systems 30(4): 451-468 (2001) |
| 27 | EE | Wil M. P. van der Aalst:
Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change.
Information Systems Frontiers 3(3): 297-317 (2001) |
| 26 | EE | 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) |
| 25 | | Twan Basten,
Wil M. P. van der Aalst:
Inheritance of behavior.
J. Log. Algebr. Program. 47(2): 47-145 (2001) |
| 2000 |
|---|
| 24 | | Wil M. P. van der Aalst,
Jörg Desel,
Andreas Oberweis:
Business Process Management, Models, Techniques, and Empirical Studies
Springer 2000 |
| 23 | EE | Wil M. P. van der Aalst:
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques.
Business Process Management 2000: 161-183 |
| 22 | EE | Wil M. P. van der Aalst,
Alistair P. Barros,
Arthur H. M. ter Hofstede,
Bartek Kiepuszewski:
Advanced Workflow Patterns.
CoopIS 2000: 18-29 |
| 21 | EE | Wil M. P. van der Aalst,
Paulo Barthelmess,
Clarence A. Ellis,
Jacques Wainer:
Workflow Modeling Using Proclets.
CoopIS 2000: 198-209 |
| 20 | EE | 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 |
| 19 | EE | 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 |
| 18 | EE | 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) |
| 1999 |
|---|
| 17 | EE | Wil M. P. van der Aalst:
Generic Workflow Models: How to Handle Dynamic Change and Capture Management Information?
CoopIS 1999: 115-126 |
| 16 | EE | Wil M. P. van der Aalst:
Flexible Workflow Management Systems: An Approach Based on Generic Process Models.
DEXA 1999: 186-195 |
| 15 | | 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 |
| 14 | EE | Amit P. Sheth,
Wil M. P. van der Aalst,
Ismailcem Budak Arpinar:
Processes Driving the Networked Economy.
IEEE Concurrency 7(3): 18-31 (1999) |
| 13 | EE | Ekkart Kindler,
Wil M. P. van der Aalst:
Liveness, Fairness, and Recurrence in Petri Nets.
Inf. Process. Lett. 70(6): 269-27 (1999) |
| 12 | EE | Wil M. P. van der Aalst:
Formalization and verification of event-driven process chains.
Information & Software Technology 41(10): 639-650 (1999) |
| 1998 |
|---|
| 11 | EE | Wil M. P. van der Aalst:
Modeling and Analyzing Interorganizational Workflows.
ACSD 1998: 262-272 |
| 10 | EE | 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) |
| 1997 |
|---|
| 9 | | Marc Voorhoeve,
Wil M. P. van der Aalst:
Ad-hoc Workflow: Problems and Solutions.
DEXA Workshop 1997: 36-40 |
| 8 | | Wil M. P. van der Aalst:
Verification of Workflow Nets.
ICATPN 1997: 407-426 |
| 7 | | Wil M. P. van der Aalst,
Twan Basten:
Life-Cycle Inheritance: A Petri-Net-Based Approach.
ICATPN 1997: 62-81 |
| 1995 |
|---|
| 6 | EE | Wil M. P. van der Aalst,
Kees M. van Hee:
Framework for business process redesign.
WETICE 1995: 36-45 |
| 5 | EE | 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- |
| 4 | | 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) |
| 1994 |
|---|
| 3 | | Wil M. P. van der Aalst:
Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds.
Computer Performance Evaluation 1994: 425-444 |
| 1993 |
|---|
| 2 | | Wil M. P. van der Aalst:
Interval Timed Coloured Petri Nets and their Analysis.
Application and Theory of Petri Nets 1993: 453-472 |
| 1992 |
|---|
| 1 | | Wil M. P. van der Aalst:
Modelling and Analysis of Complex Logistic Systems.
Integration in Production Management Systems 1992: 277-292 |
