//The definition file always starts with type=synchronous.
//It reserves the possibility for extension to asynchronous model.
type=synchronous
//specify number of nodes
n=3
//specify perturbation rate
perturbation=0.001
//We list the names of all nodes one by one below.
//Each line specifies one node name.
//The order of the names determines their orders in ASSA-PBN.
//A node name can not start with a number.
//The following characters are not allowed for a node name:
//space, tab, &!j^= : ():
nodeNames
x0
x1
x2
endNodeNames
//We list the functions for each node one by one.
//Each line contains 1 Boolean function.
//It starts with a positive number denoting the selection
//probability. The double number is separated with the remaining part
//using ":". "0" is not allowed for probability. If the probabilities
//for a node do not sum up to 1, they will be normalised.
node x0
1.0 : x0&x1
endNode
node x1
0.3 : (!x2)&(x1|x0)
0.7 : (!x0)&x1&x2
endNode
node x2
0.4 : (!x0)&x1
0.6 : x0&x1&(!x2)
endNode
npNode
x2
endNpNode