Jan Martijn E. M. van der Werf

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
Correctness Notions for Petri Nets with Identifiers Fundamenta Informaticae	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? A soundness perspective Transactions on Petri Nets and Other Models of Concurrency VIII	2013-09-17	Paper
Business process modeling using Petri nets Transactions on Petri Nets and Other Models of Concurrency VII	2013-05-31	Paper
Refinement of synchronizable places with multi-workflow nets Fundamenta Informaticae	2013-04-18	Paper
On profiles and footprints -- relational semantics for Petri nets Lecture Notes in Computer Science	2012-09-04	Paper
Designing weakly terminating ROS systems Lecture Notes in Computer Science	2012-09-04	Paper
Refinement of synchronizable places with multi-workflow nets. Weak termination preserved! Applications and Theory of Petri Nets	2011-06-29	Paper
Process discovery using integer linear programming Fundamenta Informaticae	2009-11-30	Paper
scientific article; zbMATH DE number 5593270 (Why is no real title available?)	2009-08-10	Paper
Compositional Service Trees Applications and Theory of Petri Nets	2009-06-30	Paper
Process Discovery Using Integer Linear Programming Applications and Theory of Petri Nets	2008-07-03	Paper

Research outcomes over time

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