PyBoolNet: a python package for the generation, analysis and visualization of boolean networks

Motivation: The goal of this project is to provide a simple interface to working with Boolean networks. Emphasis is put on easy access to a large number of common tasks including the generation and manipulation of networks, attractor and basin computation, model checking and trap space computation, execution of established graph algorithms as well as graph drawing and layouts. Results: PyBoolNet is a Python package for working with Boolean networks that supports simple access to model checking via NuSMV, standard graph algorithms via NetworkX and visualization via dot. In addition, state of the art attractor computation exploiting Potassco ASP is implemented. The package is function‐based and uses only native Python and NetworkX data types. Availability and Implementation: https://github.com/hklarner/PyBoolNet Contact: hannes.klarner@fu‐berlin.de

[1]  Aurélien Naldi,et al.  Cooperative development of logical modelling standards and tools with CoLoMoTo , 2014, bioRxiv.

[2]  Alexander Bockmayr,et al.  Computing maximal and minimal trap spaces of Boolean networks , 2015, Natural Computing.

[3]  Song Li,et al.  Boolean network simulations for life scientists , 2008, Source Code for Biology and Medicine.

[4]  Steffen Klamt,et al.  SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools , 2013, BMC Systems Biology.

[5]  René Thomas.  Regulatory networks seen as asynchronous automata: A logical description , 1991 .

[6]  Marco Pistore,et al.  NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.

[7]  Heike Siebert,et al.  Approximating Attractors of Boolean Networks by Iterative CTL Model Checking , 2015, Front. Bioeng. Biotechnol..

[8]  Hans A. Kestler,et al.  Multiscale Binarization of Gene Expression Data for Reconstructing Boolean Networks , 2012, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[9]  Hans A. Kestler,et al.  BoolNet - an R package for generation, reconstruction and analysis of Boolean networks , 2010, Bioinform..

[10]  Stuart A. Kauffman,et al.  ORIGINS OF ORDER IN EVOLUTION: SELF-ORGANIZATION AND SELECTION , 1992 .

[11]  Emden R. Gansner,et al.  Graphviz - Open Source Graph Drawing Tools , 2001, GD.

[12]  David A. Rosenblueth,et al.  "Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis , 2011, BMC Bioinformatics.

[13]  Hans A. Kestler,et al.  Inferring Boolean network structure via correlation , 2011, Bioinform..

[14]  Aric Hagberg,et al.  Exploring Network Structure, Dynamics, and Function using NetworkX , 2008, Proceedings of the Python in Science Conference.

[15]  Stuart A. Kauffman,et al.  The origins of order , 1993 .

[16]  Christel Baier,et al.  Principles of model checking , 2008 .

[17]  Aurélien Naldi,et al.  Logical modelling of regulatory networks with GINsim 2.3 , 2009, Biosyst..