Interval Timed Petri Nets and their analysis / by W.M.P. van der AalstThe modelling and analysis of queueing systems with QNM-ExSpect / by W.M.P. van der AalstTimed coloured petri nets and their application to logistics / Willibrordus Martinus Pancratius van der AalstInterval timed coloured Petri nets and their analysis / by W.M.P. van der AalstMulti-dimensional Petri nets / by W.M.P. van der AalstA class of Petri nets for modeling and analyzing business processes / by W.M.P. van der AalstPetri net based scheduling / by W.M.P. van der AalstHandboek simulatie / by W.M.P. van der AalstParallel computation of reachable dead states in a free-choice Petri net / by W.M.P. van der AalstLife-cycle inheritance : a Petri-net-based approach / by W.M.P. van der Aalst and T. BastenStructural characterizations of sound workflow nets / by W.M.P. van der AalstWorkflow management : modellen, methoden en systemen / Wil van der Aalst, Kees van Hee ; [met medew. van André Blommers ... et al.]On the verification of interorganizational workflows / by W.M.P. van der AalstExploring the process dimension of workflow management / by W.M.P. van der AalstFormalization and verification of event-driven process chains / by W.M.P. van der AalstInheritance of workflows : an approach to tackling problems related to change / by W.M.P. van Aalst and T. BastenComponent-based software architectures : a framework based on inheritance of behavior / W.M.P. van der Aalst, K.M. van Hee, R.A. van der ToornInheritance of interorganizational workflows : how to agree to disagree without losing control? / W.M.P. van der AalstExterminating the dynamic change bug : a concrete approach to support workflow change / W.M.P. van der AalstInheritance of workflows : an approach to tackling problems related to change / W.M.P. van der Aalst and T. BastenWorkflow management : models, methods and systems / Wil van der Aalst, Kees van HeeWorkflow management : models, methods, and systems / Wil van der Aalst and Kees van HeeWorkflow mining : which processes can be rediscovered? / W.M.P. van der Aalst, A.J.M.M. Wieijters [i.e. Weijters] and L. MarusterConstruction rules for component-based architectures / by W.M.P. van der Aalst, K.M. van Hee and R.A. van der ToornWorkflow management : modellen, methoden en systemen / Wil van der Aalst, Kees van HeeDiscovering social networks from event logs / Wil M.P. van der Aalst, Minseok SongMatching observed behavior and modeled behavior : an approach based on Petri nets and integer programming / Wil M.P. van der AalstProcess mining and verification of properties : an approach based on temporal logic / W.M.P. van der Aalst, H.T. de Beer and B.F. van DongenTranslating workflow nets to BPEL / Wil M.P. van der Aalst and Kristian Bisgaard Lassen
author
Browsing semantics in the "Tower" model / by W. v.d. Aalst ... [et al.]A process-algebraic approach to life-cycle inheritance : inheritance = encapsulation =+ abstraction / T. Basten, W.M.P. van der AalstConservative adaption of workflow / by M. Voorhoeve and W. van der AalstWOFLAN: a petri-net-based workflow analyzer / by D. Hauschildt, E. Verbeek and W. van der AalstProceedings of the workshop on workflow management : net-based concepts, models, techniques, and tools / ed. by W. van der AalstDiagnosing workflow processes using Woflan / by H.M.W. Verbeek, T. Basten and W.M.P. van der AalstInheritance of behavior / by Twan Basten and Wil M.P. van der AalstWorkflow patterns / W.M.P. van der Aalst ... [et al.]Diagnosing workflow processes using Woflan / H.M.W. Verbeek, T. Basten and W.M.P. van der AalstXRL/Woflan : verification of an XML/Petri-net-based language for interorganizational workflows / H.M.W. Verbeek, W.M.P. van der Aalst, A. KumarUsing genetic algorithms to mine process models : representation, operators and results / A.K. Alves de Medeiros, A.J.M.M. Weijters, W.M.P. van der AalstPatterns in Colored Petri Nets / N.A. Mulyar and W.M.P. van der AalstConformance testing : measuring the alignment between event logs and process models / A. Rozinat, W.M.P. van der AalstModeling work distribution mechanisms using colored Petri nets / M. Pesic and W.M.P. van der AalstProcess mining in case handling systems / Christian W. Günther and Wil M.P. van der AalstVerifying workflows with cancellation regions and OR-joins : an approach based on invariants / H.M.W. Verbeek, W.M.P. van der Aalst, A.H.M. ter HofstedeAnalyzing the resource perspective of workflow management systems : using a meta model and constraints / M. Pesic, W.M.P. van der AalstDecision mining in business processes / A. Rozinat and W.M.P. van der AalstMining activity clusters from low-level event logs / Christian W. Günther and Wil M.P. van der AalstWorkflowNet2BPEL4WS : a tool for translating unstructured workflow processes in readable BPEL / Kristian Bisgaard Lassen and Wil M.P. van der AalstAggregating causal runs into workflow nets / B.F. van Dongen, J. Desel, W.M.P. van AalstProduct based workflow design with case handling systems / Irene Vanderfeesten, Hajo A. Reijers, Wil M.P. van der AalstTranslating message sequence charts to other process languages using process mining / Kristian Bisgaard Lassen, Boudewijn F. van Dongen and Wil M.P. van der AalstTowards comprehensive support for organizational mining / Minseok Song and Wil M.P. van der AalstLife-cycle support for staff assignment rules in process-aware information systems / Stefanie Rinderle-Ma and Wil M.P. van der AalstSAP WebFlow made configurable : unifying workflow templates into a configurable model / F. Gottschalk, W.M.P. van der Aalst and M.H. Jansen-Vullers