Publications of Dr. Moe T. Wynn

PhD Thesis

• Moe Thandar Kyaw Wynn, Semantics, Verification, and Implementation of Workflows with Cancellation Regions and OR-joins, Queensland University of Technology, Nov 2006. (PDF, 9.18MB). Individual chapters can also be downloaded from the Australian Digital Theses website.

Book chapters

1. C. Ouyang, M. Adams, M.T. Wynn, and A.H.M. ter Hofstede, Workflow Management: An Overview, J. vom Brocke and M. Rosemann (Eds.): The International Handbook on Business Process Management, Springer, 2010 (In press).

2. M.T. Wynn, W.M.P. van der Aalst, and A.H.M. ter Hofstede, Advanced Synchronization, A.H.M. ter Hofstede, W.M.P. van der Aalst, M. Adams and N.C. Russell (Eds.): Modern Business Process Automation: YAWL and its Support Environment, pp. 103 -116, 2009, Springer.

3. H.M.W. Verbeek and M.T. Wynn, Verification, A.H.M. ter Hofstede, W.M.P. van der Aalst, M. Adams and N.C. Russell (Eds.): Modern Business Process Automation: YAWL and its Support Environment, pp. 513-536, 2009, Springer.

4. M.T. Wynn, A. Rozinat, W.M.P. van der Aalst, A.H.M. ter Hofstede, and C.J. Fidge, Process Mining and Simulation, A.H.M. ter Hofstede, W.M.P. van der Aalst, M. Adams and N.C. Russell (Eds.):Modern Business Process Automation: YAWL and its Support Environment, pp. 437 - 454, 2009, Springer.

Journals

5. H.M.W. Verbeek, M.T. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede, Reduction rules for Reset/Inhibitor Nets, Journal of Computer and System Sciences, vol 76(2), pp. 125-143, March 2010, Elsevier.

6. M.T. Wynn, D. Edmond, W.M.P. van der Aalst and A.H.M. ter Hofstede, Synchronization and Cancelation in Workflows based on Reset Nets, International Journal of Cooperative Information Systems (IJCIS), vol 18(1), pp. 63-114, 2009, World Scientific Publishing.

7. W.M.P. van der Aalst, K.M. van Hee, A.H.M. ter Hofstede, N. Sidorova, H.M.W. Verbeek, M. Voorhoeve and M.T. Wynn, Soundness of Workflow Nets with Reset Arcs, Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) III, LNCS vol 5800, pp. 50-70, 2009, Springer-Verlag.

8. A. Rozinat, M.T. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede and C.J. Fidge, Workflow Simulation for Operational Decision Support, Data and Knowledge Engineering, 2009, vol 68(9), pp. 834-850, 2009, Elsevier.

9. M.T. Wynn, H.M.W. Verbeek, W.M.P. van der Aalst, A.H.M. ter Hofstede and D. Edmond, Reduction Rules for YAWL Workflows with Cancellation Regions and OR-joins, Journal of Information and Software Technology, volume 51, issue 6, pages 1010-1020, June 2009, Elsevier.

10. M.T. Wynn, H.M.W. Verbeek, W.M.P. van der Aalst, A.H.M. ter Hofstede and D. Edmond, Soundness-preserving Reduction Rules for Reset Workflow Nets, Information Sciences, volume 179, issue 6, pages 769-790, 1 March 2009, Elsevier.

11. M.T. Wynn, H.M.W. Verbeek, W.M.P. van der Aalst, A.H.M. ter Hofstede and D. Edmond, Business Process Verification - Finally a Reality!, Business Process Management Journal, volume 15, issue 1, 2009, pages 74-92, Emerald, Pre-print.

12. M.T. Wynn, D. Edmond, and S. Milliner, The estimation of invocation costs for composite services, In the Transactions of the SDPS: Journal of Integrated Design and Process Science, volume 8, issue 1, pages 31-47, March 2004, IOS press. **Invited paper from IDPT2003 conference.

Conferences

13. S. McIlvenna, M. Dumas, and M.T. Wynn, Synthesis of Orchestrators from Service Choreographies, Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modelling (APCCM 2009), January 20-23, 2009, Wellington, New Zealand, Australia Computer Society.

14. A. Rozinat, M.T. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede, and C. J. Fidge,Workflow Simulation for Operational Decision Support using Design, Historic and State Information, Proceedings of the 6th International Conference on Business Process Management (BPM 2008), Lecture Notes in Computer Science 5240, pages. 196-211, 1-4 September 2008, Milan, Italy, Springer-Verlag.

15. M.T. Wynn, C.J. Fidge, A.H.M. ter Hofstede and M. Dumas, Product Flow Analysis in Distribution Networks with Fixed-Time Horizon, Proceedings of the Thirty-First Australasian Computer Science Conference (ACSC 2008), volume 74, pages. 73-82, 22-25 January, 2008, University of Wollongong, New South Wales, Australia, Australia Computer Society.

