We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Sufficient Conditions for the Eventual Dying of Reactions in Discrete Chemical Reaction Networks

Formal Metadata

Title
Sufficient Conditions for the Eventual Dying of Reactions in Discrete Chemical Reaction Networks
Title of Series
Number of Parts
13
Author
License
CC Attribution - NonCommercial - NoDerivatives 4.0 International:
You are free to use, copy, distribute and transmit the work or content in unchanged form for any legal and non-commercial purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
We consider chemical reaction networks operating on discrete state spaces, i.e., where we keep track of molecule counts. We give a sufficient syntactic condition on chemical reaction networks for the impossibility of certain reactions to take place in the long term. This result is a statement about the reachability relation and is therefore independent of stochastics. As such, it can equivalently be formulated in terms of Petri nets, which is a well-studied model of concurrency.
Keywords