Syntactic markovian bisimulation for chemical reaction networks
In chemical reaction networks (CRNs) with stochastic semantics based on continuous-time Markov chains (CTMCs), the typically large populations of species cause combinatorially large state spaces. This makes the analysis very difficult in practice and represents the major bottleneck for the applicabi...
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Book section |
| Published: |
Springer, Cham
2017
|