Voorhoeve, M.

• van Hee, Kees M.; Lomazova, Irina A.; Oanea, Olivia; Serebrenik, Alexander; Sidorova, Natalia; Voorhoeve, Marc:
  Nested Nets for Adaptive Systems. 2006.

• van Hee, Kees; Serebrenik, Alexander; Sidorova, Natalia; Voorhoeve, Marc:
  Soundness of Resource-Constrained Workflow Nets. 2005.

• van Hee, Kees; Sidorova, Natalia; Voorhoeve, Marc:
  Generalised Soundness of Workflow Nets Is Decidable. 2004.

• van Hee, K.; Sidorova, N.; Voorhoeve, M.:
  Resource-Constrained Workflow Nets. 2004.

• van Hee, Kees; Sidorova, Natalia; Somers, Lou; Voorhoeve, Marc:
  Consistency in Model Integration. 2004.

• Mackenthun, R; Voorhoeve, M.:
  Modelling and Verification with Petri Nets. 2003.

• van Hee, Kees; Sidorova, Natalia; Voorhoeve, Marc:
  Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. 2003.

• Mackenthun, R.; Voorhoeve, M.; Diagne, A.:
  Modelling: Case Studies. 2002.

• Mackenthun, R.; Voorhoeve, M.; Diagne, A.:
  Modelling: Methods. 2002.

• Voorhoeve, M.:
  Modelling: Techniques. 2002.

• Sidorova, N.; Voorhoeve, M.; Woude, J.C.S.P. van der:
  A Calculus of Petri Net Components. 2001.

• Voorhoeve, M.:
  Compositional Modeling and Verification of Workflow Processes. 2000.

• van der Aalst, W.M.P.; Basten, T.; Verbeek, H.M.W.; Verkoulen, P.A.C.; Voorhoeve, M.:
  Adaptive Workflow: An Approach Based on Inheritance. 1999.

• van der Aalst, W.M.P.; Basten, T.; Verbeek, H.M.W.; Verkoulen, P.A.C.; Voorhoeve, M.:
  Adaptive Workflow: On the Interplay between Flexibility and Support. 1999.

• Mackenthun, Rainer; Voorhoeve, Marc:
  Modelling and Verification with Petri Nets. 1997.

• Voorhoeve, M.; van der Aalst, W.M.P.:
  Conservative Adaption of Workflow. 1996.

• Basten, T.; Bol, R.N.; Voorhoeve, M.:
  Simulating and Analyzing Railway Interlockings in ExSpect. 1995.

• Basten, T.; Voorhoeve, M.:
  An Algebraic Semantics for Hierarchical P/T Nets. 1995.

• van der Aalst, W.M.P.; van Hee, K.M.; Voorhoeve, M.:
  The DONS Rail Scheduling System. 1994.

• van Hee, K.M.; Somers, L.J.; Voorhoeve, M.:
  Z and high level Petri Nets. 1991.

• van Hee, K.M.; Somers, L.J.; Voorhoeve, M.:
  A Modelling Environment for Decision Support Systems. 1991.

• van Hee, K.M.; Somers, L.J.; Voorhoeve, M.:
  A Formal Framework for Simulation of Discrete Event Systems. 1989.

• van Hee, K.M.; Somers, L.J.; Voorhoeve, M.:
  Executable specifications for distributed information systems. 1989.

• van Hee, K.M.; Somers, L.J.; Voorhoeve, M.:
  A Formal Framework for Simulation of Discrete Event Systems. 1989.

• van der Aalst, W.M.P.; Voorhoeve, M.; Waltmans, A.W.:
  The Taste Project. 1989.

• van Hee, K.; Lomazova, I.A.; Oanea, O.; Serebrenik, A.; Sidorova, N.; Voorhoeve, M.:
  Checking properties of Adaptive Workflow Nets. 06.

Back to the Petri Nets Bibliography