research
∙
03/23/2023
Stochastic Decision Petri Nets
We introduce stochastic decision Petri nets (SDPNs), which are a form of...
share
research
∙
08/25/2020
Rate Equations for Graphs
In this paper, we combine ideas from two different scientific traditions...
research
∙
06/11/2020
Incentive Alignment of Business Processes: a game theoretic approach
Many definitions of business processes refer to business goals, value cr...
research
∙
02/13/2019
Rewriting Abstract Structures: Materialization Explained Categorically
The paper develops an abstract (over-approximating) semantics for double...
research
∙
06/29/2018