 | 2009 |
| 11 |  | Stephen McIlvenna,
Marlon Dumas,
Moe Thandar Wynn:
Synthesis of Orchestrators from Service Choreographies.
APCCM 2009: 129-138 |
| 10 |  | 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.
Data Knowl. Eng. 68(9): 834-850 (2009) |
| 9 |  | 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) |
| 8 |  | 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) |
| 7 |  | Wil M. P. van der Aalst,
Kees M. van Hee,
Arthur H. M. ter Hofstede,
Natalia Sidorova,
H. M. W. Verbeek,
Marc Voorhoeve,
Moe Thandar Wynn:
Soundness of Workflow Nets with Reset Arcs.
T. Petri Nets and Other Models of Concurrency 3: 50-70 (2009) |
| 2008 |
| 6 |  | Moe Thandar Wynn,
Colin J. Fidge,
Arthur H. M. ter Hofstede,
Marlon Dumas:
Product flow analysis in distribution networks with a fixed time horizon.
ACSC 2008: 73-81 |
| 5 |  | 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 |
| 2007 |
| 4 |  | 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 |
| 3 |  | Marlon Dumas,
Alexander Großkopf,
Thomas Hettel,
Moe Thandar Wynn:
Semantics of Standard Process Models with OR-Joins.
OTM Conferences (1) 2007: 41-58 |
| 2006 |
| 2 |  | 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 |
| 2005 |
| 1 |  | 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 |