| 2020‑2021 | Dekker, Loes | Formal Semantics of ALCH | Basold, dr. H., Kleijn, prof.dr. H.C.M. | CS |
| 2019‑2020 | Roos, Dennis | Protocol Link Nets: A Flexible Method for Composing Petri Nets | Kleijn, prof.dr. H.C.M., Hoogeboom, dr. H.J. | CS |
| 2017‑2018 | Steffens, B. (Benjamin) | Dynamic Reductions for More Efficient Software Verification | Laarman, dr. A.W., Kleijn, prof.dr. H.C.M. | Inf |
| 2016‑2017 | Brandt, O. (Oscar) | Comparing Algorithms: Calculating the Minimal Coverability Set of Petr... | Kleijn, prof.dr. H.C.M., Hoogeboom, dr. H.J. | Inf |
| 2016‑2017 | Fokkinga, D.B. (Daniel) | Towards Learning Software Models: making documentation easier | Bonsangue, prof.dr. M.M., Kleijn, prof.dr. H.C.M. | Inf |
| 2015‑2016 | Vietor, J. (Jaron) | A Formal Representation and Calculation Method for Generic Petri nets | Kleijn, prof.dr. H.C.M., Verbeek, prof.dr.ir. F.J. | CS |
| 2015‑2016 | Bannenberg, L. (Lou) | Checking for Compatibility in Team Automata | Kleijn, prof.dr. H.C.M., Hoogeboom, dr. H.J. | Inf |
| 2015‑2016 | Duba, D. (Dico) | Retting PIPE: Extending the Petri Net tool PIPE 5 | Kleijn, prof.dr. H.C.M., Stein, dr. N. van | Inf |
| 2015‑2016 | Louwe, A. (Anneloes) | Constructing Petri Net Models from Biological Literature using Structu... | Kleijn, prof.dr. H.C.M., Verbeek, prof.dr.ir. F.J. | Inf |
| 2015‑2016 | Roos, D. (Dennis) | Transformation of Membrane Systems | Hoogeboom, dr. H.J., Kleijn, prof.dr. H.C.M. | Inf |
| 2013‑2014 | Buitenhuis, T. (Taco) | The Constraint-Relation Modelling Language and its Relation to Petri N... | Verbeek, prof.dr.ir. F.J., Kleijn, prof.dr. H.C.M. | Inf |
| 2012‑2013 | Engelen, J. (Jesper) van | Guided Rewriting in Families of Languages | Hoogeboom, dr. H.J., Kleijn, prof.dr. H.C.M. | Inf |
| 2012‑2013 | Nes, M. (Matthijs) van de | Coverability and Extended Petri Nets | Kleijn, prof.dr. H.C.M., dr. F.M. Spieksma | Inf |
| 2012 | Zwijger, W. (Wouter) de | Increasing Explicit Parallellism in Polyhedral Process Networks using ... | Stefanov, dr. T.P., dr. S. van Haastrecht, Kleijn, prof.dr. H.C.M. | CS |
| 2012 | Schrama, S. (Stefan) | Shikaku | dr. J.H.P. Kwisthout, Kleijn, prof.dr. H.C.M. | Inf |
| 2011 | Stein, B. (Bas) van | The Beginning of a Theory for Set-Nets | Kleijn, prof.dr. H.C.M., Hoogeboom, dr. H.J. | Inf |
| 2011 | Vlugt, S.H.W. (Sander) van der | Coverability Tree Constructions and Inhibitor Places | Kleijn, prof.dr. H.C.M., Hoogeboom, dr. H.J. | Inf |
| 2010 | Vietor, J. (Jaron) | Multithreading voor Iedereen | Kleijn, prof.dr. H.C.M., Groenewegen, dr. L.P.J. | Inf |
| 2010 | Zwijger, W. (Wouter) de | Demonstration Tools for Petri Nets | Kleijn, prof.dr. H.C.M. | Inf |
| 2009 | Vink, R. (Ron) | Temporal Pattern Analysis using Reservoir Computing | Kosters, dr. W.A., Kleijn, prof.dr. H.C.M. | CS |
| 2006 | Kwantes, P. (Pieter) | Design of Clearing and Settlement Operations: A Case Study in Business... | Kleijn, prof.dr. H.C.M., Groenewegen, dr. L.P.J. | CS |
| 2006 | Zon, M. (Matthijs) van der | Adding Robustness and Scalability to Existing Data Mining Algorithms f... | Kosters, dr. W.A., Kleijn, prof.dr. H.C.M. | CS |
| 2004 | Barthel,. M. (Mischa) | Petri Nets: Model Checking, Unfoldings and the Observable Configuratio... | Kleijn, prof.dr. H.C.M., Engelfriet, dr. J. | CS |
| 2003 | Beek, M.H. (Maurice) ter | Team Automata: A Formal Approach to the Modeling of Collaboration Betw... | Rozenberg, prof.dr. G., Kleijn, prof.dr. H.C.M. | PhD |
| 2002 | Burg, M. (Mathijs) van der | Genetic Algorithms for Nonograms | Kosters, dr. W.A., Kleijn, prof.dr. H.C.M. | CS |
| 1996 | Keesmaat, N.W. (Iko) | Vector Controlled Concurrent Systems | Rozenberg, prof.dr. G., Kleijn, prof.dr. H.C.M. | PhD |
| 1996 | Beek, M.H. (Maurice) ter | Teams in grammar systems | Kleijn, prof.dr. H.C.M. | CS |
| 1996 | Meijboom, L. (Leejanne) | Generalizations of Mazurkiewicz Traces | Kleijn, prof.dr. H.C.M. | CS |
| 1994 | Hoogers, P.W. (Peter) | Behavioural Aspects of Petri Nets | Rozenberg, prof.dr. G., prof.dr. P.S. Thiagarajan, Kleijn, prof.dr. H.C.M. | PhD |