16. M. Dumas, A. Grosskopf, T. Hettel and M.T.Wynn, Semantics of Standard process models with OR-joins, Lecture notes in Computer Science 4803, pages. 41-58, Proceedings of International Conference on Cooperative Information Systems (CoopIS 2007), Nov 28-30, Algarve, Portugal.

17. M.T. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede and D. Edmond, Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Reset Nets and Reachability Analysis, Proceedings of Business Process Management, Lecture notes in Computer Science 4102, pages 389-394, 2006, Springer-Verlag.

18. M.T. Wynn, D. Edmond, W.M.P. van der Aalst and A.H.M. ter Hofstede, Achieving a General, Formal and Decidable Approach to the OR-join in Workflow using Reset nets, In G. Ciardo and P. Darondeau, editors, Proceedings of the 26th International conference on Application and Theory of Petri nets and Other models of Concurrency (Petri Nets 2005) 20-25 June, Lecture Notes in Computer Science 3536, pages 423-443, Miami, USA, June 2005, Springer-Verlag.

19. Moe Thandar Wynn, David Edmond, and Stephen Milliner, The estimation of invocation costs for composite services, In the proceedings of the 7th World Conference on Integrated and Process Technology (IDPT 2003), special session on Modeling and Developing Process-Centric Virtual Enterprises with Web-Services (VIEWS'03).

Workshops

20. W.M.P. van der Aalst, K.M. van Hee, A.H.M. ter Hofstede, N. Sidorova, H.M.W. Verbeek, M. Voorhoeve, and M.T. Wynn. Soundness of Workflow Nets with Reset Arcs is Undecidable!, CHINA 2008 Workshop (Concurrency metHods: Issues aNd Applications), a satellite workshop of PETRI NETS 2008 co-located with ACSD 2008, 24 June 2008, Xi'an, China.

21. M.T. Wynn, M. Dumas, C. J. Fidge, A.H.M. ter Hofstede, and W.M.P. van der Aalst, Business Process Simulation for Operational Decision Support, LNCS 4928, pages 66-77, Springer-Verlag 2008. In proceedings of the Third International Workshop on Business Process Intelligence (BPI 2007), in conjunction with Business Process Management Conference, Brisbane, Australia, 24 September 2007.

22. Moe Wynn (née Tut) and David Edmond, The use of patterns in service composition, Lecture Notes in Computer Science LNCS vol. 2512, pp.28-41, Springer-Verlag. In Proceedings of the Workshop on Web Services, e-Business, and the Semantic Web, held in conjunction with CAiSE02, Toronto, Canada, 27-28 May, 2002.

Technical reports

23. M.T. Wynn, C. Ouyang, A.H.M. ter Hofstede, and C.J. Fidge. Workflow Support for Product Recall Coordination. BPM Center Report BPM-09-26, BPMcenter.org, 2009. [Download]

24. A. Rozinat, M.T. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede, and C. J. Fidge. Workflow Simulation for Operational Decision Support using YAWL and ProM. BPM Center Report BPM-08-04, BPMcenter.org, 2008. [Download]

25. W.M.P. van der Aalst, K.M. van Hee, A.H.M. ter Hofstede, N. Sidorova, H.M.W. Verbeek, M. Voorhoeve, and M.T. Wynn. Soundness of Workflow Nets: Classification, Decidability, and Analysis. BPM Center Report BPM-08-02, BPMcenter.org, 2008. [Download].

26. H.M.W. Verbeek, M.T. Wynn, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Reduction Rules for Reset/Inhibitor Nets. BPM Center Report BPM-07-13, BPMcenter.org, 2007. [Download]

27. M.T. Wynn, H.M.W. Verbeek, W.M.P. van der Aalst, A.H.M. ter Hofstede and D. Edmond, Reduction Rules for Reset Workflow Nets, BPM Technical Report, BPM-06-25, BPMcenter.org, 2006. [Download]

28. M.T. Wynn, H.M.W. Verbeek, W.M.P. van der Aalst, A.H.M. ter Hofstede and D. Edmond, Reduction Rules for YAWL Nets with Cancellation Regions and OR-joins, BPM Technical Report, BPM-06-24, BPMcenter.org, 2006. [Download]

29. M.T. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede and D. Edmond, Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Reset Nets and Reachability Analysis, BPM Technical Report, BPM-06-16, BPMcenter.org, 2006. [Download]

30. M.T. Wynn, D. Edmond, W.M.P. van der Aalst and A.H.M. ter Hofstede, Synchronisation and Cancellation in Workflows based on Reset Nets, BPM Technical Report, BPM-06-26, BPMcenter.org, 2006.[Download]