کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
435672 | 689925 | 2015 | 12 صفحه PDF | دانلود رایگان |
Reaction systems are a formal framework for investigating dynamic bioprocesses which was inspired by the functioning of the living cell. Zoom structures formalize a static depository of knowledge of a discipline of knowledge/science and in particular they allow one to deal with the hierarchical nature of biology. Exploration systems combine reaction systems with zoom structures allowing one to explore a discipline of science such as biology taking into account both its static and dynamic aspects. In order to facilitate applications of exploration systems, in this paper we consider (i) a subclass of zoom structures called standard zoom structures as well as (ii) augmenting both zoom structures and reaction systems by total ordering of their domains (background sets).
Journal: Theoretical Computer Science - Volume 608, Part 1, 10 December 2015, Pages 4–15