From: Constraint-based analysis of gene interactions using restricted boolean networks and time-series data
x i (t a ) → t a + 1
x i (t b ) → x i (t b + 1)
Constraints for a ij
1→0
0→1
0→0
1→1