The Policy Iteration Method for the Optimal Stopping of a Markov Chain with an Application. - Kees M. van Hee (Optimization Techniques, 1975)

Markov Strategies in Dynamic Programming. - Kees M. van Hee (Math. Oper. Res., 1978)

A Framework for the Conceptual Modeling of Discrete Dynamic Systems. - Jan L. G. Dietz; Kees M. van Hee (Temporal Aspects in Information Systems, 1987)

Resource-constrained project scheduling: an international exercise in DSS development. - Jac M. Anthonisse; Kees M. van Hee; Jan Karel Lenstra (Decis. Support Syst., 1988)

OR and AI approaches to decision support systems. - Kees M. van Hee; Antoni Lapinski (Decis. Support Syst., 1988)

Executable Specifications for Distributed Information Systems. - Kees M. van Hee; Lou J. Somers; Marc Voorhoeve (ISCO, 1989)

Modeling of discrete dynamic systems-framework and examples. - Kees M. van Hee; Geert-Jan Houben; Jan L. G. Dietz (Inf. Syst., 1989)

A Formal Framework for Dynamic modelling of Information Systems. - Kees M. van Hee; Lou J. Somers; Marc Voorhoeve (DMIS, 1990)

A Formal Semantics for Z and the Link between Z and the Relational Algebra. - M. J. van Diepen; Kees M. van Hee (VDM Europe, 1990)

Global Convergence of Genetic Algorithms: A Markov Chain Analysis. - A. E. Eiben; Emile H. L. Aarts; Kees M. van Hee (PPSN, 1990)

Data, Process and Behaviour Modelling in an Integrated Specification Framework. - Kees M. van Hee; Peter A. C. Verkoulen (DMIS, 1991)

Z and High Level Petri Nets. - Kees M. van Hee; Lou J. Somers; Marc Voorhoeve (VDM Europe (1), 1991)

The EXSPECT Tool. - Kees M. van Hee; Lou J. Somers; Marc Voorhoeve (VDM Europe (1), 1991)

A modeling environment for decision support systems. - Kees M. van Hee; Lou J. Somers; Marc Voorhoeve (Decis. Support Syst., 1991)

Transforming Functional Database Schemes to Relational Representations. - A. T. M. Aerts; Paul De Bra; Kees M. van Hee (Specifications of Database Systems, 1992)

PROOFS: Application engineering based on formal methods. - Kees M. van Hee; Theodor Hildebrand; Sergio Copelli (Microprocess. Microprogramming, 1992)

Specification and Simulation with ExSpect. - Kees M. van Hee; P. M. P. Rambags; Peter A. C. Verkoulen (Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993)

Information systems engineering - a formal approach. - Kees M. van Hee (Cambridge University Press, 1994)

Framework for business process redesign. - Wil M. P. van der Aalst; Kees M. van Hee (WETICE, 1995)

A unifying approach to heuristic search. - A. E. Eiben; Emile H. L. Aarts; Kees M. van Hee; W. P. M. Nuijten (Ann. Oper. Res., 1995)

Application of Markov decision processes to search problems. - Leo B. Hartman; Kees M. van Hee (Decis. Support Syst., 1995)

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

Using Formal Analysis Techniques in Business Process Redesign. - Kees M. van Hee; Hajo A. Reijers (Business Process Management, 2000)

Workflow Management: Models, Methods, and Systems - Wil M. P. van der Aalst; Kees M. van Hee (MIT Press, 2002)

A new reduction method for the analysis of large workflow models. - Loucif Zerguini; Kees M. van Hee (Promise, 2002)

Component-based software architectures: a framework based on inheritance of behavior. - Wil M. P. van der Aalst; Kees M. van Hee; Robert A. van der Toorn (Sci. Comput. Program., 2002)

"Compositionality of projection inheritance" [Sci. Comput. Programming 42 (2-3) (2002) 129-171]. - Wil M. P. van der Aalst; Kees M. van Hee; Robert A. van der Toorn (Sci. Comput. Program., 2002)

The Petri Net Markup Language: Concepts, Technology, and Tools. - Jonathan Billington; Søren Christensen; Kees M. van Hee; Ekkart Kindler; Olaf Kummer; Laure Petrucci; Reinier Post; Christian Stehno; Michael Weber 003 (ICATPN, 2003)

Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. - Kees M. van Hee; Natalia Sidorova; Marc Voorhoeve (ICATPN, 2003)

Use Cases as Workflows. - Michel R. V. Chaudron; Kees M. van Hee; Lou J. Somers (Business Process Management, 2003)

Generalised Soundness of Workflow Nets Is Decidable. - Kees M. van Hee; Natalia Sidorova; Marc Voorhoeve (ICATPN, 2004)

Non-destructive Integration of Form-Based Views. - Jan Hidders; Jan Paredaens; Philippe Thiran; Geert-Jan Houben; Kees M. van Hee (ADBIS, 2005)

Soundness of Resource-Constrained Workflow Nets. - Kees M. van Hee; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve (ICATPN, 2005)

The Price of Coordination in Resource Management. - Kees M. van Hee; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve; Jan van der Wal (Business Process Management, 2005)

Colored Petri Nets to Verify Extended Event-Driven Process Chains. - Kees M. van Hee; Olivia Oanea; Natalia Sidorova (OTM Conferences (1), 2005)

Yasper: a tool for workflow modeling and analysis. - Kees M. van Hee; Olivia Oanea; Reinier Post; Lou J. Somers; Jan Martijn E. M. van der Werf (ACSD, 2006)

Petriweb: A Repository for Petri Nets. - R. Goud; Kees M. van Hee; R. D. J. Post; Jan Martijn E. M. van der Werf (ICATPN, 2006)

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

A SOA-Based Architecture Framework. - Wil M. P. van der Aalst; Michael Beisiegel; Kees M. van Hee; Dieter König; Christian Stahl (The Role of Business Processes in Service Oriented Architectures, 2006)

Verifying Generalized Soundness of Workflow Nets. - Kees M. van Hee; Olivia Oanea; Natalia Sidorova; Marc Voorhoeve (Ershov Memorial Conference, 2006)

Modelling History-Dependent Business Processes. - Kees M. van Hee; Olivia Oanea; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve (MSVVEIS, 2006)

Consistency in model integration. - Kees M. van Hee; Natalia Sidorova; Lou J. Somers; Marc Voorhoeve (Data Knowl. Eng., 2006)

Resource-Constrained Workflow Nets. - Kees M. van Hee; Natalia Sidorova; Marc Voorhoeve (Fundam. Informaticae, 2006)

History-Dependent Petri Nets. - Kees M. van Hee; Alexander Serebrenik; Natalia Sidorova; Wil M. P. van der Aalst (ICATPN, 2007)

Adaptive Workflows for Healthcare Information Systems. - Kees M. van Hee; Helen Schonenberg; Alexander Serebrenik; Natalia Sidorova; Jan Martijn E. M. van der Werf (Business Process Management Workshops, 2007)

Modelling with History-Dependent Petri Nets. - Kees M. van Hee; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve; Jan Martijn E. M. van der Werf (BPM, 2007)

Adaptive Workflow Nets for Grid Computing. - Carmen Bratosin; Kees M. van Hee; Natalia Sidorova (PaCT, 2007)

Scheduling-free resource management. - Kees M. van Hee; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve; Jan van der Wal (Data Knowl. Eng., 2007)

Checking Properties of Adaptive Workflow Nets. - Kees M. van Hee; Olivia Oanea; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve; Irina A. Lomazova (Fundam. Informaticae, 2007)

An SOA-based architecture framework. - Wil M. P. van der Aalst; Michael Beisiegel; Kees M. van Hee; Dieter König; Christian Stahl (Int. J. Bus. Process. Integr. Manag., 2007)

LogLogics: A logic for history-dependent business processes. - Kees M. van Hee; Olivia Oanea; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve (Sci. Comput. Program., 2007)

Statistical Certification of Software Systems. - Alessandro Di Bucchianico; Jan Friso Groote; Kees M. van Hee; Ronald Kruidhof (Commun. Stat. Simul. Comput., 2008)

History-based joins: Semantics, soundness and implementation. - Kees M. van Hee; Olivia Oanea; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve (Data Knowl. Eng., 2008)

Token History Petri Nets. - Kees M. van Hee; Alexander Serebrenik; Natalia Sidorova (Fundam. Informaticae, 2008)

Working with the Past: Integrating History in Petri Nets. - Kees M. van Hee; Alexander Serebrenik; Natalia Sidorova; Wil M. P. van der Aalst (Fundam. Informaticae, 2008)

Designing Case Handling Systems. - Kees M. van Hee; Jeroen Keiren; Reinier Post; Natalia Sidorova; Jan Martijn E. M. van der Werf (Trans. Petri Nets Other Model. Concurr., 2008)

Model Driven Testing Based on Test History. - Isaac Corro Ramos; Alessandro Di Bucchianico; Lusine Hakobyan; Kees M. van Hee (Trans. Petri Nets Other Model. Concurr., 2008)

Compositional Service Trees. - Wil M. P. van der Aalst; Kees M. van Hee; Peter Massuthe; Natalia Sidorova; Jan Martijn E. M. van der Werf (Petri Nets, 2009)

