The following pages link to Wil M. P. van der Aalst (Q202489):
Displayed 50 items.
- Item:Q202489 (redirect page) (← links)
- Balanced multi-perspective checking of process conformance (Q272169) (← links)
- Revising history for cost-informed process improvement (Q335888) (← links)
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- Reduction rules for reset/inhibitor nets (Q847264) (← links)
- Preserving correctness during business process model configuration (Q973035) (← links)
- Formal semantics and analysis of control flow in WS-BPEL (Q997228) (← links)
- Soundness-preserving reduction rules for reset workflow nets (Q1007883) (← links)
- Fundamentals of control flow in workflows (Q1424346) (← links)
- Verification of workflow task structures: A Petri-net-based approach (Q1567413) (← links)
- Discovering workflow nets using integer linear programming (Q1639990) (← links)
- The imprecisions of precision measures in process mining (Q1708257) (← links)
- Inheritance of interorganizational workflows to enable business-to-business E-commerce (Q1863146) (← links)
- Discovering the ``glue'' connecting activities. Exploiting monotonicity to learn places faster (Q2028744) (← links)
- The impact of biased sampling of event logs on the performance of process discovery (Q2030172) (← links)
- Reduction using induced subnets to systematically prove properties for free-choice nets (Q2117169) (← links)
- Concurrency and objects matter! Disentangling the fabric of real operational processes to create digital twins (Q2119954) (← links)
- Discovering process models with long-term dependencies while providing guarantees and handling infrequent behavior (Q2165244) (← links)
- From place nets to local process models (Q2165249) (← links)
- Markings in perpetual free-choice nets are fully characterized by their enabled transitions (Q2280193) (← links)
- Petri net based scheduling (Q2564338) (← links)
- (Q2761735) (← links)
- Diagnosing Workflow Processes using Woflan (Q2765226) (← links)
- (Q2766585) (← links)
- (Q2766587) (← links)
- (Q2772440) (← links)
- (Q2849568) (← links)
- Decomposing Process Mining Problems Using Passages (Q2908200) (← links)
- Process Discovery Using Localized Events (Q2941158) (← links)
- (Q3045248) (← links)
- (Q3045489) (← links)
- Process Mining (Q3084368) (← links)
- Causal Nets: A Modeling Language Tailored towards Process Discovery (Q3090820) (← links)
- History-Dependent Stochastic Petri Nets (Q3402290) (← links)
- Discovery, Verification and Conformance of Workflows with Cancellation (Q3540385) (← links)
- (Q3601867) (← links)
- History-Dependent Petri Nets (Q3612932) (← links)
- Compositional Service Trees (Q3636850) (← links)
- Soundness of Workflow Nets with Reset Arcs (Q3651240) (← links)
- (Q4000457) (← links)
- (Q4412156) (← links)
- (Q4428396) (← links)
- Analysis of discrete‐time stochastic petri nets (Q4521323) (← links)
- (Q4535171) (← links)
- (Q4815321) (← links)
- Aggregating Causal Runs into Workflow Nets (Q4909355) (← links)
- Strategies for Modeling Complex Processes Using Colored Petri Nets (Q4924444) (← links)
- Discovering Petri Nets from Event Logs (Q4924453) (← links)
- (Q4952938) (← links)
- (Q4953845) (← links)