# Boolean network model of the control of the mammalian cell cycle from
# "Dynamical Analysis of a Generic Boolean Model for the Control of the 
# Mammalian Cell Cycle", A. Faure, A. Naldi, C. Chaouiya, D. Thieffry,
# Bioinformatics, 2006, vol. 22, no. 14, pp. e124-e131.

#total number of nodes 
.v 10

# labels of nodes and names of corresponding components
# 1 = CycD
# 2 = CycE
# 3 = Rb
# 4 = E2F
# 5 = CycA
# 6 = p27
# 7 = Cdc20
# 8 = UbcH10
# 9 = Cdh1
# 10 = CycB

# As a result of simulation, we get the following 2 attractors:
# 
# 1101100010
# 1100100000
# 1000100101
# 1000101101
# 1000001110
# 1001000110
# 1101000010
# Attractor 1 is of length 7
# 
# 0010010010
# Attractor 2 is of length 1

# 1 = CycD
.n 1 1 1
1 1

# 2 = CycE
.n 2 2 3 4
01 1

# 3 = Rb
.n 3 5 1 2 5 6 10
000-0 1
0--10 1

# 4 = E2F
.n 4 4 3 5 6 10 
00-0 1
0-10 1

# 5 = CycA
.n 5 6 3 4 5 7 8 9
01-00- 1
01-0-0 1
0-100- 1
0-10-0 1

# 6 = p27
.n 6 5 1 2 5 6 10
000-0 1
00-10 1
0-010 1

# 7 = Cdc20
.n 7 1 10
1 1

# 8 = UbcH10
.n 8 5 5 7 8 9 10
---0- 1
1-11- 1
-111- 1
--111 1
 
# 9 = Cdh1
.n 9 4 5 6 7 10
0--0 1
--1- 1
-1-0 1

# 10 = CycB
.n 10 2 7 9
00 1