H. M. W. Verbeek

Available identifiers

zbMath Open verbeek.h-m-wMaRDI QIDQ539431

List of research outcomes

Publication	Date of Publication	Type
Discovering workflow nets using integer linear programming	2018-06-13	Paper
Process Discovery and Conformance Checking Using Passages	2014-05-12	Paper
Soundness of workflow nets: classification, decidability, and analysis	2011-05-30	Paper
Deciding life-cycle inheritance on Petri nets	2010-03-31	Paper
Reduction rules for reset/inhibitor nets	2010-02-12	Paper
Soundness of workflow nets with reset ARCS	2009-12-09	Paper
A Framework for Linking and Pricing No-Cure-No-Pay Services	2009-04-24	Paper
Soundness-preserving reduction rules for reset workflow nets	2009-03-24	Paper
Applications and Theory of Petri Nets 2005	2005-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q3045489	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4428396	2003-09-15	Paper
Diagnosing workflow processes using Woflan	2002-01-23	Paper

Research outcomes over time

This page was built for person: H. M. W. Verbeek