Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor von van der Aalst, W.M.P., van Hee, K.M., van der Werf, J.M., Verdonk, M.

Volltext

Petriweb: A Repository for Petri Nets von Goud, R., van Hee, Kees M., Post, R. D. J., van der Werf, J. M. E. M.

Volltext

Process Discovery Using Integer Linear Programming von van der Werf, J. M. E. M., van Dongen, B. F., Hurkens, C. A. J., Serebrenik, A.

Volltext

Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets von Bouroulet, Roland, Devillers, Raymond, Klaudel, Hanna, Pelz, Elisabeth, Pommereau, Franck

Volltext

Nested Nets for Adaptive Systems von van Hee, Kees M., Lomazova, Irina A., Oanea, Olivia, Serebrenik, Alexander, Sidorova, Natalia, Voorhoeve, Marc

Volltext

MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs von Klai, Kais, Poitrenaud, Denis

Volltext

A comparative study in DSS development von van Hee, Kees M., Lenstra, Jan Karel

Volltext

Hierarchical Set Decision Diagrams and Automatic Saturation von Hamez, Alexandre, Thierry-Mieg, Yann, Kordon, Fabrice

Volltext

Business Process Modeling Using Petri Nets von van Hee, Kees M., Sidorova, Natalia, van der Werf, Jan Martijn

Volltext

Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed von van Hee, Kees M., Sidorova, Natalia, van der Werf, Jan Martijn

Volltext

Refinement of Synchronizable Places with Multi-workflow Nets: Weak Termination Preserved von van Hee, Kees M., Sidorova, Natalia, van der Werf, Jan Martijn

Volltext

Application of Markov decision processes to search problems von Hartman, Leo B., van Hee, Kees M.

Volltext

OR and AI approaches to decision support systems von van Hee, Kees M., Lapinski, Antoni

Volltext

Applications and Theory of Petri Nets: 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings von van Hee, Kees, Valk, Rüdiger

Volltext

Applications and Theory of Petri Nets: 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

Volltext

Invention or Discovery? von van Hee, Kees M.

Volltext

Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets von Ding, Lay G., Liu, Lin

Volltext

HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets von Sessego, Fausto, Giua, Alessandro, Seatzu, Carla

Volltext

Synthesis of Petri Nets from Scenarios with VipTool von Bergenthum, Robin, Desel, Jörg, Lorenz, Robert, Mauser, Sebastian

Volltext

Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks von Espensen, Kristian L., Kjeldsen, Mads K., Kristensen, Lars M.

Volltext