van Hee, K.M.

• Goud, R.; van Hee, Kees M.; Post, R. D. J.; van der Werf, J. M. E. M.:
  Petriweb: A Repository for Petri Nets. 2006.

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

• van der Aalst, W.M.P.; van Hee, K.M.:
  Workflow Management: Models, Methods, and Systems. 2002.

• van der Aalst, W.M.P.; van Hee, K.M.; van der Toorn, R.A.:
  Component-Based Software Architectures: A Framework Based on Inheritance of Behavior. 2002.

• van der Aalst, W.M.P.; van Hee, K.M.; van der Toorn, R.A.:
  Compositionality of Projection Inheritance (Erratum). 2002.

• van der Aalst, W.M.P.; van Hee, K.M.; van der Toorn, R.A.:
  Construction Rules for Component-Based Architectures. 2002.

• van der Aalst, W.M.P.; van Hee, K.M.:
  Workflow Management: Models, Methods, and Systems. 2001.

• van der Aalst, Wil M.P.; de Crom, Poul J.N.; Goverde, Roy R.H.M.J.; van Hee, Kees M.; Hofman, Wout J.; Reijers, Hajo A.; van der Toorn, Robert A.:
  ExSpect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets. 2000.

• van Hee, K.M.; Reijers, H.A.:
  Using Formal Analysis Techniques in Business Process Redesign. 2000.

• van der Aalst, W.M.P.; van Hee, K.M.; van der Toorn, R.A.:
  Component-Based Software Architectures: A Framework Based on Inheritance of Behavior. 1999.

• van der Aalst, W.M.P.; van Hee, K.M.:
  Business Process Redesign: A Petri-net-based approach. 1996.

• van der Aalst, W.M.P.; van Hee, K.M.; Houben, G.J.:
  Modelleren en Analyseren van Workflow: een Aanpak op Basis van Petri-netten. 1995.

• van der Aalst, W.M.P.; van Hee, K.M.:
  Framework for Business Process Redesign. 1995.

• van der Aalst, W.M.P.; van Hee, K.M.:
  Integrated systems modelling: an object oriented approach. 1994.

• van der Aalst, W.M.P.; van Hee, K.M.; Houben, G.J.:
  Modelling workflow management systems with high-level Petri nets. 1994.

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

• van Hee, K.M.:
  Information System Engineering: a Formal Approach. 1994.

• van der Aalst, W.M.P.; van Hee, K.M.; Verkoulen, P.A.C.:
  Interval Timed Coloured Petri Nets and their Analysis. 1993.

• 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.; Verkoulen, P.A.C.:
  Integration of a Data Model and High-Level Petri Nets. 1991.

• van Hee, K.M.; Verkoulen, P.A.C.:
  Integration of Data Model and High-Level Petri Nets. 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.

Back to the Petri Nets Bibliography