Algebraic Analysis of the Computation in the Belousov-Zhabotinksy Reaction

  • Paolo Dini
  • Chrystopher L. Nehaniv
  • Attila Egri-Nagy
  • Maria J. Schilstra
Conference paper

DOI: 10.1007/978-3-642-28792-3_27

Volume 7223 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Dini P., Nehaniv C.L., Egri-Nagy A., Schilstra M.J. (2012) Algebraic Analysis of the Computation in the Belousov-Zhabotinksy Reaction. In: Lones M.A., Smith S.L., Teichmann S., Naef F., Walker J.A., Trefzer M.A. (eds) Information Processign in Cells and Tissues. IPCAT 2012. Lecture Notes in Computer Science, vol 7223. Springer, Berlin, Heidelberg

Abstract

We analyse two very simple Petri nets inspired by the Oregonator model of the Belousov-Zhabotinsky reaction using our stochastic Petri net simulator. We then perform the Krohn-Rhodes holonomy decomposition of the automata derived from the Petri nets. The simplest case shows that the automaton can be expressed as a cascade of permutation-reset cyclic groups, with only 2 out of the 12 levels having only trivial permutations. The second case leads to a 35-level decomposition with 5 different simple non-abelian groups (SNAGs), the largest of which is A9. Although the precise computational significance of these algebraic structures is not clear, the results suggest a correspondence between simple oscillations and cyclic groups, and the presence of SNAGs indicates that even extremely simple chemical systems may contain functionally complete algebras.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Paolo Dini
    • 1
    • 2
  • Chrystopher L. Nehaniv
    • 1
  • Attila Egri-Nagy
    • 1
    • 3
  • Maria J. Schilstra
    • 1
  1. 1.Royal Society Wolfson BioComputation Research Lab, Centre for Computer Science and Informatics ResearchUniversity of HertfordshireUnited Kingdom
  2. 2.Department of Media and CommunicationsLondon School of Economics and Political ScienceLondonUnited Kingdom
  3. 3.School of Computing and MathematicsUniversity of Western SydneyParramattaAustralia