320 citations · 2.3k across the 46 of their papers we have counts for
6 papers · 1 filter
Stochastic Decision Petri Nets
Florian Wittbold, Rebecca Bernemann, Reiko Heckel +2
We introduce stochastic decision Petri nets (SDPNs), which are a form of stochastic Petri nets equipped with rewards and a control mechanism via the deactivation of controllable tr…
Rate Equations for Graphs
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer +1
In this paper, we combine ideas from two different scientific traditions: 1) graph transformation systems (GTSs) stemming from the theory of formal languages and concurrency, and 2…
Rewriting Abstract Structures: Materialization Explained Categorically
Andrea Corradini, Tobias Heindel, Barbara König +2
The paper develops an abstract (over-approximating) semantics for double-pushout rewriting of graphs and graph-like objects. The focus is on the so-called materialization of left-h…
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks
Benjamin Cabrera, Tobias Heindel, Reiko Heckel +1
The paper extends Bayesian networks (BNs) by a mechanism for dynamic changes to the probability distributions represented by BNs. One application scenario is the process of knowled…
Structured Operational Semantics for Graph Rewriting
Andrei Dorman, Tobias Heindel
Process calculi and graph transformation systems provide models of reactive systems with labelled transition semantics. While the semantics for process calculi is compositional, th…
Structural Decomposition of Reactions of Graph-Like Objects
Tobias Heindel
Inspired by decomposition problems in rule-based formalisms in Computational Systems Biology and recent work on compositionality in graph transformation, this paper proposes to use…