बूलियन नेटवर्क
एक बूलियन नेटवर्क में बूलियन चर का एक असतत सेट होता है। जिनमें से प्रत्येक में एक बूलियन फ़ंक्शन होता है। संभवतः प्रत्येक चर के लिए अलग इसे सौंपा जाता है। जो उन चर और आउटपुट के सबसेट से इनपुट लेता है। जो उस चर की स्थिति को निर्धारित करता है। जिसे इसे सौंपा गया है। कार्यों का यह सेट प्रभाव में चर के सेट पर एक टोपोलॉजी (कनेक्टियविटी) निर्धारित करता है। जो तब नेटवर्क (गणित) में नोड बन जाता है। सामान्यतः तंत्र की गतिशीलता को असतत समय श्रृंखला के रूप में लिया जाता है। जहां समय पर पूरे नेटवर्क की स्थिति t+1 समय t पर नेटवर्क की स्थिति पर प्रत्येक चर के कार्य का मूल्यांकन करके निर्धारित किया जाता है। यह समकालिक रूप से या अतुल्यकालिक रूप से किया जा सकता है।[1]
जीव विज्ञान में बूलियन नेटवर्क का उपयोग विनियामक नेटवर्क के मॉडल के लिए किया गया है। चूंकि बूलियन नेटवर्क आनुवंशिक वास्तविकता का एक अपरिष्कृत सरलीकरण है। जहां जीन सरल बाइनरी स्विच नहीं हैं। ऐसी कई स्थितियां हैं जहां वे व्यक्त और दबे हुए जीन के सही पैटर्न को सही ढंग से व्यक्त करते हैं।[2][3] प्रतीत होने वाला गणितीय आसान (तुल्यकालिक) मॉडल केवल 2000 के दशक के मध्य में पूरी तरह से समझा गया था।[4]
मौलिक मॉडल
एक बूलियन नेटवर्क एक विशेष प्रकार की अनुक्रमिक गतिशील प्रणाली है। जहां समय और राज्य असतत होते हैं। अर्थात चर के सेट और समय श्रृंखला में राज्यों के सेट दोनों में पूर्णांक श्रृंखला पर एक आक्षेप होता है।
एक यादृच्छिक बूलियन नेटवर्क (आरबीएन) वह है जिसे एक विशेष आकार N के सभी संभावित बूलियन नेटवर्क के सेट से यादृच्छिक रूप से चुना जाता है। एक तो सांख्यिकीय रूप से अध्ययन कर सकता है कि कैसे ऐसे नेटवर्क के अपेक्षित गुण सभी संभावित नेटवर्कों के समूह के विभिन्न सांख्यिकीय गुणों पर निर्भर करते हैं। उदाहरण के लिए कोई यह अध्ययन कर सकता है कि औसत कनेक्टिविटी बदलने पर आरबीएन व्यवहार कैसे बदलता है।
आनुवंशिक नियामक नेटवर्क के यादृच्छिक मॉडल के रूप में 1969 में स्टुअर्ट ए कॉफ़मैन द्वारा पहले बूलियन नेटवर्क प्रस्तावित किए गए थे।[5] लेकिन उनकी गणितीय समझ 2000 के दशक में ही प्रारम्भ हुई थी।[6][7]
अट्रैक्टर
चूँकि एक बूलियन नेटवर्क में केवल 2N होते हैं। संभावित अवस्थाएँ एक प्रक्षेपवक्र जल्दी या बाद में पहले देखी गई स्थिति तक पहुँच जाएगा और इस प्रकार चूंकि गतिकी नियतात्मक होती है। प्रक्षेपवक्र एक स्थिर अवस्था या चक्र में गिर जाएगा। जिसे एक आकर्षण कहा जाता है। यद्यपि गतिशील के व्यापक क्षेत्र में तंत्र एक चक्र केवल एक आकर्षित करने वाला होता है। यदि इससे त्रुटि वापस आती है। यदि आकर्षित करने वाले की केवल एक ही अवस्था होती है। तो उसे बिंदु आकर्षणक कहा जाता है और यदि आकर्षित करने वाले में एक से अधिक अवस्थाएँ होती हैं। तो उसे चक्र आकर्षित करने वाला कहा जाता है। आकर्षित करने वाले राज्यों के समूह को आकर्षण का बेसिन कहा जाता है। राज्य, जो केवल प्रक्षेपवक्र की प्रारम्भ में होते हैं। कोई प्रक्षेपवक्र उन्हें आगे नहीं ले जाते हैं, गार्डन-ऑफ-ईडन राज्य कहलाते हैं[8] और नेटवर्क की गतिशीलता इन राज्यों से आकर्षित करने वालों की ओर बहती है। एक आकर्षित करने वाले तक पहुँचने में लगने वाले समय को क्षणिक समय कहा जाता है।[4]
बढ़ती कंप्यूटर शक्ति और प्रतीत होने वाले सरल मॉडल की बढ़ती समझ के साथ अलग-अलग लेखकों ने आकर्षित करने वालों की औसत संख्या और लंबाई के लिए अलग-अलग अनुमान दिए। यहां प्रमुख प्रकाशनों का संक्षिप्त सारांश दिया गया है।[9]
लेखक | वर्ष | औसत आकर्षित करने वाली लंबाई | औसत आकर्षित करने वाली संख्या | टिप्पणी |
---|---|---|---|---|
कॉफ़मैन [5] | 1969 | |||
बस्तोला/पेरिस[10] | 1998 | शक्ति के नियम से तेज, | शक्ति के नियम से तेज, | पहला संख्यात्मक प्रमाण |
बिल्के/सुजनेसन[11] | 2002 | सिस्टम आकार के साथ रैखिक, | ||
सोकोलर/कॉफमैन[12] | 2003 | रैखिक से तेज, , | ||
सैमुएलसन/ट्रोइन[13] | 2003 | सुपरपोलिनोमियल वृद्धि, | गणितीय प्रमाण | |
मिहालजेव/ड्रोसेल | 2005 | शक्ति के नियम से तेज, | शक्ति के नियम से तेज, |
स्थिरता
डायनेमिक तंत्र सिद्धांत में नेटवर्क के आकर्षित करने वालों की संरचना और लंबाई नेटवर्क के गतिशील चरण से मिलती है। बूलियन नेटवर्क की स्थिरता उनके नोड (ग्राफ सिद्धांत) के कनेक्शन पर निर्भर करती है। एक बूलियन नेटवर्क स्थिर आलोचनात्मक या अराजक व्यवहार प्रदर्शित कर सकता है। यह घटना नोड्स के कनेक्शन की औसत संख्या () के एक महत्वपूर्ण मूल्य द्वारा नियंत्रित होती है और हैमिंग दूरी द्वारा दूरी माप के रूप में चित्रित किया जा सकता है। अस्थिर शासन में प्रारंभिक रूप से दो पास राज्यों के बीच की दूरी औसतन समय के साथ तेजी से बढ़ती है। जबकि स्थिर शासन में यह तेजी से घट जाती है। इसमें प्रारंभिक रूप से पास के राज्यों के साथ इसका अर्थ है कि हैमिंग दूरी नोड्स की संख्या की तुलना () नेटवर्क में छोटी है।
एन-के-मॉडल के लिए[14] नेटवर्क स्थिर है।
यदि ,
महत्वपूर्ण यदि , और अस्थिर
यदि .
किसी दिए गए नोड की स्थिति इसकी सत्य सूची के अनुसार अद्यतन किया जाता है। जिसके आउटपुट अच्छे से भरे जाते हैं। इनपुट सिग्नल की दी गई श्रृंखला के लिए ऑफ आउटपुट असाइन करने की संभावना को दर्शाता है।
यदि प्रत्येक नोड के लिए स्थिर और अराजक सीमा के बीच संक्रमण निर्भर करता है। बर्नार्ड डेरिडा और यवेस पोमो के अनुसार[15] कनेक्शन की औसत संख्या का महत्वपूर्ण मान है। .
यदि स्थिर नहीं है और इन-डिग्री और आउट-डिग्री के बीच कोई संबंध नहीं है। स्थिरता की स्थिति किसके द्वारा निर्धारित की जाती है।[16][17][18] नेटवर्क स्थिर है।
यदि महत्वपूर्ण
यदि और अस्थिर
यदि .
स्केल-फ्री नेटवर्क स्केल-फ्री नेटवर्क टोपोलॉजी वाले नेटवर्क के स्थितियां में स्थिरता की स्थिति समान होती है। जहां इन-एंड-आउट-डिग्री डिस्ट्रीब्यूशन एक पावर-लॉ डिस्ट्रीब्यूशन है और क्योंकि एक नोड से प्रत्येक आउट-लिंक दूसरे से इन-लिंक होता है।[19] संवेदनशीलता इस संभावना को दर्शाती है कि किसी दिए गए नोड के बूलियन फ़ंक्शन का आउटपुट बदलता है। यदि उसका इनपुट बदलता है। यादृच्छिक बूलियन नेटवर्क के लिए . सामान्य स्थिति में नेटवर्क की स्थिरता सबसे बड़े ईजेन मान और ईजेन वैक्टर द्वारा नियंत्रित होती है। मैट्रिक्स का , जहाँ और नेटवर्क का आसन्न मैट्रिक्स है।[20] नेटवर्क स्थिर है। यदि , महत्वपूर्ण यदि , अस्थिर यदि .
मॉडल के रूपांतर
अन्य टोपोलॉजी
एक विषय विभिन्न अंतर्निहित ग्राफ टोपोलॉजी का अध्ययन करना है।
- सजातीय स्थितिकेवल एक ग्रिड को संदर्भित करता है जो कि प्रसिद्ध ईज़िंग मॉडल की कमी है।
- स्केल-फ्री नेटवर्क बूलियन नेटवर्क के लिए स्केल-फ्री टोपोलॉजी का चयन किया जा सकता है।[21] कोई उस स्थितियां को अलग कर सकता है। जहां सत्ता-नियम में केवल इन-डिग्री वितरण वितरित किया गया हो[22] या केवल आउट-डिग्री-डिस्ट्रीब्यूशन या दोनों।
अन्य अद्यतन योजनाएं
क्लासिकल बूलियन नेटवर्क (कभी-कभी सीआरबीएन, अर्थात क्लासिक रैंडम बूलियन नेटवर्क कहा जाता है) सिंक्रोनस रूप से अपडेट किए जाते हैं। इस तथ्य से प्रेरित है कि जीन सामान्यतः एक साथ अपनी स्थिति नहीं बदलते हैं।[23] अलग-अलग विकल्प प्रस्तुत किए गए हैं। एक सामान्य वर्गीकरण[24] निम्नलखित में से कोई:
- नियतात्मक अतुल्यकालिक अद्यतन बूलियन नेटवर्क (डी आरबीएन) समकालिक रूप से अद्यतन नहीं हैं। लेकिन एक नियतात्मक समाधान अभी भी उपस्थित है। एक नोड i को तब अपडेट किया जाएगा जब t ≡ Qi (पी के विरुद्ध) जहां T समय कदम है।[25]
- सबसे सामान्य स्थितिफुल स्टोकेस्टिक अपडेटिंग (गर्बन, जनरल एसिंक्रोनस रैंडम बूलियन नेटवर्क) है। यहां अद्यतन किए जाने वाले प्रत्येक कम्प्यूटेशनल चरण में एक (या अधिक) नोड का चयन किया जाता है।
- छोटे रूप से देखे गए बूलियन डायनेमिकल तंत्र (पीओबीडीएस)[26][27][28][29] सिग्नल मॉडल सभी पिछले नियतात्मक और स्टोचैस्टिक बूलियन नेटवर्क मॉडल से अलग है। बूलियन राज्य वेक्टर की प्रत्यक्ष अवलोकन क्षमता की धारणा को हटाकर और अवलोकन प्रक्रिया में अनिश्चितता की अनुमति देकर व्यवहार में आने वाले परिदृश्य को संबोधित करते हुए।
- स्वायत्त बूलियन नेटवर्क (एबीएन) निरंतर समय में अपडेट किए जाते हैं (टी एक वास्तविक संख्या है, एक पूर्णांक नहीं है), जो दौड़ की स्थिति और जटिल गतिशील व्यवहार जैसे नियतात्मक अराजकता की ओर जाता है।[30][31]
बूलियन नेटवर्क का अनुप्रयोग
वर्गीकरण
- स्केलेबल इष्टतम बायेसियन वर्गीकरण[32] संभावित मॉडल अनिश्चितता के लिए प्रक्षेपवक्र लेखांकन का एक इष्टतम वर्गीकरण विकसित किया और एक कण-आधारित प्रक्षेपवक्र वर्गीकरण भी प्रस्तावित किया। जो कि इष्टतम समाधान की तुलना में बहुत कम जटिलता वाले बड़े नेटवर्क के लिए अत्यधिक मापनीय है।
यह भी देखें
संदर्भ
- ↑ Naldi, A.; Monteiro, P. T.; Mussel, C.; Kestler, H. A.; Thieffry, D.; Xenarios, I.; Saez-Rodriguez, J.; Helikar, T.; Chaouiya, C. (25 January 2015). "Cooperative development of logical modelling standards and tools with CoLoMoTo". Bioinformatics. 31 (7): 1154–1159. doi:10.1093/bioinformatics/btv013. PMID 25619997.
- ↑ Albert, Réka; Othmer, Hans G (July 2003). "The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster". Journal of Theoretical Biology. 223 (1): 1–18. arXiv:q-bio/0311019. Bibcode:2003JThBi.223....1A. CiteSeerX 10.1.1.13.3370. doi:10.1016/S0022-5193(03)00035-3. PMC 6388622. PMID 12782112.
- ↑ Li, J.; Bench, A. J.; Vassiliou, G. S.; Fourouclas, N.; Ferguson-Smith, A. C.; Green, A. R. (30 April 2004). "Imprinting of the human L3MBTL gene, a polycomb family member located in a region of chromosome 20 deleted in human myeloid malignancies". Proceedings of the National Academy of Sciences. 101 (19): 7341–7346. Bibcode:2004PNAS..101.7341L. doi:10.1073/pnas.0308195101. PMC 409920. PMID 15123827.
- ↑ 4.0 4.1 Drossel, Barbara (December 2009). "Random Boolean Networks". In Schuster, Heinz Georg (ed.). Chapter 3. Random Boolean Networks. Reviews of Nonlinear Dynamics and Complexity. Wiley. pp. 69–110. arXiv:0706.3351. doi:10.1002/9783527626359.ch3. ISBN 9783527626359. S2CID 119300231.
- ↑ 5.0 5.1 Kauffman, Stuart (11 October 1969). "Homeostasis and Differentiation in Random Genetic Control Networks". Nature. 224 (5215): 177–178. Bibcode:1969Natur.224..177K. doi:10.1038/224177a0. PMID 5343519. S2CID 4179318.
- ↑ Aldana, Maximo; Coppersmith, Susan; Kadanoff, Leo P. (2003). Boolean Dynamics with Random Couplings. pp. 23–89. arXiv:nlin/0204062. doi:10.1007/978-0-387-21789-5_2. ISBN 978-1-4684-9566-9. S2CID 15024306.
{{cite book}}
:|journal=
ignored (help) - ↑ Gershenson, Carlos (2004). "Introduction to Random Boolean Networks". In Bedau, M., P. Husbands, T. Hutton, S. Kumar, and H. Suzuki (Eds.) Workshop and Tutorial Proceedings, Ninth International Conference on the Simulation and Synthesis of Living Systems (ALife IX). Pp. 2004: 160–173. arXiv:nlin.AO/0408006. Bibcode:2004nlin......8006G.
- ↑ Wuensche, Andrew (2011). Exploring discrete dynamics : [the DDLab manual : tools for researching cellular automata, random Boolean and multivalue neworks [sic] and beyond]. Frome, England: Luniver Press. p. 16. ISBN 9781905986316. Archived from the original on 4 February 2023. Retrieved 12 January 2016.
- ↑ Greil, Florian (2012). "Boolean Networks as Modeling Framework". Frontiers in Plant Science. 3: 178. doi:10.3389/fpls.2012.00178. PMC 3419389. PMID 22912642.
- ↑ Bastolla, U.; Parisi, G. (May 1998). "The modular structure of Kauffman networks". Physica D: Nonlinear Phenomena. 115 (3–4): 219–233. arXiv:cond-mat/9708214. Bibcode:1998PhyD..115..219B. doi:10.1016/S0167-2789(97)00242-X. S2CID 1585753.
- ↑ Bilke, Sven; Sjunnesson, Fredrik (December 2001). "Stability of the Kauffman model". Physical Review E. 65 (1): 016129. arXiv:cond-mat/0107035. Bibcode:2001PhRvE..65a6129B. doi:10.1103/PhysRevE.65.016129. PMID 11800758. S2CID 2470586.
- ↑ Socolar, J.; Kauffman, S. (February 2003). "Scaling in Ordered and Critical Random Boolean Networks". Physical Review Letters. 90 (6): 068702. arXiv:cond-mat/0212306. Bibcode:2003PhRvL..90f8702S. doi:10.1103/PhysRevLett.90.068702. PMID 12633339. S2CID 14392074.
- ↑ Samuelsson, Björn; Troein, Carl (March 2003). "Superpolynomial Growth in the Number of Attractors in Kauffman Networks". Physical Review Letters. 90 (9): 098701. Bibcode:2003PhRvL..90i8701S. doi:10.1103/PhysRevLett.90.098701. PMID 12689263.
- ↑ Kauffman, S. A. (1969). "Metabolic stability and epigenesis in randomly constructed genetic nets". Journal of Theoretical Biology. 22 (3): 437–467. Bibcode:1969JThBi..22..437K. doi:10.1016/0022-5193(69)90015-0. PMID 5803332.
- ↑ Derrida, B; Pomeau, Y (1986-01-15). "Random Networks of Automata: A Simple Annealed Approximation". Europhysics Letters (EPL). 1 (2): 45–49. Bibcode:1986EL......1...45D. doi:10.1209/0295-5075/1/2/001. S2CID 160018158. Archived from the original on 2020-05-17. Retrieved 2016-01-12.
- ↑ Solé, Ricard V.; Luque, Bartolo (1995-01-02). "Phase transitions and antichaos in generalized Kauffman networks". Physics Letters A. 196 (5–6): 331–334. Bibcode:1995PhLA..196..331S. doi:10.1016/0375-9601(94)00876-Q.
- ↑ Luque, Bartolo; Solé, Ricard V. (1997-01-01). "Phase transitions in random networks: Simple analytic determination of critical points". Physical Review E. 55 (1): 257–260. Bibcode:1997PhRvE..55..257L. doi:10.1103/PhysRevE.55.257.
- ↑ Fox, Jeffrey J.; Hill, Colin C. (2001-12-01). "From topology to dynamics in biochemical networks". Chaos: An Interdisciplinary Journal of Nonlinear Science. 11 (4): 809–815. Bibcode:2001Chaos..11..809F. doi:10.1063/1.1414882. ISSN 1054-1500. PMID 12779520.
- ↑ Aldana, Maximino; Cluzel, Philippe (2003-07-22). "A natural class of robust networks". Proceedings of the National Academy of Sciences. 100 (15): 8710–8714. Bibcode:2003PNAS..100.8710A. doi:10.1073/pnas.1536783100. ISSN 0027-8424. PMC 166377. PMID 12853565.
- ↑ Pomerance, Andrew; Ott, Edward; Girvan, Michelle; Losert, Wolfgang (2009-05-19). "The effect of network topology on the stability of discrete state models of genetic control". Proceedings of the National Academy of Sciences. 106 (20): 8209–8214. arXiv:0901.4362. Bibcode:2009PNAS..106.8209P. doi:10.1073/pnas.0900142106. ISSN 0027-8424. PMC 2688895. PMID 19416903.
- ↑ Aldana, Maximino (October 2003). "Boolean dynamics of networks with scale-free topology". Physica D: Nonlinear Phenomena. 185 (1): 45–66. arXiv:cond-mat/0209571. Bibcode:2003PhyD..185...45A. doi:10.1016/s0167-2789(03)00174-x.
- ↑ Drossel, Barbara; Greil, Florian (4 August 2009). "Critical Boolean networks with scale-free in-degree distribution". Physical Review E. 80 (2): 026102. arXiv:0901.0387. Bibcode:2009PhRvE..80b6102D. doi:10.1103/PhysRevE.80.026102. PMID 19792195. S2CID 2487442.
- ↑ Harvey, Imman; Bossomaier, Terry (1997). Husbands, Phil; Harvey, Imman (eds.). Time out of joint: Attractors in asynchronous random Boolean networks. pp. 67–75. ISBN 9780262581578. Archived from the original on 2023-02-04. Retrieved 2020-09-16.
{{cite book}}
:|journal=
ignored (help) - ↑ Gershenson, Carlos (2002). Standish, Russell K; Bedau, Mark A (eds.). Classification of Random Boolean Networks. pp. 1–8. arXiv:cs/0208001. Bibcode:2002cs........8001G. ISBN 9780262692816. Archived from the original on 4 February 2023. Retrieved 12 January 2016.
{{cite book}}
:|journal=
ignored (help)CS1 maint: location missing publisher (link) - ↑ Gershenson, Carlos; Broekaert, Jan; Aerts, Diederik (14 September 2003). Contextual Random Boolean Networks [7th European Conference, ECAL 2003]. pp. 615–624. arXiv:nlin/0303021. doi:10.1007/978-3-540-39432-7_66. ISBN 978-3-540-39432-7. S2CID 4309400.
{{cite book}}
:|journal=
ignored (help)CS1 maint: location missing publisher (link) - ↑ Imani, M.; Braga-Neto, U. M. (2017-01-01). "Maximum-Likelihood Adaptive Filter for Partially Observed Boolean Dynamical Systems". IEEE Transactions on Signal Processing. 65 (2): 359–371. arXiv:1702.07269. Bibcode:2017ITSP...65..359I. doi:10.1109/TSP.2016.2614798. ISSN 1053-587X. S2CID 178376.
- ↑ Imani, M.; Braga-Neto, U. M. (2015). "Optimal state estimation for boolean dynamical systems using a boolean Kalman smoother". 2015 IEEE Global Conference on Signal and Information Processing (GlobalSIP) (in English). pp. 972–976. doi:10.1109/GlobalSIP.2015.7418342. ISBN 978-1-4799-7591-4. S2CID 8672734.
- ↑ Imani, M.; Braga-Neto, U. M. (2016). 2016 American Control Conference (ACC) (in English). pp. 227–232. doi:10.1109/ACC.2016.7524920. ISBN 978-1-4673-8682-1. S2CID 7210088.
- ↑ Imani, M.; Braga-Neto, U. (2016-12-01). Point-based value iteration for partially-observed Boolean dynamical systems with finite observation space. pp. 4208–4213. doi:10.1109/CDC.2016.7798908. ISBN 978-1-5090-1837-6. S2CID 11341805.
{{cite book}}
:|journal=
ignored (help) - ↑ Zhang, Rui; Cavalcante, Hugo L. D. de S.; Gao, Zheng; Gauthier, Daniel J.; Socolar, Joshua E. S.; Adams, Matthew M.; Lathrop, Daniel P. (2009). "Boolean chaos". Physical Review E. 80 (4): 045202. arXiv:0906.4124. Bibcode:2009PhRvE..80d5202Z. doi:10.1103/PhysRevE.80.045202. ISSN 1539-3755. PMID 19905381. S2CID 43022955.
- ↑ Cavalcante, Hugo L. D. de S.; Gauthier, Daniel J.; Socolar, Joshua E. S.; Zhang, Rui (2010). "On the origin of chaos in autonomous Boolean networks". Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 368 (1911): 495–513. arXiv:0909.2269. Bibcode:2010RSPTA.368..495C. doi:10.1098/rsta.2009.0235. ISSN 1364-503X. PMID 20008414. S2CID 426841.
- ↑ Hajiramezanali, E. & Imani, M. & Braga-Neto, U. & Qian, X. & Dougherty, E.. Scalable Optimal Bayesian Classification of Single-Cell Trajectories under Regulatory Model Uncertainty. ACMBCB'18. https://dl.acm.org/citation.cfm?id=3233689 Archived 2021-03-22 at the Wayback Machine
- Dubrova, E., Teslenko, M., Martinelli, A., (2005). *Kauffman Networks: Analysis and Applications, in "Proceedings of International Conference on Computer-Aided Design", pages 479-484.
बाहरी संबंध
- Analysis of Dynamic Algebraic Models (ADAM) v1.1
- bioasp/bonesis: Synthesis of Most Permissive Boolean Networks from network architecture and dynamical properties
- CoLoMoTo (Consortium for Logical Models and Tools)
- DDLab
- NetBuilder Boolean Networks Simulator
- Open Source Boolean Network Simulator
- JavaScript Kauffman Network
- Probabilistic Boolean Networks (PBN)
- RBNLab
- A SAT-based tool for computing attractors in Boolean Networks