<p>We propose an extension to the framework of reaction systems such that the environment not only plays the role of contributing entities to the successor state, but also influences the actual generation of products. In particular, we consider that an environment can assign <i>valences</i> to entities, be they used as reactants or inhibitors in a reaction, as well as <i>select</i> the entities which can appear in the successor state as product of a reaction. This provides a framework for <i>immersing</i> reaction system specifications into different contexts. We also derive a notion of <i>polarised reaction systems</i>, where entities can appear only as reactants or inhibitors in any given reaction. We compare the expressive power of the models, also showing some equivalences between them, and test them on three case studies derived from physiology, ecology, and chemistry.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Immersing reaction system specifications in evaluating environments

  • Paolo Bottoni,
  • Anna Labella,
  • Victor Mitrana,
  • Ion Petre

摘要

We propose an extension to the framework of reaction systems such that the environment not only plays the role of contributing entities to the successor state, but also influences the actual generation of products. In particular, we consider that an environment can assign valences to entities, be they used as reactants or inhibitors in a reaction, as well as select the entities which can appear in the successor state as product of a reaction. This provides a framework for immersing reaction system specifications into different contexts. We also derive a notion of polarised reaction systems, where entities can appear only as reactants or inhibitors in any given reaction. We compare the expressive power of the models, also showing some equivalences between them, and test them on three case studies derived from physiology, ecology, and chemistry.