H. M. W. Verbeek

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Discovering workflow nets using integer linear programming Computing	2018-06-13	Paper
Process discovery and conformance checking using passages Fundamenta Informaticae	2014-05-12	Paper
Soundness of workflow nets: classification, decidability, and analysis Formal Aspects of Computing	2011-05-30	Paper
Deciding life-cycle inheritance on Petri nets Applications and Theory of Petri Nets 2003	2010-03-31	Paper
Reduction rules for reset/inhibitor nets Journal of Computer and System Sciences	2010-02-12	Paper
Soundness of workflow nets with reset ARCS Transactions on Petri Nets and Other Models of Concurrency III	2009-12-09	Paper
A Framework for Linking and Pricing No-Cure-No-Pay Services Transactions on Petri Nets and Other Models of Concurrency II	2009-04-24	Paper
Soundness-preserving reduction rules for reset workflow nets Information Sciences	2009-03-24	Paper
Applications and Theory of Petri Nets 2005 Lecture Notes in Computer Science	2005-12-14	Paper
scientific article; zbMATH DE number 2088769 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1980992 (Why is no real title available?)	2003-09-15	Paper
Diagnosing workflow processes using Woflan The Computer Journal. Section A Section B	2002-01-23	Paper

Research outcomes over time

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