The following pages link to H. M. W. Verbeek (Q539431):
Displaying 12 items.
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- Reduction rules for reset/inhibitor nets (Q847264) (← links)
- Soundness-preserving reduction rules for reset workflow nets (Q1007883) (← links)
- Discovering workflow nets using integer linear programming (Q1639990) (← links)
- Diagnosing Workflow Processes using Woflan (Q2765226) (← links)
- (Q3045489) (← links)
- Deciding Life-Cycle Inheritance on Petri Nets (Q3550611) (← links)
- A Framework for Linking and Pricing No-Cure-No-Pay Services (Q3623826) (← links)
- Soundness of Workflow Nets with Reset Arcs (Q3651240) (← links)
- (Q4428396) (← links)
- Process Discovery and Conformance Checking Using Passages (Q5415302) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713517) (← links)
