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
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	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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