Comparing chemical reaction networks: A categorical and algorithmic perspective
We study chemical reaction networks (CRNs) as a kernel model of concurrency provided with semantics based on ordinary differential equations. We investigate the problem of comparing two CRNs, i.e., to decide whether the solutions of a source and of a target CRN can be matched for an appropriate choi...
| Main Authors: | , , , |
|---|---|
| Format: | Journal article |
| Published: |
Elsevier
2017
|