| 2008 |
|---|
| 8 | EE | Jan Martijn E. M. van der Werf,
Boudewijn F. van Dongen,
Cor A. J. Hurkens,
Alexander Serebrenik:
Process Discovery Using Integer Linear Programming.
Petri Nets 2008: 368-387 |
| 7 | EE | 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) |
| 2007 |
|---|
| 6 | EE | 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 |
| 5 | EE | 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 |
| 4 | | Ivo Raedts,
Marija Petkovic,
Yaroslav S. Usenko,
Jan Martijn E. M. van der Werf,
Jan Friso Groote,
Lou J. Somers:
Transformation of BPMN Models for Behaviour Analysis.
MSVVEIS 2007: 126-137 |
| 3 | EE | Ivo Raedts,
Marija Petkovic,
Alexander Serebrenik,
Jan Martijn E. M. van der Werf,
Lou J. Somers,
Maarten Boote:
A software framework for automated verification.
SAC 2007: 1031-1032 |
| 2006 |
|---|
| 2 | EE | 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 |
| 1 | EE | 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 |
