Kees M. van Hee

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2014
Relationship between Simulink and Petri nets.
Proceedings of the 4th International Conference On Simulation And Modeling Methodologies, 2014

2013
Business Process Modeling Using Petri Nets.
Trans. Petri Nets and Other Models of Concurrency, 2013

When Can We Trust a Third Party? - A Soundness Perspective.
Trans. Petri Nets and Other Models of Concurrency, 2013

Refinement of Synchronizable Places with Multi-workflow Nets.
Fundam. Inform., 2013

The Right Timing: Reflections on the Modeling and Analysis of Time.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012
When Can We Trust a Third Party? - A Soundness Perspective.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

Designing Weakly Terminating ROS Systems.
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011
Soundness of workflow nets: classification, decidability, and analysis.
Formal Asp. Comput., 2011

Conceptual model for online auditing.
Decision Support Systems, 2011

Is my event log complete? - A probabilistic approach to process mining.
Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science, 2011

Discovering Characteristics of Stochastic Collections of Process Models.
Proceedings of the Business Process Management - 9th International Conference, 2011

Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved!
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

A Component Framework where Port Compatibility Implies Weak Termination.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

2010
On-the-Fly Auditing of Business Processes.
Trans. Petri Nets and Other Models of Concurrency, 2010

Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor.
IEEE Computer, 2010

Soundness-Preserving Refinements of Service Compositions.
Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed!
Proceedings of the Software Composition, 9th International Conference, SC 2010, Malaga, 2010

Generating Benchmarks by Random Stepwise Refinement of Petri Nets.
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.
Trans. Petri Nets and Other Models of Concurrency, 2009

Soundness of Workflow Nets with Reset Arcs.
Trans. Petri Nets and Other Models of Concurrency, 2009

On the relationship between workflow models and document types.
Inf. Syst., 2009

Generation of Database Transactions with Petri Nets.
Fundam. Inform., 2009

History-Dependent Stochastic Petri Nets.
Proceedings of the Perspectives of Systems Informatics, 2009

Compositional Service Trees.
Proceedings of the Applications and Theory of Petri Nets, 2009

2008
Model Driven Testing Based on Test History.
Trans. Petri Nets and Other Models of Concurrency, 2008

Designing Case Handling Systems.
Trans. Petri Nets and Other Models of Concurrency, 2008

Working with the Past: Integrating History in Petri Nets.
Fundam. Inform., 2008

Token History Petri Nets.
Fundam. Inform., 2008

History-based joins: Semantics, soundness and implementation.
Data Knowl. Eng., 2008

Statistical Certification of Software Systems.
Communications in Statistics - Simulation and Computation, 2008

2007
LogLogics: A logic for history-dependent business processes.
Sci. Comput. Program., 2007

An SOA-based architecture framework.
IJBPIM, 2007

Checking Properties of Adaptive Workflow Nets.
Fundam. Inform., 2007

Scheduling-free resource management.
Data Knowl. Eng., 2007

Adaptive Workflow Nets for Grid Computing.
Proceedings of the Parallel Computing Technologies, 2007

Modelling with History-Dependent Petri Nets.
Proceedings of the Business Process Management, 5th International Conference, 2007

Adaptive Workflows for Healthcare Information Systems.
Proceedings of the Business Process Management Workshops, 2007

History-Dependent Petri Nets.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006
Resource-Constrained Workflow Nets.
Fundam. Inform., 2006

Consistency in model integration.
Data Knowl. Eng., 2006

Modelling History-Dependent Business Processes.
Proceedings of the Modelling, 2006

Verifying Generalized Soundness of Workflow Nets.
Proceedings of the Perspectives of Systems Informatics, 2006

A SOA-Based Architecture Framework.
Proceedings of the Role of Business Processes in Service Oriented Architectures, 16.07., 2006

History-Based Joins: Semantics, Soundness and Implementation.
Proceedings of the Business Process Management, 4th International Conference, 2006

Nested Nets for Adaptive Systems.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006

Petriweb: A Repository for Petri Nets.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006

Yasper: a tool for workflow modeling and analysis.
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.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

The Price of Coordination in Resource Management.
Proceedings of the Business Process Management, 3rd International Conference, 2005

Soundness of Resource-Constrained Workflow Nets.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

Non-destructive Integration of Form-Based Views.
Proceedings of the Advances in Databases and Information Systems, 2005

2004
Consistency in Model Integration.
Proceedings of the Business Process Management: Second International Conference, 2004

Generalised Soundness of Workflow Nets Is Decidable.
Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003
Use Cases as Workflows.
Proceedings of the Business Process Management, International Conference, 2003

Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

The Petri Net Markup Language: Concepts, Technology, and Tools.
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].
Sci. Comput. Program., 2002

Component-based software architectures: a framework based on inheritance of behavior.
Sci. Comput. Program., 2002

A new reduction method for the analysis of large workflow models.
Proceedings of the Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, 2002

Workflow Management: Models, Methods, and Systems
MIT Press, ISBN: 0-262-01189-1, 2002

2000
Using Formal Analysis Techniques in Business Process Redesign.
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.
ICATPN, 2000

1995
Application of Markov decision processes to search problems.
Decision Support Systems, 1995

A unifying approach to heuristic search.
Annals OR, 1995

Framework for business process redesign.
Proceedings of the 4th Workshop on Enabling Technologies, 1995

1994
Information systems engineering - a formal approach.
Cambridge University Press, ISBN: 978-0-521-45514-5, 1994

1993
Specification and Simulation with ExSpect.
Proceedings of the Functional Programming, 1993

1992
PROOFS: Application engineering based on formal methods.
Microprocessing and Microprogramming, 1992

1991
A modeling environment for decision support systems.
Decision Support Systems, 1991

The EXSPECT Tool.
Proceedings of the VDM '91, 1991

Z and High Level Petri Nets.
Proceedings of the VDM '91, 1991

Data, Process and Behaviour Modelling in an Integrated Specification Framework.
Proceedings of the Dynamic Modelling of Information Systems II, 1991

1990
Global Convergence of Genetic Algorithms: A Markov Chain Analysis.
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.
Proceedings of the VDM '90, 1990

A Formal Framework for Dynamic modelling of Information Systems.
Proceedings of the Dynamic Modelling of Information Systems I, 1990

1989
Modeling of discrete dynamic systems-framework and examples.
Inf. Syst., 1989

Executable Specifications for Distributed Information Systems.
Proceedings of the Information System Concepts: An In-depth Analysis, 1989

1988
OR and AI approaches to decision support systems.
Decision Support Systems, 1988

Resource-constrained project scheduling: an international exercise in DSS development.
Decision Support Systems, 1988

1987
A Framework for the Conceptual Modeling of Discrete Dynamic Systems.
Proceedings of the Temporal Aspects in Information Systems, 1987

1978
Markov Strategies in Dynamic Programming.
Math. Oper. Res., 1978

1975
The Policy Iteration Method for the Optimal Stopping of a Markov Chain with an Application.
Proceedings of the Optimization Techniques: Modeling and Optimization in the Service of Man, Part 2, 1975


  Loading...