Kees M. van Hee

According to our database, Kees M. van Hee authored at least 82 papers between 1975 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Invention or Discovery?

Kees M. van Hee

Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2014

Modeling Hybrid Systems with Petri Nets.

Debjyoti Bera, Kees M. van Hee, Henk Nijmeijer

Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2014

Relationship between Simulink and Petri nets.

Debjyoti Bera, Kees M. van Hee, Henk Nijmeijer

Proceedings of the 4th International Conference On Simulation And Modeling Methodologies, 2014

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

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

Refinement of Synchronizable Places with Multi-workflow Nets.

Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf

Fundam. Informaticae, 2013

The Right Timing: Reflections on the Modeling and Analysis of Time.

Kees M. van Hee, Natalia Sidorova

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

Designing Weakly Terminating ROS Systems.

Debjyoti Bera, Kees M. van Hee, Jan Martijn E. M. van der Werf

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

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

Conceptual model for online auditing.

Wil M. P. van der Aalst, Kees M. van Hee, Jan Martijn E. M. van der Werf, Akhil Kumar, Marc Verdonk

Decis. Support Syst., 2011

Is my event log complete? - A probabilistic approach to process mining.

Kees M. van Hee, Zheng Liu, Natalia Sidorova

Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science, 2011

Discovering Characteristics of Stochastic Collections of Process Models.

Kees M. van Hee, Marcello La Rosa, Zheng Liu, Natalia Sidorova

Proceedings of the Business Process Management - 9th International Conference, 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

Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

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

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

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

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

Soundness-Preserving Refinements of Service Compositions.

Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf

Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed!

Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf

Proceedings of the Software Composition - 9th International Conference, 2010

Generating Benchmarks by Random Stepwise Refinement of Petri Nets.

Kees M. van Hee, Zheng Liu

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

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

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

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

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

History-Dependent Stochastic Petri Nets.

Helen Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst, Kees M. van Hee

Proceedings of the Perspectives of Systems Informatics, 2009

Compositional Service Trees.

Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf

Proceedings of the Applications and Theory of Petri Nets, 2009

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

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

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

Token History Petri Nets.

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova

Fundam. Informaticae, 2008

History-based joins: Semantics, soundness and implementation.

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve

Data Knowl. Eng., 2008

Statistical Certification of Software Systems.

Alessandro Di Bucchianico, Jan Friso Groote, Kees M. van Hee, Ronald Kruidhof

Commun. Stat. Simul. Comput., 2008

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

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

Checking Properties of Adaptive Workflow Nets.

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova

Fundam. Informaticae, 2007

Scheduling-free resource management.

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal

Data Knowl. Eng., 2007

Adaptive Workflow Nets for Grid Computing.

Carmen Bratosin, Kees M. van Hee, Natalia Sidorova

Proceedings of the Parallel Computing Technologies, 2007

Modelling with History-Dependent Petri Nets.

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf

Proceedings of the Business Process Management, 5th International Conference, 2007

Adaptive Workflows for Healthcare Information Systems.

Kees M. van Hee, Helen Schonenberg, Alexander Serebrenik, Natalia Sidorova, Jan Martijn E. M. van der Werf

Proceedings of the Business Process Management Workshops, 2007

History-Dependent Petri Nets.

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Resource-Constrained Workflow Nets.

Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve

Fundam. Informaticae, 2006

Consistency in model integration.

Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve

Data Knowl. Eng., 2006

Modelling History-Dependent Business Processes.

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Modelling, 2006

Verifying Generalized Soundness of Workflow Nets.

Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Perspectives of Systems Informatics, 2006

A SOA-Based Architecture Framework.

Wil M. P. van der Aalst, Michael Beisiegel, Kees M. van Hee, Dieter König, Christian Stahl

Proceedings of the Role of Business Processes in Service Oriented Architectures, 16.07., 2006

Nested Nets for Adaptive Systems.

Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

Petriweb: A Repository for Petri Nets.

R. Goud, Kees M. van Hee, R. D. J. Post, Jan Martijn E. M. van der Werf

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

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

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

Colored Petri Nets to Verify Extended Event-Driven Process Chains.

Kees M. van Hee, Olivia Oanea, Natalia Sidorova

Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

The Price of Coordination in Resource Management.

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan van der Wal

Proceedings of the Business Process Management, 3rd International Conference, 2005

Soundness of Resource-Constrained Workflow Nets.

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

Non-destructive Integration of Form-Based Views.

Jan Hidders, Jan Paredaens, Philippe Thiran, Geert-Jan Houben, Kees M. van Hee

