Moment Semantics for Reversible Rule-Based Systems

  title={Moment Semantics for Reversible Rule-Based Systems},
  author={Vincent Danos and Tobias Heindel and Ricardo Honorato-Zimmer and Sandro Stucki},
We develop a notion of stochastic rewriting over marked graphs – i.e. directed multigraphs with degree constraints. The approach is based on double-pushout (DPO) graph rewriting. Marked graphs are expressive enough to internalize the ‘no-dangling-edge’ condition inherent in DPO rewriting. Our main result is that the linear span of marked graph occurrence… CONTINUE READING