Commit ca6f7661 authored by Paul Fiterau Brostean's avatar Paul Fiterau Brostean
Browse files

Renamed pdu, made them input enabled

parent 718eefd6
digraph g {
__start0 [label="" shape="none"];
s0 [shape="circle" label="0"];
s1 [shape="circle" label="1"];
s2 [shape="circle" label="2"];
s0 -> s1 [label="|Pds(StateSystemOn)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s0 -> s2 [label="|Pds(StateSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s1 -> s2 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s1 -> s2 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile);Dev(Shutdown)|"];
s1 -> s2 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s1 -> s1 [label="|Host(openProfileStartApplication)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s1 -> s1 [label="|Host(openProfileStopApplication)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s1 -> s1 [label="|OS(StartPcs)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s1 -> s2 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
__start0 -> s0;
}
digraph g {
__start0 [label="" shape="none"];
s0 [shape="circle" label="0"];
s1 [shape="circle" label="1"];
s2 [shape="circle" label="2"];
s3 [shape="circle" label="3"];
s4 [shape="circle" label="4"];
s5 [shape="circle" label="5"];
s6 [shape="circle" label="6"];
s7 [shape="circle" label="7"];
s0 [shape="circle" label="s0"];
s1 [shape="circle" label="s1"];
s2 [shape="circle" label="s2"];
s3 [shape="circle" label="s3"];
s4 [shape="circle" label="s4"];
s5 [shape="circle" label="s5"];
s6 [shape="circle" label="s6"];
s7 [shape="circle" label="s7"];
s0 -> s1 [label="|Pds(StateSystemOn)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s0 -> s2 [label="|Pds(StateSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s1 -> s2 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s1 -> s3 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s0 -> s3 [label="|Pds(StateSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s0 -> s0 [label="|Pds(ButtonSystemOff)| / UNDEFINED"];
s0 -> s0 [label="|Host(goToOpenProfile)| / UNDEFINED"];
s0 -> s0 [label="|Host(goToClosedProfile)| / UNDEFINED"];
s0 -> s0 [label="|Host(openProfileStartApplication)| / UNDEFINED"];
s0 -> s0 [label="|Host(openProfileStopApplication)| / UNDEFINED"];
s0 -> s0 [label="|OS(StartPcs)| / UNDEFINED"];
s0 -> s0 [label="|OS(StopPcs)| / UNDEFINED"];
s1 -> s1 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s1 -> s1 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s1 -> s3 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s1 -> s2 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s1 -> s4 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s1 -> s1 [label="|Host(openProfileStartApplication)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s1 -> s1 [label="|Host(openProfileStopApplication)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s1 -> s1 [label="|OS(StartPcs)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s1 -> s4 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s3 -> s3 [label="|Pds(ButtonSystemOff)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s3 -> s3 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s3 -> s4 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s3 -> s3 [label="|Host(openProfileStartApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s3 -> s3 [label="|Host(openProfileStopApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s3 -> s5 [label="|OS(StartPcs)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s3 -> s3 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s2 -> s2 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s2 -> s2 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s2 -> s2 [label="|Pds(ButtonSystemOff)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s2 -> s2 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s2 -> s4 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s2 -> s2 [label="|Host(openProfileStartApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s2 -> s2 [label="|Host(openProfileStopApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s2 -> s5 [label="|OS(StartPcs)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s2 -> s2 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s3 -> s3 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s3 -> s3 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s3 -> s3 [label="|Pds(ButtonSystemOff)| / UNDEFINED"];
s3 -> s3 [label="|Host(goToOpenProfile)| / UNDEFINED"];
s3 -> s3 [label="|Host(goToClosedProfile)| / UNDEFINED"];
s3 -> s3 [label="|Host(openProfileStartApplication)| / UNDEFINED"];
s3 -> s3 [label="|Host(openProfileStopApplication)| / UNDEFINED"];
s3 -> s3 [label="|OS(StartPcs)| / UNDEFINED"];
s3 -> s3 [label="|OS(StopPcs)| / UNDEFINED"];
s4 -> s4 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s4 -> s4 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s4 -> s4 [label="|Pds(ButtonSystemOff)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s4 -> s3 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s4 -> s2 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s4 -> s4 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s4 -> s4 [label="|Host(openProfileStartApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s4 -> s4 [label="|Host(openProfileStopApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s4 -> s1 [label="|OS(StartPcs)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s4 -> s4 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s5 -> s2 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile);Dev(Shutdown)|"];
s5 -> s3 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s5 -> s5 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s5 -> s5 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s5 -> s3 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile);Dev(Shutdown)|"];
s5 -> s2 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s5 -> s4 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s5 -> s6 [label="|Host(openProfileStartApplication)| / |PCS(Running);SM1(Running);SM2(Running);Dev(OpenProfile)|"];
s5 -> s7 [label="|Host(openProfileStopApplication)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s5 -> s7 [label="|Host(openProfileStartApplication)| / |PCS(Running);SM1(Running);SM2(Running);Dev(OpenProfile)|"];
s5 -> s6 [label="|Host(openProfileStopApplication)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s5 -> s5 [label="|OS(StartPcs)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s5 -> s3 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s2 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile);Dev(Shutdown)|"];
s6 -> s3 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s5 -> s2 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s6 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s6 -> s6 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s6 -> s6 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s6 -> s2 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s4 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s6 -> s6 [label="|Host(openProfileStartApplication)| / |PCS(Running);SM1(Running);SM2(Running);Dev(OpenProfile)|"];
s6 -> s7 [label="|Host(openProfileStopApplication)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s6 -> s6 [label="|OS(StartPcs)| / |PCS(Running);SM1(Running);SM2(Running);Dev(OpenProfile)|"];
s6 -> s3 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s7 -> s7 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s7 -> s3 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s7 [label="|Host(openProfileStartApplication)| / |PCS(Running);SM1(Running);SM2(Running);Dev(OpenProfile)|"];
s6 -> s6 [label="|Host(openProfileStopApplication)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s6 -> s6 [label="|OS(StartPcs)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s6 -> s2 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s7 -> s7 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s7 -> s7 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s7 -> s3 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile);Dev(Shutdown)|"];
s7 -> s2 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s7 -> s4 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s7 -> s6 [label="|Host(openProfileStartApplication)| / |PCS(Running);SM1(Running);SM2(Running);Dev(OpenProfile)|"];
s7 -> s7 [label="|Host(openProfileStopApplication)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s7 -> s7 [label="|OS(StartPcs)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s7 -> s3 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s7 -> s7 [label="|Host(openProfileStartApplication)| / |PCS(Running);SM1(Running);SM2(Running);Dev(OpenProfile)|"];
s7 -> s6 [label="|Host(openProfileStopApplication)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s7 -> s7 [label="|OS(StartPcs)| / |PCS(Running);SM1(Running);SM2(Running);Dev(OpenProfile)|"];
s7 -> s2 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
__start0 -> s0;
}
digraph g {
__start0 [label="" shape="none"];
s0 [shape="circle" label="s0"];
s1 [shape="circle" label="s1"];
s2 [shape="circle" label="s2"];
s0 -> s2 [label="|Pds(StateSystemOn)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s0 -> s1 [label="|Pds(StateSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s0 -> s0 [label="|Pds(ButtonSystemOff)| / UNDEFINED"];
s0 -> s0 [label="|Host(goToOpenProfile)| / UNDEFINED"];
s0 -> s0 [label="|Host(goToClosedProfile)| / UNDEFINED"];
s0 -> s0 [label="|Host(openProfileStartApplication)| / UNDEFINED"];
s0 -> s0 [label="|Host(openProfileStopApplication)| / UNDEFINED"];
s0 -> s0 [label="|OS(StartPcs)| / UNDEFINED"];
s0 -> s0 [label="|OS(StopPcs)| / UNDEFINED"];
s1 -> s1 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s1 -> s1 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s1 -> s1 [label="|Pds(ButtonSystemOff)| / UNDEFINED"];
s1 -> s1 [label="|Host(goToOpenProfile)| / UNDEFINED"];
s1 -> s1 [label="|Host(goToClosedProfile)| / UNDEFINED"];
s1 -> s1 [label="|Host(openProfileStartApplication)| / UNDEFINED"];
s1 -> s1 [label="|Host(openProfileStopApplication)| / UNDEFINED"];
s1 -> s1 [label="|OS(StartPcs)| / UNDEFINED"];
s1 -> s1 [label="|OS(StopPcs)| / UNDEFINED"];
s2 -> s2 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s2 -> s2 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s2 -> s1 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s2 -> s1 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile);Dev(Shutdown)|"];
s2 -> s1 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s2 -> s2 [label="|Host(openProfileStartApplication)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s2 -> s2 [label="|Host(openProfileStopApplication)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s2 -> s2 [label="|OS(StartPcs)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s2 -> s1 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
__start0 -> s0;
}
digraph g {
__start0 [label="" shape="none"];
s0 [shape="circle" label="0"];
s1 [shape="circle" label="1"];
s2 [shape="circle" label="2"];
s3 [shape="circle" label="3"];
s4 [shape="circle" label="4"];
s5 [shape="circle" label="5"];
s6 [shape="circle" label="6"];
s0 [shape="circle" label="s0"];
s1 [shape="circle" label="s1"];
s2 [shape="circle" label="s2"];
s3 [shape="circle" label="s3"];
s4 [shape="circle" label="s4"];
s5 [shape="circle" label="s5"];
s6 [shape="circle" label="s6"];
s0 -> s1 [label="|Pds(StateSystemOn)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s0 -> s2 [label="|Pds(StateSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s1 -> s2 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s1 -> s3 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s1 -> s4 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s0 -> s4 [label="|Pds(StateSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s0 -> s0 [label="|Pds(ButtonSystemOff)| / UNDEFINED"];
s0 -> s0 [label="|Host(goToOpenProfile)| / UNDEFINED"];
s0 -> s0 [label="|Host(goToClosedProfile)| / UNDEFINED"];
s0 -> s0 [label="|Host(openProfileStartApplication)| / UNDEFINED"];
s0 -> s0 [label="|Host(openProfileStopApplication)| / UNDEFINED"];
s0 -> s0 [label="|OS(StartPcs)| / UNDEFINED"];
s0 -> s0 [label="|OS(StopPcs)| / UNDEFINED"];
s1 -> s1 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s1 -> s1 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s1 -> s4 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s1 -> s2 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s1 -> s3 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s1 -> s1 [label="|Host(openProfileStartApplication)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s1 -> s1 [label="|Host(openProfileStopApplication)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s1 -> s1 [label="|OS(StartPcs)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s1 -> s4 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s3 -> s3 [label="|Pds(ButtonSystemOff)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s3 -> s3 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s3 -> s4 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s3 -> s3 [label="|Host(openProfileStartApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s3 -> s3 [label="|Host(openProfileStopApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s3 -> s5 [label="|OS(StartPcs)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s3 -> s3 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s4 -> s4 [label="|Pds(ButtonSystemOff)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s4 -> s3 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s4 -> s4 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s4 -> s4 [label="|Host(openProfileStartApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s4 -> s4 [label="|Host(openProfileStopApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s4 -> s1 [label="|OS(StartPcs)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s4 -> s4 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s5 -> s2 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile);Dev(Shutdown)|"];
s5 -> s3 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s5 -> s4 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s1 -> s3 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s2 -> s2 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s2 -> s2 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s2 -> s2 [label="|Pds(ButtonSystemOff)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s2 -> s2 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s2 -> s3 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s2 -> s2 [label="|Host(openProfileStartApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s2 -> s2 [label="|Host(openProfileStopApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s2 -> s5 [label="|OS(StartPcs)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s2 -> s2 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s3 -> s3 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s3 -> s3 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s3 -> s3 [label="|Pds(ButtonSystemOff)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s3 -> s2 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s3 -> s3 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s3 -> s3 [label="|Host(openProfileStartApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s3 -> s3 [label="|Host(openProfileStopApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s3 -> s1 [label="|OS(StartPcs)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s3 -> s3 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s4 -> s4 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s4 -> s4 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s4 -> s4 [label="|Pds(ButtonSystemOff)| / UNDEFINED"];
s4 -> s4 [label="|Host(goToOpenProfile)| / UNDEFINED"];
s4 -> s4 [label="|Host(goToClosedProfile)| / UNDEFINED"];
s4 -> s4 [label="|Host(openProfileStartApplication)| / UNDEFINED"];
s4 -> s4 [label="|Host(openProfileStopApplication)| / UNDEFINED"];
s4 -> s4 [label="|OS(StartPcs)| / UNDEFINED"];
s4 -> s4 [label="|OS(StopPcs)| / UNDEFINED"];
s5 -> s5 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s5 -> s5 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s5 -> s4 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile);Dev(Shutdown)|"];
s5 -> s2 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s5 -> s3 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s5 -> s6 [label="|Host(openProfileStartApplication)| / |PCS(Running);SM1(Running);SM2(Running);Dev(OpenProfile)|"];
s5 -> s5 [label="|Host(openProfileStopApplication)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s5 -> s5 [label="|OS(StartPcs)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s5 -> s3 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s2 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile);Dev(Shutdown)|"];
s6 -> s3 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s4 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s5 -> s2 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s6 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s6 -> s6 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s6 -> s4 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile);Dev(Shutdown)|"];
s6 -> s2 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s3 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s6 -> s6 [label="|Host(openProfileStartApplication)| / |PCS(Running);SM1(Running);SM2(Running);Dev(OpenProfile)|"];
s6 -> s5 [label="|Host(openProfileStopApplication)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s6 -> s6 [label="|OS(StartPcs)| / |PCS(Running);SM1(Running);SM2(Running);Dev(OpenProfile)|"];
s6 -> s3 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s2 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
__start0 -> s0;
}
digraph g {
__start0 [label="" shape="none"];
s0 [shape="circle" label="0"];
s1 [shape="circle" label="1"];
s2 [shape="circle" label="2"];
s3 [shape="circle" label="3"];
s4 [shape="circle" label="4"];
s5 [shape="circle" label="5"];
s6 [shape="circle" label="6"];
s0 -> s1 [label="|Pds(StateSystemOn)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s0 -> s2 [label="|Pds(StateSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s1 -> s2 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s1 -> s3 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s1 -> s4 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s1 -> s1 [label="|Host(openProfileStartApplication)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s1 -> s1 [label="|Host(openProfileStopApplication)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s1 -> s1 [label="|OS(StartPcs)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s1 -> s4 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s3 -> s3 [label="|Pds(ButtonSystemOff)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s3 -> s3 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s3 -> s4 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s3 -> s3 [label="|Host(openProfileStartApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s3 -> s3 [label="|Host(openProfileStopApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s3 -> s5 [label="|OS(StartPcs)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s3 -> s3 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s4 -> s4 [label="|Pds(ButtonSystemOff)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s4 -> s3 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s4 -> s4 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s4 -> s4 [label="|Host(openProfileStartApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s4 -> s4 [label="|Host(openProfileStopApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s4 -> s1 [label="|OS(StartPcs)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s4 -> s4 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s5 -> s2 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile);Dev(Shutdown)|"];
s5 -> s3 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s5 -> s4 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s0 [shape="circle" label="s0"];
s1 [shape="circle" label="s1"];
s2 [shape="circle" label="s2"];
s3 [shape="circle" label="s3"];
s4 [shape="circle" label="s4"];
s5 [shape="circle" label="s5"];
s6 [shape="circle" label="s6"];
s0 -> s2 [label="|Pds(StateSystemOn)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s0 -> s1 [label="|Pds(StateSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s0 -> s0 [label="|Pds(ButtonSystemOff)| / UNDEFINED"];
s0 -> s0 [label="|Host(goToOpenProfile)| / UNDEFINED"];
s0 -> s0 [label="|Host(goToClosedProfile)| / UNDEFINED"];
s0 -> s0 [label="|Host(openProfileStartApplication)| / UNDEFINED"];
s0 -> s0 [label="|Host(openProfileStopApplication)| / UNDEFINED"];
s0 -> s0 [label="|OS(StartPcs)| / UNDEFINED"];
s0 -> s0 [label="|OS(StopPcs)| / UNDEFINED"];
s1 -> s1 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s1 -> s1 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s1 -> s1 [label="|Pds(ButtonSystemOff)| / UNDEFINED"];
s1 -> s1 [label="|Host(goToOpenProfile)| / UNDEFINED"];
s1 -> s1 [label="|Host(goToClosedProfile)| / UNDEFINED"];
s1 -> s1 [label="|Host(openProfileStartApplication)| / UNDEFINED"];
s1 -> s1 [label="|Host(openProfileStopApplication)| / UNDEFINED"];
s1 -> s1 [label="|OS(StartPcs)| / UNDEFINED"];
s1 -> s1 [label="|OS(StopPcs)| / UNDEFINED"];
s2 -> s2 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s2 -> s2 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s2 -> s1 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s2 -> s4 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s2 -> s3 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s2 -> s2 [label="|Host(openProfileStartApplication)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s2 -> s2 [label="|Host(openProfileStopApplication)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s2 -> s2 [label="|OS(StartPcs)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s2 -> s3 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s3 -> s3 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s3 -> s3 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s3 -> s3 [label="|Pds(ButtonSystemOff)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s3 -> s4 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s3 -> s3 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s3 -> s3 [label="|Host(openProfileStartApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s3 -> s3 [label="|Host(openProfileStopApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s3 -> s2 [label="|OS(StartPcs)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s3 -> s3 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s4 -> s4 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s4 -> s4 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s4 -> s4 [label="|Pds(ButtonSystemOff)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s4 -> s4 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s4 -> s3 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s4 -> s4 [label="|Host(openProfileStartApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s4 -> s4 [label="|Host(openProfileStopApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s4 -> s5 [label="|OS(StartPcs)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s4 -> s4 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s5 -> s5 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s5 -> s5 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s5 -> s1 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile);Dev(Shutdown)|"];
s5 -> s4 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s5 -> s3 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s5 -> s6 [label="|Host(openProfileStartApplication)| / |PCS(Running);SM1(Running);SM2(Running);Dev(OpenProfile)|"];
s5 -> s5 [label="|Host(openProfileStopApplication)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s5 -> s5 [label="|OS(StartPcs)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s5 -> s3 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s2 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile);Dev(Shutdown)|"];
s6 -> s3 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s4 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s5 -> s4 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s6 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s6 -> s6 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s6 -> s1 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile);Dev(Shutdown)|"];
s6 -> s4 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s3 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s6 -> s6 [label="|Host(openProfileStartApplication)| / |PCS(Running);SM1(Running);SM2(Running);Dev(OpenProfile)|"];
s6 -> s5 [label="|Host(openProfileStopApplication)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s6 -> s6 [label="|OS(StartPcs)| / |PCS(Running);SM1(Running);SM2(Running);Dev(OpenProfile)|"];
s6 -> s3 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s4 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
__start0 -> s0;
}
digraph g {
__start0 [label="" shape="none"];
s0 [shape="circle" label="0"];
s1 [shape="circle" label="1"];
s2 [shape="circle" label="2"];
s3 [shape="circle" label="3"];
s4 [shape="circle" label="4"];
s5 [shape="circle" label="5"];
s6 [shape="circle" label="6"];
s7 [shape="circle" label="7"];
s8 [shape="circle" label="8"];
s0 [shape="circle" label="s0"];
s1 [shape="circle" label="s1"];
s2 [shape="circle" label="s2"];
s3 [shape="circle" label="s3"];
s4 [shape="circle" label="s4"];
s5 [shape="circle" label="s5"];
s6 [shape="circle" label="s6"];
s7 [shape="circle" label="s7"];
s8 [shape="circle" label="s8"];
s0 -> s1 [label="|Pds(StateSystemOn)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s0 -> s1 [label="|Pds(StateVideoOn)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s0 -> s2 [label="|Pds(StateSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s1 -> s2 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s0 -> s4 [label="|Pds(StateSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s0 -> s0 [label="|Pds(ButtonSystemOff)| / UNDEFINED"];
s0 -> s0 [label="|Host(stopForInstallation)| / UNDEFINED"];
s0 -> s0 [label="|Host(startAfterInstallation)| / UNDEFINED"];
s0 -> s0 [label="|Host(goToOpenProfile)| / UNDEFINED"];
s0 -> s0 [label="|Host(goToClosedProfile)| / UNDEFINED"];
s0 -> s0 [label="|Host(openProfileStartApplication)| / UNDEFINED"];
s0 -> s0 [label="|Host(openProfileStopApplication)| / UNDEFINED"];
s0 -> s0 [label="|OS(StartPcs)| / UNDEFINED"];
s0 -> s0 [label="|OS(StopPcs)| / UNDEFINED"];
s1 -> s1 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s1 -> s1 [label="|Pds(StateVideoOn)| / UNDEFINED"];
s1 -> s1 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s1 -> s4 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s1 -> s3 [label="|Host(stopForInstallation)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s1 -> s1 [label="|Host(startAfterInstallation)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s1 -> s4 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s1 -> s2 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s1 -> s3 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s1 -> s1 [label="|Host(openProfileStartApplication)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s1 -> s1 [label="|Host(openProfileStopApplication)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s1 -> s1 [label="|OS(StartPcs)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s1 -> s3 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s2 -> s2 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s2 -> s2 [label="|Pds(StateVideoOn)| / UNDEFINED"];
s2 -> s2 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s2 -> s2 [label="|Pds(ButtonSystemOff)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s2 -> s2 [label="|Host(stopForInstallation)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s2 -> s6 [label="|Host(startAfterInstallation)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s2 -> s2 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s2 -> s3 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s2 -> s2 [label="|Host(openProfileStartApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s2 -> s2 [label="|Host(openProfileStopApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s2 -> s5 [label="|OS(StartPcs)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s2 -> s2 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s3 -> s3 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s3 -> s3 [label="|Pds(StateVideoOn)| / UNDEFINED"];
s3 -> s3 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s3 -> s3 [label="|Pds(ButtonSystemOff)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s3 -> s3 [label="|Host(stopForInstallation)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s3 -> s5 [label="|Host(startAfterInstallation)| / |PCS(Running);SM1(Stopped);SM2(Stopped)|"];
s3 -> s4 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s3 -> s8 [label="|Host(startAfterInstallation)| / |PCS(Running);SM1(Stopped);SM2(Stopped)|"];
s3 -> s2 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s3 -> s3 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s3 -> s3 [label="|Host(openProfileStartApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s3 -> s3 [label="|Host(openProfileStopApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s3 -> s1 [label="|OS(StartPcs)| / |PCS(Running);SM1(Running);SM2(Running)|"];
s3 -> s3 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s4 -> s4 [label="|Pds(ButtonSystemOff)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s4 -> s4 [label="|Host(stopForInstallation)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s4 -> s6 [label="|Host(startAfterInstallation)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s4 -> s4 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s4 -> s3 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s4 -> s4 [label="|Host(openProfileStartApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s4 -> s4 [label="|Host(openProfileStopApplication)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s4 -> s7 [label="|OS(StartPcs)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s4 -> s4 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s5 -> s2 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(Shutdown)|"];
s5 -> s3 [label="|Host(stopForInstallation)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s5 -> s5 [label="|Host(startAfterInstallation)| / |PCS(Running);SM1(Stopped);SM2(Stopped)|"];
s5 -> s4 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s4 -> s4 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s4 -> s4 [label="|Pds(StateVideoOn)| / UNDEFINED"];
s4 -> s4 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s4 -> s4 [label="|Pds(ButtonSystemOff)| / UNDEFINED"];
s4 -> s4 [label="|Host(stopForInstallation)| / UNDEFINED"];
s4 -> s4 [label="|Host(startAfterInstallation)| / UNDEFINED"];
s4 -> s4 [label="|Host(goToOpenProfile)| / UNDEFINED"];
s4 -> s4 [label="|Host(goToClosedProfile)| / UNDEFINED"];
s4 -> s4 [label="|Host(openProfileStartApplication)| / UNDEFINED"];
s4 -> s4 [label="|Host(openProfileStopApplication)| / UNDEFINED"];
s4 -> s4 [label="|OS(StartPcs)| / UNDEFINED"];
s4 -> s4 [label="|OS(StopPcs)| / UNDEFINED"];
s5 -> s5 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s5 -> s5 [label="|Pds(StateVideoOn)| / UNDEFINED"];
s5 -> s5 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s5 -> s4 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile);Dev(Shutdown)|"];
s5 -> s2 [label="|Host(stopForInstallation)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s5 -> s5 [label="|Host(startAfterInstallation)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s5 -> s2 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s5 -> s3 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s5 -> s5 [label="|Host(openProfileStartApplication)| / |PCS(Running);SM1(Stopped);SM2(Stopped)|"];
s5 -> s5 [label="|Host(openProfileStopApplication)| / |PCS(Running);SM1(Stopped);SM2(Stopped)|"];
s5 -> s5 [label="|OS(StartPcs)| / |PCS(Running);SM1(Stopped);SM2(Stopped)|"];
s5 -> s3 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s6 -> s2 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile);Dev(Shutdown)|"];
s6 -> s4 [label="|Host(stopForInstallation)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s5 -> s7 [label="|Host(openProfileStartApplication)| / |PCS(Running);SM1(Running);SM2(Running);Dev(OpenProfile)|"];
s5 -> s5 [label="|Host(openProfileStopApplication)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s5 -> s5 [label="|OS(StartPcs)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s5 -> s2 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s6 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s6 -> s6 [label="|Pds(StateVideoOn)| / UNDEFINED"];
s6 -> s6 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s6 -> s4 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile);Dev(Shutdown)|"];
s6 -> s2 [label="|Host(stopForInstallation)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s6 [label="|Host(startAfterInstallation)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s4 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s2 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s3 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s6 -> s6 [label="|Host(openProfileStartApplication)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s6 [label="|Host(openProfileStopApplication)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s6 [label="|OS(StartPcs)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s4 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s7 -> s2 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile);Dev(Shutdown)|"];
s7 -> s4 [label="|Host(stopForInstallation)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s7 -> s7 [label="|Host(startAfterInstallation)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s7 -> s4 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s6 -> s2 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s7 -> s7 [label="|Pds(StateSystemOn)| / UNDEFINED"];
s7 -> s7 [label="|Pds(StateVideoOn)| / UNDEFINED"];
s7 -> s7 [label="|Pds(StateSystemOff)| / UNDEFINED"];
s7 -> s4 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile);Dev(Shutdown)|"];
s7 -> s2 [label="|Host(stopForInstallation)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s7 -> s7 [label="|Host(startAfterInstallation)| / |PCS(Running);SM1(Running);SM2(Running);Dev(OpenProfile)|"];
s7 -> s2 [label="|Host(goToOpenProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s7 -> s3 [label="|Host(goToClosedProfile)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped)|"];
s7 -> s8 [label="|Host(openProfileStartApplication)| / |PCS(Running);SM1(Running);SM2(Running);Dev(OpenProfile)|"];
s7 -> s7 [label="|Host(openProfileStopApplication)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s7 -> s7 [label="|OS(StartPcs)| / |PCS(Running);SM1(Stopped);SM2(Running);Dev(OpenProfile)|"];
s7 -> s4 [label="|OS(StopPcs)| / |PCS(Stopped);SM1(Stopped);SM2(Stopped);Dev(OpenProfile)|"];
s8 -> s2 [label="|Pds(ButtonSystemOff)| / |PCS(Running);SM1(Stopped);SM2(Stopped);Dev(OpenProfile);Dev(Shutdown)|"];