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...
| Главные авторы: | , , , |
|---|---|
| Другие авторы: | |
| Формат: | Book section |
| Опубликовано: |
Springer, Cham
2017
|