Proceedings of the Advances in Databases and Information Systems, 2005

2004

Generalised Soundness of Workflow Nets Is Decidable.

Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

Use Cases as Workflows.

Michel R. V. Chaudron, Kees M. van Hee, Lou J. Somers

Proceedings of the Business Process Management, International Conference, 2003

Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach.

Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

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

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

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

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

A new reduction method for the analysis of large workflow models.

Loucif Zerguini, Kees M. van Hee

Proceedings of the Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, 2002

Workflow Management: Models, Methods, and Systems

Wil M. P. van der Aalst, Kees M. van Hee

Cooperative information systems, MIT Press, ISBN: 0-262-01189-1, 2002

2000

Using Formal Analysis Techniques in Business Process Redesign.

Kees M. van Hee, Hajo A. Reijers

Proceedings of the Business Process Management, Models, Techniques, and Empirical Studies, 2000

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

Proceedings of the Application and Theory of Petri Nets 2000, 2000

1995

Application of Markov decision processes to search problems.

Leo B. Hartman, Kees M. van Hee

Decis. Support Syst., 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

Framework for business process redesign.

Wil M. P. van der Aalst, Kees M. van Hee

Proceedings of the 4th Workshop on Enabling Technologies, 1995

1994

Information systems engineering - a formal approach.

Kees M. van Hee

Cambridge University Press, ISBN: 978-0-521-45514-5, 1994

1993

Specification and Simulation with ExSpect.

Kees M. van Hee, P. M. P. Rambags, Peter A. C. Verkoulen

Proceedings of the Functional Programming, 1993

1992

PROOFS: Application engineering based on formal methods.

Kees M. van Hee, Theodor Hildebrand, Sergio Copelli

Microprocess. Microprogramming, 1992

Transforming Functional Database Schemes to Relational Representations.

A. T. M. Aerts, Paul De Bra, Kees M. van Hee

Proceedings of the Specifications of Database Systems, 1992

1991

A modeling environment for decision support systems.

Kees M. van Hee, Lou J. Somers, Marc Voorhoeve

Decis. Support Syst., 1991

The EXSPECT Tool.

Kees M. van Hee, Lou J. Somers, Marc Voorhoeve

Proceedings of the VDM '91, 1991

Z and High Level Petri Nets.

Kees M. van Hee, Lou J. Somers, Marc Voorhoeve

Proceedings of the VDM '91, 1991

Data, Process and Behaviour Modelling in an Integrated Specification Framework.

Kees M. van Hee, Peter A. C. Verkoulen

Proceedings of the Dynamic Modelling of Information Systems II, 1991

1990

Global Convergence of Genetic Algorithms: A Markov Chain Analysis.

A. E. Eiben, Emile H. L. Aarts, Kees M. van Hee

Proceedings of the Parallel Problem Solving from Nature, 1st Workshop, 1990

A Formal Semantics for Z and the Link between Z and the Relational Algebra.

M. J. van Diepen, Kees M. van Hee

Proceedings of the VDM '90, 1990

A Formal Framework for Dynamic modelling of Information Systems.

Kees M. van Hee, Lou J. Somers, Marc Voorhoeve

Proceedings of the Dynamic Modelling of Information Systems I, 1990

1989

Modeling of discrete dynamic systems-framework and examples.

Kees M. van Hee, Geert-Jan Houben, Jan L. G. Dietz

Inf. Syst., 1989

Executable Specifications for Distributed Information Systems.

Kees M. van Hee, Lou J. Somers, Marc Voorhoeve

Proceedings of the Information System Concepts: An In-depth Analysis, 1989

1988

OR and AI approaches to decision support systems.

Kees M. van Hee, Antoni Lapinski

Decis. Support Syst., 1988

Resource-constrained project scheduling: an international exercise in DSS development.

Jac M. Anthonisse, Kees M. van Hee, Jan Karel Lenstra

Decis. Support Syst., 1988

1987

A Framework for the Conceptual Modeling of Discrete Dynamic Systems.

Jan L. G. Dietz, Kees M. van Hee

Proceedings of the Temporal Aspects in Information Systems, 1987

1978

Markov Strategies in Dynamic Programming.

Kees M. van Hee

Math. Oper. Res., 1978

1975

The Policy Iteration Method for the Optimal Stopping of a Markov Chain with an Application.

Kees M. van Hee

Proceedings of the Optimization Techniques: Modeling and Optimization in the Service of Man, Part 2, 1975