Mean Quantitative Coverability in Stochastic Graph Transformation Systems

Tobias Heindel, Vincent Danos, Ricardo Honorato Zimmer, Sandro Stucki

Research output: Contribution to journalArticlepeer-review


Many classical problems for Petri nets, in particular reachability and coverability, have obvious counterparts for graph transformation systems. Similarly, many problems for stochastic Petri nets, seen as a model for chemical reaction networks, are special cases of corresponding problems in graph transformation. For example, the evolution of the counts of chemical species in a test tube over time is a typical phenomenon from chemistry, which can faithfully be modelled and analysed using stochastic Petri nets. The corresponding mean quantitative coverability problem for stochastic graph transformation is simple to describe – yet hard to solve. This extended abstract summarises the fundamental ideas and challenges.
Original languageEnglish
Number of pages2
JournalElectronic Communications of the EASST
Publication statusPublished - 2014

Fingerprint Dive into the research topics of 'Mean Quantitative Coverability in Stochastic Graph Transformation Systems'. Together they form a unique fingerprint.

Cite this