The following pages link to Jan Martijn E. M. van der Werf (Q2165250):
Displaying 13 items.
- Data and process resonance. Identifier soundness for models of information systems (Q2165251) (← links)
- When Can We Trust a Third Party? (Q2849444) (← links)
- On Profiles and Footprints – Relational Semantics for Petri Nets (Q2908204) (← links)
- Designing Weakly Terminating ROS Systems (Q2908215) (← links)
- Refinement of Synchronizable Places with Multi-workflow Nets (Q3011886) (← links)
- Process Discovery Using Integer Linear Programming (Q3510879) (← links)
- Compositional Service Trees (Q3636850) (← links)
- Process Discovery using Integer Linear Programming (Q3647366) (← links)
- Refinement of Synchronizable Places with Multi-workflow Nets (Q4914292) (← links)
- Business Process Modeling Using Petri Nets (Q4924447) (← links)
- (Q5192932) (← links)
- Correctness Notions for Petri Nets with Identifiers (Q6189321) (← links)
- There and back again. On the reconstructability and rediscoverability of typed Jackson nets (Q6535182) (← links)