ter Hofstede, A.H.M.

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

• van der Aalst, Wil M.P.; Aldred, Lachlan; Dumas, Marlon; ter Hofstede, Arthur H.M.:
  Design and Implementation of the YAWL System. 2004.

• van der Aalst, Wil M.P.; Dumas, Marlon; ter Hofstede, Arthur H.M.:
  Web Service Composition Languages: Old Wine in New Bottles?. 2003.

• van der Aalst, Wil M.P.; ter Hofstede, Arthur H.M.; Weske, Mathias:
  Business Process Management: A Survey. 2003.

• Kiepuszewski, B.; ter Hofstede, A.H.M.; van der Aalst, W.M.P.:
  Fundamentals of Control Flow in Workflows. 2002.

• van der Aalst, W.M.P.; Dumas, M.; ter Hofstede, A.H.M.; Wohed, P.:
  Pattern-Based Analysis of BPML (and WSCI). 2002.

• van der Aalst, W.M.P.; ter Hofstede, A.H.M.; Kiepuszewski, B.; Barros, A.P.:
  Workflow Patterns. 2002.

• van der Aalst, W.M.P.; ter Hofstede, A.H.M. ter:
  YAWL: Yet Another Workflow Language. 2002.

• Wohed, P.; van der Aalst, W.M.P.; Dumas, M.; ter Hofstede, A.H.M.:
  Pattern-Based Analysis of BPEL4WS. 2002.

• van der Aalst, W.M.P.; ter Hofstede, A.H.M.:
  Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages. 2002.

• Kiepuszewski, B.; ter Hofstede, A.H.M.; van der Aalst, W.M.P.:
  Fundamentals of Control Flow in Workflows. 2001.

• ter Hofstede, A.H.M.; Proper, H.A.:
  How to formalize it - formalization principles for information system development methods. 1998.

• van der Aalst, W.M.P.; ter Hofstede, A.H.M.:
  Verification of Workflow Task Structures: A Petri-net-based Approach. 1998.

• Wijers, G.M.; ter Hofstede, A.H.M.; van Oosterom, N.E.:
  Representation of Information Modelling Knowledge. 1992.

• Brinkkemper, S.; ter Hofstede, A.H.M.:
  The Conceptual Task Model: a Specification Technique Between Requirements Engineering and Program Development. 1989.

• ter Hofstede, A.H.M.; Brinkkemper, S.:
  Conceptual Task Modelling. 1989.

Back to the Petri Nets Bibliography