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 -> EC6 [
	label="OUTPUT Thermostat:screen( 0 )\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"
]
EC9 [
	label="EC#9<Ev:9 , H:4>
( Thermostat:q1 , Equipment:s0 )"
	color=lightblue
	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
]
EC9 -> EC16 [
	label="OUTPUT Thermostat:screen( 1 )\l"
]
EC16 [
	label="EC#16<Ev:32 , H:5>
( Thermostat:q2 , Equipment:s0 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC16 -> ED16
ED16 [
	label="PC: ((t_2 < 20) && (t_1 <= 25) && (t_1 >= \l20))\l$time=($delta_0 + $delta_1 + $delta_4 + \l$delta_7)\l$delta=$delta_7\lc=($delta_0 + $delta_1 + $delta_4 + \l$delta_7)\l"
	shape=box
]
EC16 -> EC64 [
	label="output Thermostat:dt( ((- t_2) + 20) )\linput Equipment:dt( ((- t_2) + 20) )\l"
]
EC64 [
	label="EC#64<Ev:33 , H:6>
( Thermostat:q3 , Equipment:s1 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC64 -> ED64
ED64 [
	label="PC: ((t_2 < 20) && (t_1 <= 25) && (t_1 >= \l20))\l$time=($delta_0 + $delta_1 + $delta_30 + \l$delta_4 + $delta_7)\l$delta=$delta_30\lx=((- t_2) + 20)\lc=0\l"
	shape=box
]
EC64 -> EC66 [
	label=""
]
EC66 [
	label="EC#66<Ev:35 , H:7>
( Thermostat:q3 , Equipment:s2 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC66 -> ED66
ED66 [
	label="PC: ((t_2 < 20) && (t_1 <= 25) && (0 > \l(t_2 + -20)) && (t_1 >= 20))\lPtC: ($delta_31 <= 2)\l$time=($delta_0 + $delta_1 + $delta_30 + \l$delta_31 + $delta_4 + $delta_7)\l$delta=$delta_31\lisOn=true\l"
	shape=box
]
EC66 -> EC73 [
	label="input Thermostat:equip( 4 )\loutput Equipment:equip( 4 )\l"
]
EC73 [
	label="EC#73<Ev:0 , H:8>
( Thermostat:q3 , Equipment:s2 )\nREACHED-NODE-HEIGHT-LIMIT & COVERAGE-ELEMENT & OBJECTIVE-ACHIEVED & OBJECTIVE-FAILED
tpid#1->transition:s2.e22"
	color=lawngreen
	shape=tripleoctagon
	style=filled
]
EC73 -> ED73
ED73 [
	label="PC: ((t_2 < 20) && (t_1 <= 25) && (0 > \l(t_2 + -20)) && (t_1 >= 20))\lPtC: (($delta_31 <= 2) && ($delta_33 <= 1))\l$time=($delta_0 + $delta_1 + $delta_30 + \l$delta_31 + $delta_33 + $delta_4 + \l$delta_7)\l$delta=$delta_33\ly=4\lx=((- t_2) + 16)\l"
	shape=box
]
}