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 )
transition::ThermostatSystem.Thermostat.q0.t3"
	color=yellow
	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 )
transition::ThermostatSystem.Thermostat.q1.t11"
	color=yellow
	shape=ellipse
	style=filled
]
EC4 -> ED4
ED4 [
	label="$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:9 , H:3>
( Thermostat:q5 , Equipment:s0 )
transition::ThermostatSystem.Thermostat.q1.t12"
	color=yellow
	shape=ellipse
	style=filled
]
EC5 -> ED5
ED5 [
	label="$time=($delta_0 + $delta_1)\l$delta=$delta_1\lc=($delta_0 + $delta_1)\l"
	shape=box
]
EC5 -> EC20 [
	label="output Thermostat:dt( ((- t_1) + 25) )\linput Equipment:dt( ((- t_1) + 25) )\l"
]
EC6 [
	label="EC#6<Ev:21 , H:3>
( Thermostat:q0 , Equipment:s0 )
transition::ThermostatSystem.Thermostat.q1.t13"
	color=yellow
	shape=ellipse
	style=filled
]
EC6 -> ED6
ED6 [
	label="$time=($delta_0 + $delta_1)\l$delta=$delta_1\lc=($delta_0 + $delta_1)\l"
	shape=box
]
EC7 [
	label="EC#7<Ev:5 , H:4>
( Thermostat:q3 , Equipment:s1 )
transition::ThermostatSystem.Thermostat.q2.t22\ntransition::ThermostatSystem.Equipment.s0.e1"
	color=yellow
	shape=ellipse
	style=filled
]
EC7 -> ED7
ED7 [
	label="$time=($delta_0 + $delta_1 + $delta_2)\l$delta=$delta_2\lx=((- t_1) + 20)\lc=0\l"
	shape=box
]
EC7 -> EC8 [
	label="INPUT Thermostat:sens( t_2 )\l"
]
EC7 -> EC9 [
	label=""
]
EC7 -> EC10 [
	label="input Thermostat:error( 0 )\loutput Equipment:error( 0 )\l"
]
EC20 [
	label="EC#20<Ev:10 , H:4>
( Thermostat:q6 , Equipment:s1 )
transition::ThermostatSystem.Thermostat.q5.t52"
	color=yellow
	shape=ellipse
	style=filled
]
EC20 -> ED20
ED20 [
	label="$time=($delta_0 + $delta_1 + $delta_7)\l$delta=$delta_7\lx=((- t_1) + 25)\lc=0\l"
	shape=box
]
EC20 -> EC21 [
	label="INPUT Thermostat:sens( t_3 )\l"
]
EC20 -> EC22 [
	label=""
]
EC20 -> EC23 [
	label="input Thermostat:error( 0 )\loutput Equipment:error( 0 )\l"
]
EC8 [
	label="EC#8<Ev:6 , H:5>
( Thermostat:q4 , Equipment:s1 )
transition::ThermostatSystem.Thermostat.q3.t33"
	color=yellow
	shape=ellipse
	style=filled
]
EC8 -> ED8
ED8 [
	label="$time=($delta_0 + $delta_1 + $delta_2 + \l$delta_3)\l$delta=$delta_3\lt=t_2\lc=$delta_3\l"
	shape=box
]
EC8 -> EC11 [
	label=""
]
EC8 -> EC12 [
	label=""
]
EC8 -> EC13 [
	label="input Thermostat:error( 0 )\loutput Equipment:error( 0 )\l"
]
EC9 [
	label="EC#9<Ev:18 , H:5>
( Thermostat:q3 , Equipment:s2 )
transition::ThermostatSystem.Equipment.s1.e12"
	color=yellow
	shape=ellipse
	style=filled
]
EC9 -> ED9
ED9 [
	label="PtC: ($delta_3 <= 2)\l$time=($delta_0 + $delta_1 + $delta_2 + \l$delta_3)\l$delta=$delta_3\lisOn=true\l"
	shape=box
]
EC9 -> EC41 [
	label="input Thermostat:equip( 4 )\loutput Equipment:equip( 4 )\l"
]
EC10 [
	label="EC#10<Ev:17 , H:5>
( Thermostat:q3 , Equipment:s4 )
transition::ThermostatSystem.Thermostat.q3.t32\ntransition::ThermostatSystem.Equipment.s1.e13"
	color=yellow
	shape=ellipse
	style=filled
]
EC10 -> ED10
ED10 [
	label="PtC: ($delta_3 > 2)\l$time=($delta_0 + $delta_1 + $delta_2 + \l$delta_3)\l$delta=$delta_3\lz=0\lc=$delta_3\l"
	shape=box
]
EC21 [
	label="EC#21<Ev:11 , H:5>
( Thermostat:q7 , Equipment:s1 )
transition::ThermostatSystem.Thermostat.q6.t63"
	color=yellow
	shape=ellipse
	style=filled
]
EC21 -> ED21
ED21 [
	label="$time=($delta_0 + $delta_1 + $delta_7 + \l$delta_8)\l$delta=$delta_8\lt=t_3\lc=$delta_8\l"
	shape=box
]
EC21 -> EC24 [
	label=""
]
EC21 -> EC25 [
	label=""
]
EC21 -> EC26 [
	label="input Thermostat:error( 0 )\loutput Equipment:error( 0 )\l"
]
EC22 [
	label="EC#22<Ev:20 , H:5>
( Thermostat:q6 , Equipment:s3 )
transition::ThermostatSystem.Equipment.s1.e14"
	color=yellow
	shape=ellipse
	style=filled
]
EC22 -> ED22
ED22 [
	label="PtC: ($delta_8 <= 2)\l$time=($delta_0 + $delta_1 + $delta_7 + \l$delta_8)\l$delta=$delta_8\lisOn=true\l"
	shape=box
]
EC22 -> EC46 [
	label="input Thermostat:equip( -4 )\loutput Equipment:equip( -4 )\l"
]
EC23 [
	label="EC#23<Ev:19 , H:5>
( Thermostat:q6 , Equipment:s4 )
transition::ThermostatSystem.Thermostat.q6.t62"
	color=yellow
	shape=ellipse
	style=filled
]
EC23 -> ED23
ED23 [
	label="PtC: ($delta_8 > 2)\l$time=($delta_0 + $delta_1 + $delta_7 + \l$delta_8)\l$delta=$delta_8\lz=0\lc=$delta_8\l"
	shape=box
]
EC11 [
	label="EC#11<Ev:14 , H:6>
( Thermostat:q2 , Equipment:s1 )
transition::ThermostatSystem.Thermostat.q4.t44"
	color=yellow
	shape=ellipse
	style=filled
]
EC11 -> ED11
ED11 [
	label="$time=($delta_0 + $delta_1 + $delta_2 + \l$delta_3 + $delta_4)\l$delta=$delta_4\lc=($delta_3 + $delta_4)\l"
	shape=box
]
EC11 -> EC34 [
	label="input Thermostat:error( 0 )\loutput Equipment:error( 0 )\l"
]
EC12 [
	label="EC#12<Ev:7 , H:6>
( Thermostat:q4 , Equipment:s2 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC12 -> ED12
ED12 [
	label="PtC: (($delta_3 + $delta_4) <= 2)\l$time=($delta_0 + $delta_1 + $delta_2 + \l$delta_3 + $delta_4)\l$delta=$delta_4\lisOn=true\lc=0\l"
	shape=box
]
EC12 -> EC15 [
	label=""
]
EC12 -> EC16 [
	label="input Thermostat:equip( 4 )\loutput Equipment:equip( 4 )\l"
]
EC12 -> EC17 [
	label="input Thermostat:error( 0 )\loutput Equipment:error( 0 )\l"
]
EC13 [
	label="EC#13<Ev:0 , H:6>
( Thermostat:q4 , Equipment:s4 )
transition::ThermostatSystem.Thermostat.q4.t42"
	color=yellow
	shape=ellipse
	style=filled
]
EC13 -> ED13
ED13 [
	label="PtC: (($delta_3 + $delta_4) > 2)\l$time=($delta_0 + $delta_1 + $delta_2 + \l$delta_3 + $delta_4)\l$delta=$delta_4\lz=0\lc=($delta_3 + $delta_4)\l"
	shape=box
]
EC41 [
	label="EC#41<Ev:0 , H:6>
( Thermostat:q3 , Equipment:s2 )
transition::ThermostatSystem.Thermostat.q3.t31"
	color=yellow
	shape=ellipse
	style=filled
]
EC41 -> ED41
ED41 [
	label="PtC: (($delta_16 <= 1) && ($delta_3 <= 2))\l$time=($delta_0 + $delta_1 + $delta_16 + \l$delta_2 + $delta_3)\l$delta=$delta_16\ly=4\lx=((- t_1) + 16)\l"
	shape=box
]
EC24 [
	label="EC#24<Ev:15 , H:6>
( Thermostat:q5 , Equipment:s1 )
transition::ThermostatSystem.Thermostat.q7.t74"
	color=yellow
	shape=ellipse
	style=filled
]
EC24 -> ED24
ED24 [
	label="$time=($delta_0 + $delta_1 + $delta_7 + \l$delta_8 + $delta_9)\l$delta=$delta_9\lc=($delta_8 + $delta_9)\l"
	shape=box
]
EC24 -> EC36 [
	label="input Thermostat:error( 0 )\loutput Equipment:error( 0 )\l"
]
EC25 [
	label="EC#25<Ev:12 , H:6>
( Thermostat:q7 , Equipment:s3 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC25 -> ED25
ED25 [
	label="PtC: (($delta_8 + $delta_9) <= 2)\l$time=($delta_0 + $delta_1 + $delta_7 + \l$delta_8 + $delta_9)\l$delta=$delta_9\lisOn=true\lc=0\l"
	shape=box
]
EC25 -> EC28 [
	label=""
]
EC25 -> EC29 [
	label="input Thermostat:equip( -4 )\loutput Equipment:equip( -4 )\l"
]
EC25 -> EC30 [
	label="input Thermostat:error( 0 )\loutput Equipment:error( 0 )\l"
]
EC26 [
	label="EC#26<Ev:0 , H:6>
( Thermostat:q7 , Equipment:s4 )
transition::ThermostatSystem.Thermostat.q7.t72"
	color=yellow
	shape=ellipse
	style=filled
]
EC26 -> ED26
ED26 [
	label="PtC: (($delta_8 + $delta_9) > 2)\l$time=($delta_0 + $delta_1 + $delta_7 + \l$delta_8 + $delta_9)\l$delta=$delta_9\lz=0\lc=($delta_8 + $delta_9)\l"
	shape=box
]
EC46 [
	label="EC#46<Ev:0 , H:6>
( Thermostat:q6 , Equipment:s3 )
transition::ThermostatSystem.Thermostat.q6.t61"
	color=yellow
	shape=ellipse
	style=filled
]
EC46 -> ED46
ED46 [
	label="PtC: (($delta_18 <= 1) && ($delta_8 <= 2))\l$time=($delta_0 + $delta_1 + $delta_18 + \l$delta_7 + $delta_8)\l$delta=$delta_18\ly=-4\lx=((- t_1) + 29)\l"
	shape=box
]
EC34 [
	label="EC#34<Ev:0 , H:7>
( Thermostat:q2 , Equipment:s4 )
transition::ThermostatSystem.Thermostat.q2.t21"
	color=yellow
	shape=ellipse
	style=filled
]
EC34 -> ED34
ED34 [
	label="PtC: (($delta_12 + $delta_3 + $delta_4) > \l2)\l$time=($delta_0 + $delta_1 + $delta_12 + \l$delta_2 + $delta_3 + $delta_4)\l$delta=$delta_12\lz=0\lc=($delta_12 + $delta_3 + $delta_4)\l"
	shape=box
]
EC15 [
	label="EC#15<Ev:8 , H:7>
( Thermostat:q4 , Equipment:s0 )
transition::ThermostatSystem.Equipment.s2.e21"
	color=yellow
	shape=ellipse
	style=filled
]
EC15 -> ED15
ED15 [
	label="PtC: (($delta_3 + $delta_4) <= 2)\l$time=($delta_0 + $delta_1 + $delta_2 + \l$delta_3 + $delta_4 + $delta_5)\l$delta=$delta_5\lc=$delta_5\l"
	shape=box
]
EC15 -> EC19 [
	label="output Thermostat:dt( 0 )\linput Equipment:dt( 0 )\l"
]
EC16 [
	label="EC#16<Ev:0 , H:7>
( Thermostat:q4 , Equipment:s2 )
transition::ThermostatSystem.Thermostat.q4.t41\ntransition::ThermostatSystem.Equipment.s2.e22"
	color=yellow
	shape=ellipse
	style=filled
]
EC16 -> ED16
ED16 [
	label="PtC: ((($delta_3 + $delta_4) <= 2) && \l($delta_5 <= 1))\l$time=($delta_0 + $delta_1 + $delta_2 + \l$delta_3 + $delta_4 + $delta_5)\l$delta=$delta_5\ly=4\lx=((- t_1) + 16)\l"
	shape=box
]
EC17 [
	label="EC#17<Ev:0 , H:7>
( Thermostat:q4 , Equipment:s4 )
transition::ThermostatSystem.Equipment.s2.e23"
	color=yellow
	shape=ellipse
	style=filled
]
EC17 -> ED17
ED17 [
	label="PtC: ((($delta_3 + $delta_4) <= 2) && \l($delta_5 > 1))\l$time=($delta_0 + $delta_1 + $delta_2 + \l$delta_3 + $delta_4 + $delta_5)\l$delta=$delta_5\lz=0\lc=$delta_5\l"
	shape=box
]
EC36 [
	label="EC#36<Ev:16 , H:7>
( Thermostat:q5 , Equipment:s4 )
transition::ThermostatSystem.Thermostat.q5.t51"
	color=yellow
	shape=ellipse
	style=filled
]
EC36 -> ED36
ED36 [
	label="PtC: (($delta_13 + $delta_8 + $delta_9) > \l2)\l$time=($delta_0 + $delta_1 + $delta_13 + \l$delta_7 + $delta_8 + $delta_9)\l$delta=$delta_13\lz=0\lc=($delta_13 + $delta_8 + $delta_9)\l"
	shape=box
]
EC36 -> EC37 [
	label="output Thermostat:dt( ((- t_3) + 25) )\linput Equipment:dt( ((- t_3) + 25) )\l"
]
EC28 [
	label="EC#28<Ev:13 , H:7>
( Thermostat:q7 , Equipment:s0 )
transition::ThermostatSystem.Equipment.s3.e31"
	color=yellow
	shape=ellipse
	style=filled
]
EC28 -> ED28
ED28 [
	label="PtC: (($delta_8 + $delta_9) <= 2)\l$time=($delta_0 + $delta_1 + $delta_10 + \l$delta_7 + $delta_8 + $delta_9)\l$delta=$delta_10\lc=$delta_10\l"
	shape=box
]
EC28 -> EC32 [
	label="output Thermostat:dt( 0 )\linput Equipment:dt( 0 )\l"
]
EC29 [
	label="EC#29<Ev:0 , H:7>
( Thermostat:q7 , Equipment:s3 )
transition::ThermostatSystem.Thermostat.q7.t71\ntransition::ThermostatSystem.Equipment.s3.e32"
	color=yellow
	shape=ellipse
	style=filled
]
EC29 -> ED29
ED29 [
	label="PtC: ((($delta_8 + $delta_9) <= 2) && \l($delta_10 <= 1))\l$time=($delta_0 + $delta_1 + $delta_10 + \l$delta_7 + $delta_8 + $delta_9)\l$delta=$delta_10\ly=-4\lx=((- t_1) + 29)\l"
	shape=box
]
EC30 [
	label="EC#30<Ev:0 , H:7>
( Thermostat:q7 , Equipment:s4 )
transition::ThermostatSystem.Equipment.s3.e33"
	color=yellow
	shape=ellipse
	style=filled
]
EC30 -> ED30
ED30 [
	label="PtC: ((($delta_8 + $delta_9) <= 2) && \l($delta_10 > 1))\l$time=($delta_0 + $delta_1 + $delta_10 + \l$delta_7 + $delta_8 + $delta_9)\l$delta=$delta_10\lz=0\lc=$delta_10\l"
	shape=box
]
EC19 [
	label="EC#19<Ev:23 , H:8>
( Thermostat:q0 , Equipment:s1 )
transition::ThermostatSystem.Thermostat.q4.t43"
	color=yellow
	shape=ellipse
	style=filled
]
EC19 -> ED19
ED19 [
	label="PtC: (($delta_3 + $delta_4) <= 2)\l$time=($delta_0 + $delta_1 + $delta_2 + \l$delta_3 + $delta_4 + $delta_5 + $delta_6)\l$delta=$delta_6\lx=0\lc=0\l"
	shape=box
]
EC19 -> EC51 [
	label="input Thermostat:equip( 0 )\loutput Equipment:equip( 0 )\l"
]
EC19 -> EC52 [
	label="input Thermostat:error( 0 )\loutput Equipment:error( 0 )\l"
]
EC37 [
	label="EC#37<Ev:0 , H:8>
( Thermostat:q6 , Equipment:s4 )
transition::ThermostatSystem.Equipment.s4.e41"
	color=yellow
	shape=ellipse
	style=filled
]
EC37 -> ED37
ED37 [
	label="PtC: (($delta_13 + $delta_8 + $delta_9) > \l2)\l$time=($delta_0 + $delta_1 + $delta_13 + \l$delta_14 + $delta_7 + $delta_8 + $delta_9)\l$delta=$delta_14\lx=((- t_3) + 25)\lc=($delta_13 + $delta_14 + $delta_8 + \l$delta_9)\l"
	shape=box
]
EC32 [
	label="EC#32<Ev:0 , H:8>
( Thermostat:q0 , Equipment:s1 )
transition::ThermostatSystem.Thermostat.q7.t73"
	color=yellow
	shape=ellipse
	style=filled
]
EC32 -> ED32
ED32 [
	label="PtC: (($delta_8 + $delta_9) <= 2)\l$time=($delta_0 + $delta_1 + $delta_10 + \l$delta_11 + $delta_7 + $delta_8 + $delta_9)\l$delta=$delta_11\lx=0\lc=0\l"
	shape=box
]
EC51 [
	label="EC#51<Ev:0 , H:9>
( Thermostat:q0 , Equipment:s0 )
transition::ThermostatSystem.Thermostat.q0.t2\ntransition::ThermostatSystem.Equipment.s1.e11"
	color=yellow
	shape=ellipse
	style=filled
]
EC51 -> ED51
ED51 [
	label="PtC: ((($delta_3 + $delta_4) <= 2) && \l($delta_21 <= 2))\l$time=($delta_0 + $delta_1 + $delta_2 + \l$delta_21 + $delta_3 + $delta_4 + $delta_5 \l+ $delta_6)\l$delta=$delta_21\ly=0\lisOn=false\l"
	shape=box
]
EC52 [
	label="EC#52<Ev:0 , H:9>
( Thermostat:q0 , Equipment:s4 )
transition::ThermostatSystem.Thermostat.q0.t1"
	color=yellow
	shape=ellipse
	style=filled
]
EC52 -> ED52
ED52 [
	label="PtC: ((($delta_3 + $delta_4) <= 2) && \l($delta_21 > 2))\l$time=($delta_0 + $delta_1 + $delta_2 + \l$delta_21 + $delta_3 + $delta_4 + $delta_5 \l+ $delta_6)\l$delta=$delta_21\lz=0\lc=$delta_21\l"
	shape=box
]
}