کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4950075 | 1440360 | 2016 | 23 صفحه PDF | دانلود رایگان |
![عکس صفحه اول مقاله: On the Flora of Asynchronous Locally Non-monotonic Boolean Automata Networks On the Flora of Asynchronous Locally Non-monotonic Boolean Automata Networks](/preview/png/4950075.png)
Boolean automata networks (BANs) are a well established model for regulation systems such as neural networks or gene regulation networks. Studies on the asynchronous dynamics of BANs have mainly focused on monotonic networks, where fundamental questions on the links relating their static and dynamical properties have been raised and addressed. This paper explores analogous questions on non-monotonic networks, â-BANs (xor-BANs), that are BANs where all the local transition functions are â-functions. Using algorithmic tools, we give a general characterisation of the asynchronous transition graphs of most of the strongly connected â-BANs and cactus â-BANs. As an illustration of these results, we provide a complete description of the asynchronous dynamics of two particular structures of â-BANs, namely â-Flowers and â-Cycle Chains. This work also draws new behavioural equivalences between BANs, using rewriting rules on their graph description.
Journal: Electronic Notes in Theoretical Computer Science - Volume 326, 28 October 2016, Pages 3-25