Core Concepts
mpbn bietet eine einfache Schnittstelle zur effizienten Analyse von Booleschen Netzwerken.
Abstract
Das Tool mpbn ermöglicht die einfache Bearbeitung von Booleschen Netzwerken und die effiziente Berechnung elementarer Eigenschaften wie Fixpunkte, Trap Spaces und Erreichbarkeitseigenschaften.
Einleitung
Boolesche Netzwerke sind grundlegende Modelle für die Dynamik der Genregulation und Signalnetzwerke.
Zahlreiche Softwaretools wurden entwickelt, um verschiedene Algorithmen für ihre Analyse und Bearbeitung zu implementieren.
Eigenschaften
Ein Boolesches Netzwerk wird als Funktion von binären Vektoren zu sich selbst definiert.
mpbn bietet eine einfache Programmierschnittstelle und Befehlszeilen-Dienstprogramme.
Dynamik
Unterschiedliche Aktualisierungsmodi ermöglichen die Berechnung der nächsten möglichen Zustände gemäß der Booleschen Funktionen.
Der Most Permissive (MP) Aktualisierungsmodus garantiert die Erfassung von Trajektorien jedes quantitativen Modells, das eine Verfeinerung des Booleschen Netzwerks darstellt.
Fixpunkte und Trap Spaces
Ein Fixpunkt eines Booleschen Netzwerks ist ein Zustand, in dem die Funktion sich nicht ändert.
Trap Spaces sind spezielle Teilwürfel des Zustandsraums, aus denen es keinen Ausweg gibt.
Stats
Das Tool mpbn ist skalierbar für Modelle mit mehreren tausend Knoten und bietet effiziente Berechnungen von minimalen und maximalen Trap Spaces.
Quotes
"mpbn ist eines der leistungsstärksten Tools zur Berechnung von minimalen und maximalen Trap Spaces von Booleschen Netzwerken."