Soundness of workflow nets: classification, decidability, and analysis von van der Aalst, W. M. P., van Hee, K. M., ter Hofstede, A. H. M., Sidorova, N., Verbeek, H. M. W., Voorhoeve, M., Wynn, M. T.

Volltext

On the Suitability of BPMN for Business Process Modelling von Wohed, P., van der Aalst, W. M. P., Dumas, M., ter Hofstede, A. H. M., Russell, N.

Volltext

Data and process requirements for product recall coordination von Wynn, M.T., Ouyang, C., ter Hofstede, A.H.M., Fidge, C.J.

Volltext

Workflow patterns put into context von van der Aalst, W. M. P., ter Hofstede, A. H. M.

Volltext

Event log imperfection patterns for process mining: Towards a systematic approach to cleaning event logs von Suriadi, S., Andrews, R., ter Hofstede, A.H.M., Wynn, M.T.

Volltext

Fundamentals of control flow in workflows von KIEPUSZEWSKI, B, TER HOFSTEDE, A. H. M, VAN DER AALST, W. M. P

Volltext

Life After BPEL? von van der Aalst, W. M. P., Dumas, M., ter Hofstede, A. H. M., Russell, N., Verbeek, H. M. W., Wohed, P.

Volltext

Quality-informed semi-automated event log generation for process mining von Andrews, R., van Dun, C.G.J., Wynn, M.T., Kratsch, W., Röglinger, M.K.E., ter Hofstede, A.H.M.

Volltext

YAWL: yet another workflow language von van der Aalst, W.M.P., ter Hofstede, A.H.M.

Volltext

ProcessProfiler3D: A visualisation framework for log-based process performance comparison von Wynn, M.T., Poppe, E., Xu, J., ter Hofstede, A.H.M., Brown, R., Pini, A., van der Aalst, W.M.P.

Volltext

Evaluating and predicting overall process risk using event logs von Pika, A., van der Aalst, W.M.P., Wynn, M.T., Fidge, C.J., ter Hofstede, A.H.M.

Volltext

Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets von Wynn, Moe Thandar, Edmond, David, van der Aalst, W. M. P., ter Hofstede, A. H. M.

Volltext

Business process verification - finally a reality von Wynn, M.T, Verbeek, H.M.W, van der Aalst, W.M.P, ter Hofstede, A.H.M, Edmond, D

Volltext

Workflow simulation for operational decision support von Rozinat, A., Wynn, M.T., van der Aalst, W.M.P., ter Hofstede, A.H.M., Fidge, C.J.

Volltext

On the Complexity of Some Verification Problems in Process Control Specifications von ter Hofstede, A. H. M.

Volltext

Change visualisation: Analysing the resource and timing differences between two event logs von Low, W.Z., van der Aalst, W.M.P., ter Hofstede, A.H.M., Wynn, M.T., De Weerdt, J.

Volltext

Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis von Wynn, M. T., van der Aalst, W. M. P., ter Hofstede, A. H. M., Edmond, D.

Volltext

On structured workflow modelling von KIEPUSZEWSKI, B, TER HOFSTEDE, A. H. M, BUSSLER, C. J

Volltext

Revising history for cost-informed process improvement von Low, W. Z., vanden Broucke, S. K. L. M., Wynn, M. T., ter Hofstede, A. H. M., De Weerdt, J., van der Aalst, W. M. P.

Volltext

Reduction rules for reset/inhibitor nets von Verbeek, H.M.W., Wynn, M.T., van der Aalst, W.M.P., ter Hofstede, A.H.M.

Volltext