History-Dependent Stochastic Petri Nets. - Helen Schonenberg; Natalia Sidorova; Wil M. P. van der Aalst; Kees M. van Hee (Ershov Memorial Conference, 2009)

Generation of Database Transactions with Petri Nets. - Kees M. van Hee; Natalia Sidorova; Marc Voorhoeve; Jan Martijn E. M. van der Werf (Fundam. Informaticae, 2009)

On the relationship between workflow models and document types. - Kees M. van Hee; Jan Hidders; Geert-Jan Houben; Jan Paredaens; Philippe Thiran (Inf. Syst., 2009)

Soundness of Workflow Nets with Reset Arcs. - Wil M. P. van der Aalst; Kees M. van Hee; Arthur H. M. ter Hofstede; Natalia Sidorova; H. M. W. Verbeek; Marc Voorhoeve; Moe Thandar Wynn (Trans. Petri Nets Other Model. Concurr., 2009)

A Framework for Linking and Pricing No-Cure-No-Pay Services. - Kees M. van Hee; H. M. W. Verbeek; Christian Stahl; Natalia Sidorova (Trans. Petri Nets Other Model. Concurr., 2009)

Generating Benchmarks by Random Stepwise Refinement of Petri Nets. - Kees M. van Hee; Zheng Liu (ACSD/Petri Nets Workshops, 2010)

Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed! - Kees M. van Hee; Natalia Sidorova; Jan Martijn E. M. van der Werf (SC@TOOLS, 2010)

Soundness-Preserving Refinements of Service Compositions. - Kees M. van Hee; Arjan J. Mooij; Natalia Sidorova; Jan Martijn E. M. van der Werf (WS-FM, 2010)

Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor. - Wil M. P. van der Aalst; Kees M. van Hee; Jan Martijn E. M. van der Werf; Marc Verdonk (Computer, 2010)

On-the-Fly Auditing of Business Processes. - Kees M. van Hee; Jan Hidders; Geert-Jan Houben; Jan Paredaens; Philippe Thiran (Trans. Petri Nets Other Model. Concurr., 2010)

A Component Framework where Port Compatibility Implies Weak Termination. - Debjyoti Bera; Kees M. van Hee; Michiel van Osch; Jan Martijn E. M. van der Werf (PNSE, 2011)

Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved! - Kees M. van Hee; Natalia Sidorova; Jan Martijn E. M. van der Werf (Petri Nets, 2011)

Discovering Characteristics of Stochastic Collections of Process Models. - Kees M. van Hee; Marcello La Rosa; Zheng Liu; Natalia Sidorova (BPM, 2011)

Is my event log complete? - A probabilistic approach to process mining. - Kees M. van Hee; Zheng Liu; Natalia Sidorova (RCIS, 2011)

Conceptual model for online auditing. - Wil M. P. van der Aalst; Kees M. van Hee; Jan Martijn E. M. van der Werf; Akhil Kumar 001; Marc Verdonk (Decis. Support Syst., 2011)

Soundness of workflow nets: classification, decidability, and analysis. - Wil M. P. van der Aalst; Kees M. van Hee; Arthur H. M. ter Hofstede; Natalia Sidorova; H. M. W. Verbeek; Marc Voorhoeve; Moe Thandar Wynn (Formal Aspects Comput., 2011)

Designing Weakly Terminating ROS Systems. - Debjyoti Bera; Kees M. van Hee; Jan Martijn E. M. van der Werf (Petri Nets, 2012)

The Right Timing: Reflections on the Modeling and Analysis of Time. - Kees M. van Hee; Natalia Sidorova (Petri Nets, 2013)

Refinement of Synchronizable Places with Multi-workflow Nets. - Kees M. van Hee; Natalia Sidorova; Jan Martijn E. M. van der Werf (Fundam. Informaticae, 2013)

When Can We Trust a Third Party? - A Soundness Perspective. - Kees M. van Hee; Natalia Sidorova; Jan Martijn E. M. van der Werf (Trans. Petri Nets Other Model. Concurr., 2013)

Business Process Modeling Using Petri Nets. - Kees M. van Hee; Natalia Sidorova; Jan Martijn E. M. van der Werf (Trans. Petri Nets Other Model. Concurr., 2013)

Relationship between Simulink and Petri nets. - Debjyoti Bera; Kees M. van Hee; Henk Nijmeijer (SIMULTECH, 2014)

Modeling Hybrid Systems with Petri Nets. - Debjyoti Bera; Kees M. van Hee; Henk Nijmeijer (SIMULTECH (Selected Papers), 2014)

Invention or Discovery? - Kees M. van Hee (Carl Adam Petri: Ideas, Personality, Impact, 2019)