bin hier neu und weiß leider auch nicht, ob ich mein Problem an der richtigen Stelle hochlade.
Falls nicht würde ich gerne den Admin drum bitten, dass in der richtigen Bereich zu verschieben.
Nun zu meiner Aufgabe:
Ich soll ein Java Script erstellen, das für ein gegebenes Netzwerk all trap spaces berechnet und für jede Kombination von erreichbaren / nicht erreichbaren trap spaces eine CTL spezifikation generiert und die Ergebnisse darstellt. Am besten als Bild.
Ich muss noch hinzufügen, dass hierbei mit PyBoolNet gearbeitet wird.
Code: Alles auswählen
from PyBoolNet import FileExchange as FEX
#from PyBoolNet import InteractionGraphs as IGs
from PyBoolNet import StateTransitionGraphs as STGs
from PyBoolNet import ModelChecking as MC
from PyBoolNet import TrapSpaces as TS
from PyBoolNet import AttractorDetection as AD
#from PyBoolNet import QuineMcCluskey as QMC
from PyBoolNet import TemporalQueries as TQ
#import networkx
primes = FEX.bnet2primes("raf_network.bnet")
update = "asynchronous"
tspaces = TS.trap_spaces(primes, "min")
a = ", ".join(STGs.subspace2str(primes, x) for x in tspaces)
print tspaces
print a
spec = "CTLSPEC " + TQ.EF_oneof_subspaces(primes,tspaces)
print spec
Um alle Trap Spaces ausgeben zu lassen müsste ich in der Zeile, wo tspaces definiert wird das "min" mit "all" umtauschen.
Mein Problem ist folgendes:
Wie kann ich überprüfen ob die Pfade von allen Trap Spaces zu den minimalen Trap Spaces führen oder nicht?
raf_network_bnet sieht folgendermaßen aus
Code: Alles auswählen
Erk, Erk & Mek | Mek & Raf
Mek, Erk | Mek & Raf
Raf, !Erk | !Raf
Grüße
memocan32