{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T09:06:45Z","timestamp":1762506405837},"reference-count":12,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2014,4]]},"abstract":"<jats:p> In this paper we extend the framework of reaction systems by introducing (extended) zoom structures which formalize a depository of knowledge of a discipline of science. The integrating structure of such a depository (which is a well-founded partial order) allows one to deal with the hierarchical nature of biology. This leads to the notion of an exploration system [Formula: see text] which consists of (1) a static part which is a depository of knowledge given by an extended zoom structure [Formula: see text], and (2) a dynamic part given by a family of reaction systems [Formula: see text]. In this setup the depository of knowledge [Formula: see text] is explored by computations\/processes provided by reaction systems from [Formula: see text], where this exploration can use\/integrate knowledge present on different levels (e.g., atomic, cellular, organism, species, \u2026 levels). <\/jats:p>","DOI":"10.1142\/s0129054114500142","type":"journal-article","created":{"date-parts":[[2014,7,25]],"date-time":"2014-07-25T05:48:52Z","timestamp":1406267332000},"page":"275-305","source":"Crossref","is-referenced-by-count":25,"title":["ZOOM STRUCTURES AND REACTION SYSTEMS YIELD EXPLORATION SYSTEMS"],"prefix":"10.1142","volume":"25","author":[{"given":"ANDRZEJ","family":"EHRENFEUCHT","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Colorado, Boulder, CO 80309-0347, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"GRZEGORZ","family":"ROZENBERG","sequence":"additional","affiliation":[{"name":"Leiden Institute of Advanced Computer Science, Leiden University, Niels Bohrweg 1, 2333 CA Leiden, The Netherlands"},{"name":"Department of Computer Science, University of Colorado, Boulder, CO 80309-0347, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2014,7,24]]},"reference":[{"key":"p_3","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054111008842"},{"key":"p_4","first-page":"191","author":"Brijder R.","year":"2011","journal-title":"Heidelberg"},{"key":"p_7","first-page":"102","author":"Ehrenfeucht A.","year":"2012","journal-title":"Heidelberg"},{"key":"p_9","first-page":"189","author":"Ehrenfeucht A.","year":"2012","journal-title":"Singapore"},{"key":"p_10","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054110007295"},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.01.008"},{"key":"p_12","first-page":"263","volume":"75","author":"Ehrenfeucht A.","year":"2007","journal-title":"Fundamenta Informaticae"},{"key":"p_13","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.09.043"},{"key":"p_15","first-page":"36","author":"Kleijn J.","year":"2011","journal-title":"International Workshop on Biological Processes & Petri Nets. CEURWS Workshop Proceedings ("},{"key":"p_17","doi-asserted-by":"publisher","DOI":"10.1046\/j.1439-0469.2002.00211.x"},{"key":"p_21","first-page":"271","author":"Salomaa A.","year":"2012","journal-title":"Heidelberg"},{"key":"p_22","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-013-9372-y"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054114500142","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T17:54:30Z","timestamp":1565200470000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054114500142"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":12,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2014,7,24]]},"published-print":{"date-parts":[[2014,4]]}},"alternative-id":["10.1142\/S0129054114500142"],"URL":"https:\/\/doi.org\/10.1142\/s0129054114500142","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,4]]}}}