Jan Martijn E. M. van der Werf

Available identifiers

zbMath Open van-der-werf.jan-martijnMaRDI QIDQ2165250

List of research outcomes

Publication	Date of Publication	Type
Correctness Notions for Petri Nets with Identifiers	2024-02-08	Paper
There and back again. On the reconstructability and rediscoverability of typed Jackson nets	2023-11-16	Paper
Data and process resonance. Identifier soundness for models of information systems	2022-08-19	Paper
When Can We Trust a Third Party?	2013-09-17	Paper
Business Process Modeling Using Petri Nets	2013-05-31	Paper
Refinement of Synchronizable Places with Multi-workflow Nets	2013-04-18	Paper
On Profiles and Footprints – Relational Semantics for Petri Nets	2012-09-04	Paper
Designing Weakly Terminating ROS Systems	2012-09-04	Paper
Refinement of synchronizable places with multi-workflow nets. Weak termination preserved!	2011-06-29	Paper
Process discovery using integer linear programming	2009-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q5192932	2009-08-10	Paper
Compositional Service Trees	2009-06-30	Paper
Process Discovery Using Integer Linear Programming	2008-07-03	Paper

Research outcomes over time

This page was built for person: Jan Martijn E. M. van der Werf