Kees M. van Hee

Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf: Refinement of Synchronizable Places with Multi-workflow Nets. Fundam. Inform. 122(1-2): 59-83 (2013)

Debjyoti Bera, Kees M. van Hee, Jan Martijn E. M. van der Werf: Designing Weakly Terminating ROS Systems. Petri Nets 2012: 328-347

Wil M. P. van der Aalst, Kees M. van Hee, Jan Martijn E. M. van der Werf, Akhil Kumar, Marc Verdonk: Conceptual model for online auditing. Decision Support Systems 50(3): 636-647 (2011)

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: Soundness of workflow nets: classification, decidability, and analysis. Formal Asp. Comput. 23(3): 333-363 (2011)

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

Kees M. van Hee, Marcello La Rosa, Zheng Liu, Natalia Sidorova: Discovering Characteristics of Stochastic Collections of Process Models. BPM 2011: 298-312

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

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

Kees M. van Hee, Jan Hidders, Geert-Jan Houben, Jan Paredaens, Philippe Thiran: On-the-Fly Auditing of Business Processes. T. Petri Nets and Other Models of Concurrency 4: 144-173 (2010)

Kees M. van Hee, Zheng Liu: Generating Benchmarks by Random Stepwise Refinement of Petri Nets. ACSD/Petri Nets Workshops 2010: 403-417

Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf: Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed! Software Composition 2010: 106-121

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

Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf: Generation of Database Transactions with Petri Nets. Fundam. Inform. 93(1-3): 171-184 (2009)

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

Kees M. van Hee, H. M. W. Verbeek, Christian Stahl, Natalia Sidorova: A Framework for Linking and Pricing No-Cure-No-Pay Services. T. Petri Nets and Other Models of Concurrency 2: 192-207 (2009)

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: Soundness of Workflow Nets with Reset Arcs. T. Petri Nets and Other Models of Concurrency 3: 50-70 (2009)

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

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

Alessandro Di Bucchianico, Jan Friso Groote, Kees M. van Hee, Ronald Kruidhof: Statistical Certification of Software Systems. Communications in Statistics - Simulation and Computation 37(2): 346-359 (2008)

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

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova: Token History Petri Nets. Fundam. Inform. 85(1-4): 219-234 (2008)

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

Kees M. van Hee, Jeroen Keiren, Reinier Post, Natalia Sidorova, Jan Martijn E. M. van der Werf: Designing Case Handling Systems. T. Petri Nets and Other Models of Concurrency 1: 119-133 (2008)

Isaac Corro Ramos, Alessandro Di Bucchianico, Lusine Hakobyan, Kees M. van Hee: Model Driven Testing Based on Test History. T. Petri Nets and Other Models of Concurrency 1: 134-151 (2008)

Kees M. van Hee, Rüdiger Valk (Eds.): Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings. Lecture Notes in Computer Science 5062, Springer 2008, isbn 978-3-540-68745-0

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

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova: Checking Properties of Adaptive Workflow Nets. Fundam. Inform. 79(3-4): 347-362 (2007)

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

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst: History-Dependent Petri Nets. ICATPN 2007: 164-183

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

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

Carmen Bratosin, Kees M. van Hee, Natalia Sidorova: Adaptive Workflow Nets for Grid Computing. PaCT 2007: 15-21

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

Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve: Resource-Constrained Workflow Nets. Fundam. Inform. 71(2-3): 243-257 (2006)

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

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

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

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: History-Based Joins: Semantics, Soundness and Implementation. Business Process Management 2006: 225-240

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

Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve: Verifying Generalized Soundness of Workflow Nets. Ershov Memorial Conference 2006: 235-247

Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Modelling History-Dependent Business Processes. MSVVEIS 2006: 76-85

Jan Hidders, Jan Paredaens, Philippe Thiran, Geert-Jan Houben, Kees M. van Hee: Non-destructive Integration of Form-Based Views. ADBIS 2005: 74-86

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve: Soundness of Resource-Constrained Workflow Nets. ICATPN 2005: 250-267

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

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

Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve: Generalised Soundness of Workflow Nets Is Decidable. ICATPN 2004: 197-215

Kees M. van Hee, Natalia Sidorova, Lou J. Somers, Marc Voorhoeve: Consistency in Model Integration. Business Process Management 2004: 1-16

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

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

Michel R. V. Chaudron, Kees M. van Hee, Lou J. Somers: Use Cases as Workflows. Business Process Management 2003: 88-103

Wil M. P. van der Aalst, Kees M. van Hee: Workflow Management: Models, Methods, and Systems. MIT Press 2002, isbn 0-262-01189-1

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

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

Loucif Zerguini, Kees M. van Hee: A new reduction method for the analysis of large workflow models. Promise 2002: 188-201

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: Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets. ICATPN 2000: 455-464

Kees M. van Hee, Hajo A. Reijers: Using Formal Analysis Techniques in Business Process Redesign. Business Process Management 2000: 142-160

Wil M. P. van der Aalst, Kees M. van Hee: Framework for business process redesign. WETICE 1995: 36-45

Kees M. van Hee: Information systems engineering - a formal approach. Cambridge University Press 1994, isbn 978-0-521-45514-5, pp. I-XIII, 1-421

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

Kees M. van Hee, Theodor Hildebrand, Sergio Copelli: PROOFS: Application engineering based on formal methods. Microprocessing and Microprogramming 35(1-5): 29-36 (1992)

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

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

M. J. van Diepen, Kees M. van Hee: A Formal Semantics for Z and the Link between Z and the Relational Algebra. VDM Europe 1990: 526-551

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

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

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

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