digraph fscn {
EC1 [
	label="EC#1<Ev:1 , H:0>
( Thermostat:q0 , Equipment:s0 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC1 -> ED1
ED1 [
	label="$time=0\l$delta=0\lt=t_0\ly=y_0\lz=z_0\lx=x_0\lisOn=isOn_0\lc=0\l"
	shape=box
]
EC1 -> EC2 [
	label=""
]
EC2 [
	label="EC#2<Ev:2 , H:1>
( Thermostat:q0 , Equipment:s0 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC2 -> EC3 [
	label="INPUT Thermostat:sens( t_1 )\l"
]
EC3 [
	label="EC#3<Ev:3 , H:2>
( Thermostat:q1 , Equipment:s0 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC3 -> ED3
ED3 [
	label="$time=$delta_0\l$delta=$delta_0\lt=t_1\lc=$delta_0\l"
	shape=box
]
EC3 -> EC4 [
	label="OUTPUT Thermostat:screen( 1 )\l"
]
EC3 -> EC5 [
	label="OUTPUT Thermostat:screen( 2 )\l"
]
EC3 -> EC6 [
	label="OUTPUT Thermostat:screen( 0 )\l"
]
EC4 [
	label="EC#4<Ev:4 , H:3>
( Thermostat:q2 , Equipment:s0 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC4 -> ED4
ED4 [
	label="PC: (t_1 < 20)\l$time=($delta_0 + $delta_1)\l$delta=$delta_1\lc=($delta_0 + $delta_1)\l"
	shape=box
]
EC4 -> EC7 [
	label="output Thermostat:dt( ((- t_1) + 20) )\linput Equipment:dt( ((- t_1) + 20) )\l"
]
EC5 [
	label="EC#5<Ev:5 , H:3>
( Thermostat:q5 , Equipment:s0 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC5 -> ED5
ED5 [
	label="PC: (t_1 > 25)\l$time=($delta_0 + $delta_1)\l$delta=$delta_1\lc=($delta_0 + $delta_1)\l"
	shape=box
]
EC5 -> EC8 [
	label="output Thermostat:dt( ((- t_1) + 25) )\linput Equipment:dt( ((- t_1) + 25) )\l"
]
EC6 [
	label="EC#6<Ev:6 , H:3>
( Thermostat:q0 , Equipment:s0 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC6 -> ED6
ED6 [
	label="PC: ((t_1 <= 25) && (t_1 >= 20))\l$time=($delta_0 + $delta_1)\l$delta=$delta_1\lc=($delta_0 + $delta_1)\l"
	shape=box
]
EC6 -> EC9 [
	label="INPUT Thermostat:sens( t_2 )\l"
]
EC7 [
	label="EC#7<Ev:0 , H:4>
( Thermostat:q3 , Equipment:s1 )\nREACHED-NODE-HEIGHT-LIMIT"
	color=orange
	shape=ellipse
	style=filled
]
EC7 -> ED7
ED7 [
	label="PC: (t_1 < 20)\l$time=($delta_0 + $delta_1 + $delta_2)\l$delta=$delta_2\lx=((- t_1) + 20)\lc=0\l"
	shape=box
]
EC8 [
	label="EC#8<Ev:0 , H:4>
( Thermostat:q6 , Equipment:s1 )\nREACHED-NODE-HEIGHT-LIMIT"
	color=orange
	shape=ellipse
	style=filled
]
EC8 -> ED8
ED8 [
	label="PC: (t_1 > 25)\l$time=($delta_0 + $delta_1 + $delta_3)\l$delta=$delta_3\lx=((- t_1) + 25)\lc=0\l"
	shape=box
]
EC9 [
	label="EC#9<Ev:0 , H:4>
( Thermostat:q1 , Equipment:s0 )\nREACHED-NODE-HEIGHT-LIMIT"
	color=orange
	shape=ellipse
	style=filled
]
EC9 -> ED9
ED9 [
	label="PC: ((t_1 <= 25) && (t_1 >= 20))\l$time=($delta_0 + $delta_1 + $delta_4)\l$delta=$delta_4\lt=t_2\lc=($delta_0 + $delta_1 + $delta_4)\l"
	shape=box
]
}