default search action
Kees M. van Hee
Person information
- affiliation: Eindhoven University of Technology, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2019
- [p2]Kees M. van Hee:
Invention or Discovery? Carl Adam Petri: Ideas, Personality, Impact 2019: 25-29 - 2014
- [c47]Debjyoti Bera, Kees M. van Hee, Henk Nijmeijer:
Relationship between Simulink and Petri nets. SIMULTECH 2014: 12-23 - [c46]Debjyoti Bera, Kees M. van Hee, Henk Nijmeijer:
Modeling Hybrid Systems with Petri Nets. SIMULTECH (Selected Papers) 2014: 17-42 - 2013
- [j33]Kees M. van Hee, Natalia Sidorova
, Jan Martijn E. M. van der Werf
Refinement of Synchronizable Places with Multi-workflow Nets. Fundam. Informaticae 122(1-2): 59-83 (2013) - [j32]Kees M. van Hee, Natalia Sidorova
Business Process Modeling Using Petri Nets. Trans. Petri Nets Other Model. Concurr. 7: 116-161 (2013) - [j31]Kees M. van Hee, Natalia Sidorova
When Can We Trust a Third Party? - A Soundness Perspective. Trans. Petri Nets Other Model. Concurr. 8: 106-122 (2013) - [c45]Kees M. van Hee, Natalia Sidorova
The Right Timing: Reflections on the Modeling and Analysis of Time. Petri Nets 2013: 1-20 - 2012
- [c44]Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
When Can We Trust a Third Party? - A Soundness Perspective. PNSE 2012: 47-59 - [c43]Debjyoti Bera, Kees M. van Hee, Jan Martijn E. M. van der Werf
Designing Weakly Terminating ROS Systems. Petri Nets 2012: 328-347 - 2011
- [j30]Wil M. P. van der Aalst
Conceptual model for online auditing. Decis. Support Syst. 50(3): 636-647 (2011) - [j29]Wil M. P. van der Aalst
Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects Comput. 23(3): 333-363 (2011) - [c42]Kees M. van Hee, Natalia Sidorova
Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved! Petri Nets 2011: 149-168 - [c41]Debjyoti Bera, Kees M. van Hee, Michiel van Osch, Jan Martijn E. M. van der Werf:
A Component Framework where Port Compatibility Implies Weak Termination. PNSE 2011: 152-166 - [c40]Kees M. van Hee, Marcello La Rosa
Discovering Characteristics of Stochastic Collections of Process Models. BPM 2011: 298-312 - [c39]Kees M. van Hee, Zheng Liu, Natalia Sidorova
Is my event log complete? - A probabilistic approach to process mining. RCIS 2011: 1-7 - 2010
- [j28]Wil M. P. van der Aalst
Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor. Computer 43(3): 90-93 (2010) - [j27]Kees M. van Hee, Jan Hidders
On-the-Fly Auditing of Business Processes. Trans. Petri Nets Other Model. Concurr. 4: 144-173 (2010) - [c38]Kees M. van Hee, Zheng Liu:
Generating Benchmarks by Random Stepwise Refinement of Petri Nets. ACSD/Petri Nets Workshops 2010: 403-417 - [c37]Kees M. van Hee, Natalia Sidorova
Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed! SC@TOOLS 2010: 106-121 - [c36]Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova
Soundness-Preserving Refinements of Service Compositions. WS-FM 2010: 131-145
2000 – 2009
- 2009
- [j26]Kees M. van Hee, Natalia Sidorova
Generation of Database Transactions with Petri Nets. Fundam. Informaticae 93(1-3): 171-184 (2009) - [j25]Kees M. van Hee, Jan Hidders
On the relationship between workflow models and document types. Inf. Syst. 34(1): 178-208 (2009) - [j24]Kees M. van Hee, H. M. W. Verbeek
A Framework for Linking and Pricing No-Cure-No-Pay Services. Trans. Petri Nets Other Model. Concurr. 2: 192-207 (2009) - [j23]Wil M. P. van der Aalst
Soundness of Workflow Nets with Reset Arcs. Trans. Petri Nets Other Model. Concurr. 3: 50-70 (2009) - [c35]Wil M. P. van der Aalst
Compositional Service Trees. Petri Nets 2009: 283-302 - [c34]Helen Schonenberg, Natalia Sidorova
History-Dependent Stochastic Petri Nets. Ershov Memorial Conference 2009: 366-379 - 2008
- [j22]Alessandro Di Bucchianico
Statistical Certification of Software Systems. Commun. Stat. Simul. Comput. 37(2): 346-359 (2008) - [j21]Kees M. van Hee, Olivia Oanea, Alexander Serebrenik
History-based joins: Semantics, soundness and implementation. Data Knowl. Eng. 64(1): 24-37 (2008) - [j20]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova:
Token History Petri Nets. Fundam. Informaticae 85(1-4): 219-234 (2008) - [j19]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst:
Working with the Past: Integrating History in Petri Nets. Fundam. Informaticae 88(3): 387-409 (2008) - [j18]Kees M. van Hee, Jeroen Keiren
Designing Case Handling Systems. Trans. Petri Nets Other Model. Concurr. 1: 119-133 (2008) - [j17]Isaac Corro Ramos
Model Driven Testing Based on Test History. Trans. Petri Nets Other Model. Concurr. 1: 134-151 (2008) - [e2]Kees M. van Hee, Rüdiger Valk:
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 [contents] - 2007
- [j16]Kees M. van Hee, Alexander Serebrenik
Scheduling-free resource management. Data Knowl. Eng. 61(1): 59-75 (2007) - [j15]Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova:
Checking Properties of Adaptive Workflow Nets. Fundam. Informaticae 79(3-4): 347-362 (2007) - [j14]Wil M. P. van der Aalst
An SOA-based architecture framework. Int. J. Bus. Process. Integr. Manag. 2(2): 91-101 (2007) - [j13]Kees M. van Hee, Olivia Oanea, Alexander Serebrenik
LogLogics: A logic for history-dependent business processes. Sci. Comput. Program. 65(1): 30-40 (2007) - [c33]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova
History-Dependent Petri Nets. ICATPN 2007: 164-183 - [c32]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova
Modelling with History-Dependent Petri Nets. BPM 2007: 320-327 - [c31]Kees M. van Hee, Helen Schonenberg, Alexander Serebrenik
Adaptive Workflows for Healthcare Information Systems. Business Process Management Workshops 2007: 359-370 - [c30]Carmen Bratosin, Kees M. van Hee, Natalia Sidorova
Adaptive Workflow Nets for Grid Computing. PaCT 2007: 15-21 - 2006
- [j12]Kees M. van Hee, Natalia Sidorova
Consistency in model integration. Data Knowl. Eng. 56(1): 4-22 (2006) - [j11]Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve:
Resource-Constrained Workflow Nets. Fundam. Informaticae 71(2-3): 243-257 (2006) - [c29]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 - [c28]Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova
Nested Nets for Adaptive Systems. ICATPN 2006: 241-260 - [c27]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 - [c26]Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova
History-Based Joins: Semantics, Soundness and Implementation. Business Process Management 2006: 225-240 - [c25]Kees M. van Hee, Olivia Oanea, Natalia Sidorova
Verifying Generalized Soundness of Workflow Nets. Ershov Memorial Conference 2006: 235-247 - [c24]Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
Modelling History-Dependent Business Processes. MSVVEIS 2006: 76-85 - [i1]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 - 2005
- [c23]Jan Hidders
Non-destructive Integration of Form-Based Views. ADBIS 2005: 74-86 - [c22]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova
Soundness of Resource-Constrained Workflow Nets. ICATPN 2005: 250-267 - [c21]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova
The Price of Coordination in Resource Management. Business Process Management 2005: 96-108 - [c20]Kees M. van Hee, Olivia Oanea, Natalia Sidorova
Colored Petri Nets to Verify Extended Event-Driven Process Chains. OTM Conferences (1) 2005: 183-201 - 2004
- [c19]Kees M. van Hee, Natalia Sidorova
Generalised Soundness of Workflow Nets Is Decidable. ICATPN 2004: 197-215 - [c18]Kees M. van Hee, Natalia Sidorova
Consistency in Model Integration. Business Process Management 2004: 1-16 - 2003
- [c17]Kees M. van Hee, Natalia Sidorova
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. ICATPN 2003: 337-356 - [c16]Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler
The Petri Net Markup Language: Concepts, Technology, and Tools. ICATPN 2003: 483-505 - [c15]Michel R. V. Chaudron, Kees M. van Hee, Lou J. Somers:
Use Cases as Workflows. Business Process Management 2003: 88-103 - 2002
- [b2]Wil M. P. van der Aalst, Kees M. van Hee:
Workflow Management: Models, Methods, and Systems. Cooperative information systems, MIT Press 2002, ISBN 0-262-01189-1, pp. I-XVI, 1-368 - [j10]Wil M. P. van der Aalst
Component-based software architectures: a framework based on inheritance of behavior. Sci. Comput. Program. 42(2-3): 129-171 (2002) - [j9]Wil M. P. van der Aalst
"Compositionality of projection inheritance" [Sci. Comput. Programming 42 (2-3) (2002) 129-171]. Sci. Comput. Program. 44(3): 343-344 (2002) - [c14]Loucif Zerguini, Kees M. van Hee:
A new reduction method for the analysis of large workflow models. Promise 2002: 188-201 - 2000
- [c13]Wil M. P. van der Aalst
Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets. ICATPN 2000: 455-464 - [c12]Kees M. van Hee, Hajo A. Reijers:
Using Formal Analysis Techniques in Business Process Redesign. Business Process Management 2000: 142-160
1990 – 1999
- 1995
- [j8]A. E. Eiben, Emile H. L. Aarts, Kees M. van Hee, W. P. M. Nuijten:
A unifying approach to heuristic search. Ann. Oper. Res. 55(1): 81-99 (1995) - [j7]Leo B. Hartman, Kees M. van Hee:
Application of Markov decision processes to search problems. Decis. Support Syst. 14(3): 283-298 (1995) - [c11]Wil M. P. van der Aalst
Framework for business process redesign. WETICE 1995: 36-45 - 1994
- [b1]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 - 1993
- [c10]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 - 1992
- [j6]Kees M. van Hee, Theodor Hildebrand, Sergio Copelli
PROOFS: Application engineering based on formal methods. Microprocess. Microprogramming 35(1-5): 29-36 (1992) - [p1]A. T. M. Aerts, Paul De Bra, Kees M. van Hee:
Transforming Functional Database Schemes to Relational Representations. Specifications of Database Systems 1992: 1-20 - 1991
- [j5]Kees M. van Hee, Lou J. Somers, Marc Voorhoeve:
A modeling environment for decision support systems. Decis. Support Syst. 7(3): 241-251 (1991) - [c9]Kees M. van Hee, Peter A. C. Verkoulen:
Data, Process and Behaviour Modelling in an Integrated Specification Framework. DMIS 1991: 191-250 - [c8]Kees M. van Hee, Lou J. Somers, Marc Voorhoeve:
Z and High Level Petri Nets. VDM Europe (1) 1991: 204-219 - [c7]Kees M. van Hee, Lou J. Somers, Marc Voorhoeve:
The EXSPECT Tool. VDM Europe (1) 1991: 683-684 - [e1]Kees M. van Hee, Henk G. Sol:
Dynamic Modelling of Information Systems I, The First International Working Conference on Dynamic Modelling of Information Systems, Noordwijkerhout, The Netherlands, April 9-10, 1990. Elsevier/North Holland 1991, ISBN 9781483294841 [contents] - 1990
- [c6]Kees M. van Hee, Lou J. Somers, Marc Voorhoeve:
A Formal Framework for Dynamic modelling of Information Systems. DMIS 1990: 227-236 - [c5]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 - [c4]A. E. Eiben, Emile H. L. Aarts, Kees M. van Hee:
Global Convergence of Genetic Algorithms: A Markov Chain Analysis. PPSN 1990: 4-12
1980 – 1989
- 1989
- [j4]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) - [c3]Kees M. van Hee, Lou J. Somers, Marc Voorhoeve:
Executable Specifications for Distributed Information Systems. ISCO 1989: 157-176 - 1988
- [j3]Jac M. Anthonisse, Kees M. van Hee, Jan Karel Lenstra:
Resource-constrained project scheduling: an international exercise in DSS development. Decis. Support Syst. 4(2): 249-257 (1988) - [j2]Kees M. van Hee, Antoni Lapinski:
OR and AI approaches to decision support systems. Decis. Support Syst. 4(4): 447-459 (1988) - 1987
- [c2]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
1970 – 1979
- 1978
- [j1]Kees M. van Hee:
Markov Strategies in Dynamic Programming. Math. Oper. Res. 3(1): 37-41 (1978) - 1975
- [c1]Kees M. van Hee:
The Policy Iteration Method for the Optimal Stopping of a Markov Chain with an Application. Optimization Techniques 1975: 22-36
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: