Browse By Person: Wynn, Moe
 | Up a level |
Group by: Item Type | Date
Number of items: 23.
Journal Article
Wynn, Moe T., Ouyang, Chun, ter Hofstede, Arthur H.M., & Fidge, Colin J. (2011) Data and process requirements for product recall coordination. Data and Process Requirements for Product. (In Press)
53
53van der Aalst, Wil, van Hee, Kees, ter Hofstede, Arthur, Sidorova, Natalia, Verbeek, H.M.W., Voorhoeve, Marc, et al. (2010) Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects of Computing: applicable formal methods, 23(3), pp. 333-363.
6
6Rozinat, Anne, Wynn, Moe T., van der Aalst, Wil M. P., ter Hofstede, Arthur H. M., & Fidge, Colin J. (2009) Workflow simulation for operational decision support. Data and Knowledge Engineering, 68(9), pp. 834-850.
13 
8
13 8Wynn, Moe, Verbeek, Eric, van der Aalst, Wil, ter Hofstede, Arthur, & Edmond, David (2009) Reduction rules for YAWL workflows with cancellation regions and OR-joins. Information and Software Technology, 51(6), pp. 1010-1020.
2 4
2 4Verbeek, Eric, Wynn, Moe, van der Aalst, Wil, & ter Hofstede, Arthur (2009) Reduction rules for reset/inhibitor nets. Journal of Computer and System Sciences, 76(2), pp. 125-143.
3
3van der Aalst, Wil M. P., Hee, Kees M., ter Hofstede, Arthur H. M., Sidorova, Natalia, Verbeek, H. M. W., Voorhoeve, Marc, et al. (2009) Soundness of workflow nets with reset arcs. Lecture Notes in Computer Science: Transactions on Petri Nets and Other Models of Concurrency III, 5800, pp. 50-70.
30 2 1
30 2 1Wynn, Moe, Verbeek, Eric, van der Aalst, Wil, ter Hofstede, Arthur, & Edmond, David (2009) Soundness-preserving reduction rules for reset workflow nets. Information Sciences, 179(6), pp. 769-790.
8 6
8 6Wynn, Moe, van der Aalst, Wil, ter Hofstede, Arthur, & Edmond, David (2009) Synchronization and cancelation in workflows based on reset nets. International Journal of Cooperative Information Systems, 18(1), pp. 63-114.
Dumas, Marlon, Grosskopf, Alexander, Hettel, Thomas, & Wynn, Moe T. (2007) Semantics of BPMN Process Models with OR-joins. .
Wynn, Moe T., Verbeek, H.M.W., van der Aalst, Wil M., ter Hofstede, Arthur H.M., & Edmond, David (2007) Business Process Verification - Finally a Reality! Business Process Management Journal. (In Press)
1,078
1,078Conference Paper
van der Aalst, Wil M.P., Andriansyah, Arya, Alves de Medeiros, Ana Karla, Arcieri, Franco, Baier, Thomas, Blickle, Tobias, et al. (2012) Process mining manifesto. In BPM 2011 Workshops Proceedings, Springer-Verlag, Campus des Cézeaux, Clermont-Ferrand, pp. 169-194.
27
27Ouyang, Chun, Wynn, Moe T., Kuhr, Jan-Christian, Adams, Michael J., Becker, Thomas, ter Hofstede, Arthur H.M., et al. (2011) Workflow support for scheduling in surgical care processes. In The 19th European Conference on Information Systems : ICT and Sustainable Service Development (ECIS 2011), 9-11 June 2011, Aalto University School of Economics, Helsinki.
44
44Ouyang, Chun, Wynn, Moe Thandar, Fidge, Colin, ter Hofstede, Arthur H.M., & Kuhr, Jan-Christian (2010) Modelling complex resource requirements in Business Process Management Systems. In Rosemann, Michael, Green, Peter, & Rohde, Fiona (Eds.) ACIS 2010 Proceedings, ACIS, Queensland University of Technology, Brisbane. (In Press)
160
160Piessens, David, Wynn, Moe T., Adams, Michael J., & van Dongen, Boudewijn (2010) Performance analysis of business process models with advanced constructs. In 21st Australasian Conference on Information Systems (ACIS 2010) :Information Systems : Defining and Establishing a High Impact Discipline, 1-3 December 2010, Brisbane, Qld..
24
24Wynn, Moe T., Fidge, Colin J., ter Hofstede, Arthur H.M., & Dumas, Marlon (2008) Product Flow Analysis in Distribution Networks With a Fixed Time Horizon. In The Thirty-First Australasian Computer Science Conference, 22nd to 25th January, 2008, University of Wollongong, New South Wales, Australia. (In Press)
412
412Rozinat, Anne, Wynn, Moe T., van der Aalst, Wil M., ter Hofstede, Arthur H.M., & Fidge, Colin J. (2008) Workflow Simulation for Operational Decision Support Using Design, Historic and State Information. In 6th International Conference on Business Process management, September 2-4, 2008, Milan, Italy.
292 8
292 8Wynn, Moe T., van der Aalst, Wil M., ter Hofstede, Arthur H.M., & Edmond, David (2006) Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Reset Nets and Reachability Analysis. In Business Process Management Conference, September 2006, Vienna, Austria.
7
7Wynn, Moe T., van der Aalst, Wil M., ter Hofstede, Arthur H.M., & Edmond, David (2006) Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Reset Nets and Reachability Analysis. In Business Process Management Conference, September 5-7 2006, Vienna, Austria.
7
7Wynn, Moe T., Edmond, David, ter Hofstede, Arthur H.M., & van der Aalst, Wil M. (2005) Achieving a General, Formal, and Decidable Approach to the OR-Join in Workflow Using Reset Nets. In Ciardo, G. & Darondeau, P. (Eds.) 26th International Conference on Applications and Theory of Petri Nets 2005 (ICATPN 2005), 20-25 June, Miami, USA.
22
22Wynn, Moe T., Edmond, David, ter Hofstede, Arthur H.M., & van der Aalst, Wil M. (2005) Achieving a General, Formal, and Decidable Approach to the OR-Join in Workflow Using Reset Nets. In Ciardo, G. & Darondeau, P. (Eds.) 26th International Conference on Applications and Theory of Petri Nets 2005 (ICATPN 2005), 20-25 June, Miami, USA.
69 22
69 22Wynn, Moe, Edmond, David, & Milliner, Stephen W. (2003) The Estimation of Invocation Cost for Composite Services. In Proceedings of the 7th World Conference on Integrated and Process Technology, 3-6 December, Texas, USA.
QUT Thesis
Wynn, Moe Thandar (2006) Semantics, verification, and implementation of workflows with cancellation regions and OR-joins. PhD thesis, Queensland University of Technology.
399
399Other
Wynn, Moe T., Dumas, Marlon, Fidge, Colin J., ter Hofstede, Arthur H.M., & van der Aalst, Wil M. (2007) Business Process Simulation for Operational Decision Support. (In Press)
464
464