Write an update rule in the textbox for each variable of the BN (ex. A = B & (C | !A)). Press Enter to confirm.
Click to draw the interaction graph or to start the search for cycles.
Variables and relative functions are listed in the white box on the left. You can import and/or export your results in many formats (allowed formats are .bn, .cnet, .blif).
Change the disposition of the variables of the Dynamic by clicking on the Layouts buttons.
Click to see the reduced dynamics and its strongly connected components.
Change the aspect of the graphs by changing the Graphic options.