<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Quantitative Reaction Systems?</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Wen Zeng</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Vasileios Germanos</string-name>
          <email>vasileios.germanosg@gmail.com</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Cyber Technology Institute, School of Computer Science and Informatics De Montfort University</institution>
          ,
          <addr-line>Leicester LE1 9BH</addr-line>
          ,
          <country country="UK">U.K</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Natural computing is a research area that investigates both human designed computing inspired by nature and computing taking place in nature [4, 3]. The former research strand examines models and computational techniques inspired by nature, the latter examines, in terms of information processing, phenomena taking place in nature [4, 3]. Examples of the rst strand of research include evolutionary computation with paradigms inspired by Darwinian evolution of spices, neural computation with paradigms inspired by the functioning of the brain, quantum computation with paradigms inspired by quantum mechanics, and molecular computation with paradigms inspired by molecular biology [4, 3]. Examples of the second strand of research are investigations into the computational nature of self-assembly, the computational nature of developmental processes, the computational nature of brain processes, the systems biology approach to bio-networks where cellular processes are investigated in terms of communication and interaction, and the computational nature of biochemical reactions [4, 3]. The second strand of research highlights the fact that computer science is the central science of information processing as well, and as such a basic science for other scienti c disciplines such as biology [4, 3]. This research is focusing on the formal frameworks for the investigation of the functioning of the living cell. It belongs to the second strand of research, as it looks at the functioning of the living cell in terms of formal processes resulting from interactions between biochemical reactions occurring in it. This study considers that these interactions are caused by two mechanisms: facilitation and inhibition { the reactions may facilitate or inhibit each other. A reaction model is based on principles notably di erent from those underlying other models of computation in computer science [4, 3, 5, 2]. The fundamental idea of this framework is that the functioning of a living cell is based on interactions between individual reactions [4, 3, 5, 2]. These interactions determine the dynamic processes taking place in living cells, and reaction systems are an abstract model of these processes [4, 3, 5, 2]. Typical examples of reaction systems in practice would be analysing user and adversary behaviours in the organizations; analysing data security and privacy in dynamic environments; a hardware system which su ers component breakdowns and recon guration; a distributed system whose software is continually updated. Such diverse event-based systems all su er from a very high dynamic</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>behaviour due to the intricate dependencies in the representation of the state
information, and dynamic system recon guration.</p>
      <p>
        There exists some key methods to analyse the reaction systems: In [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ], the
authors investigated which entities in the system are actually relevant from the
point of view of generating dynamic processes through such state
transformations. In [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ], the authors proposed Petri nets could be used to provide faithful
semantics of reaction systems, because Petri nets are a general and well-established
model of concurrent and distributed computation and behaviour, including that
taking place in biological system. In [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], the probabilistic behaviour of reaction
systems is considered. The authors represent sets of reactions by trees, they
obtain a useful tool to investigate the state spaces of reaction systems. This study
only can be treated as an initial step, and we will consider the extension and
application of this studies.
      </p>
      <p>In our study, we consider the number of molecules of reaction systems which
allowing for quantitative modelling, and we investigate the interactive processes
in the reaction system. Functions and algorithms are introduced to analyse the
basic properties of such system.</p>
      <p>Our work is inspired by Professor Grzegorz Rozenberg who delivered a
workshop on reaction systems when we were post-doctorial research associates in
Newcastle University. We would like to thank Professor Maciej Koutny for his
vision, insight and detailed explanations about the entities in the system.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Brijder</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ehrenfeucht</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rozenberg</surname>
          </string-name>
          , G.:
          <article-title>Representing reaction systems by trees</article-title>
          .
          <source>In: Computation</source>
          , Physics and Beyond - International Workshop on Theoretical Computer Science, WTCS
          <year>2012</year>
          ,
          <article-title>Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday</article-title>
          , Auckland, New Zealand,
          <source>February 21-24</source>
          ,
          <year>2012</year>
          ,
          <string-name>
            <given-names>Revised</given-names>
            <surname>Selected</surname>
          </string-name>
          and
          <string-name>
            <given-names>Invited</given-names>
            <surname>Papers</surname>
          </string-name>
          . pp.
          <volume>330</volume>
          {
          <issue>342</issue>
          (
          <year>2012</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Ehrenfeucht</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kleijn</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Koutny</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rozenberg</surname>
          </string-name>
          , G.:
          <article-title>Relevance of entities in reaction systems</article-title>
          .
          <source>In: Languages Alive - Essays Dedicated to Jurgen Dassow on the Occasion of His 65th Birthday</source>
          . pp.
          <volume>44</volume>
          {
          <issue>55</issue>
          (
          <year>2012</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Ehrenfeucht</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rozenberg</surname>
          </string-name>
          , G.:
          <article-title>Biochemical reactions as computations</article-title>
          .
          <source>In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE</source>
          <year>2007</year>
          , Siena, Italy, June 18-23,
          <year>2007</year>
          , Proceedings. pp.
          <volume>672</volume>
          {
          <issue>673</issue>
          (
          <year>2007</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Ehrenfeucht</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rozenberg</surname>
          </string-name>
          , G.:
          <article-title>Reaction systems</article-title>
          .
          <source>Fundam. Inform</source>
          .
          <volume>75</volume>
          (
          <issue>1-4</issue>
          ),
          <volume>263</volume>
          {
          <fpage>280</fpage>
          (
          <year>2007</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Kleijn</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Koutny</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rozenberg</surname>
          </string-name>
          , G.:
          <article-title>Petri nets for biologically motivated computing</article-title>
          .
          <source>Sci. Ann</source>
          . Comp. Sci.
          <volume>21</volume>
          (
          <issue>2</issue>
          ),
          <volume>199</volume>
          {
          <fpage>225</fpage>
          (
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>