<br />
<b>Deprecated</b>:  The each() function is deprecated. This message will be suppressed on further calls in <b>/home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php</b> on line <b>456</b><br />
process TaskMain graphinfo {
templateName (32, 16);
paramList (184, 0);
location S0 (128, 112);
locationName S0 (-10, -30);
trans S0 S0 1 (-48, -16), (-48, 16);
sync S0 S0 1 (-96, -8);
trans S0 S0 2 (48, -16), (48, 16);
sync S0 S0 2 (64, -24);
assign S0 S0 2 (64, 0);
}
process TaskPiston graphinfo {
templateName (32, 16);
paramList (184, 0);
location wait (64, 112);
locationName wait (-32, 16);
invariant wait (-32, 32);
location passive (256, 112);
locationName passive (-8, 16);
trans wait passive 1 (-64, -32), (64, -32);
guard wait passive 1 (-104, -56);
sync wait passive 1 (-24, -56);
assign wait passive 1 (40, -56);
trans passive wait 1 (64, 32), (-64, 32);
guard passive wait 1 (-56, 40);
sync passive wait 1 (48, 40);
}
process Piston graphinfo {
templateName (32, 16);
paramList (160, 0);
location s1 (96, 64);
locationName s1 (8, 8);
location s2 (96, 224);
locationName s2 (8, 8);
invariant s2 (8, 24);
sync s1 s2 1 (8, -28);
assign s1 s2 1 (8, 32);
trans s2 s1 1 (64, 80), (64, -80);
guard s2 s1 1 (56, 88);
trans s2 s1 2 (-64, 80), (-64, -80);
sync s2 s1 2 (-72, 88);
}
process Dumb graphinfo {
templateName (32, 16);
paramList (144, 0);
location S0 (64, 96);
locationName S0 (-10, -30);
trans S0 S0 1 (48, -16), (48, 16);
sync S0 S0 1 (56, -8);
}
process ColorBox graphinfo {
templateName (32, 16);
paramList (168, 0);
location start (32, 256);
locationName start (8, 8);
invariant start (8, 24);
location on1 (32, 128);
locationName on1 (8, 8);
invariant on1 (8, 24);
location on2 (288, 128);
locationName on2 (8, 8);
invariant on2 (8, 24);
location piston (416, 128);
locationName piston (8, 8);
invariant piston (8, 24);
location end (544, 128);
locationName end (8, 8);
location sensor (160, 128);
locationName sensor (8, 8);
invariant sensor (8, 24);
location off (416, 256);
locationName off (8, 8);
guard sensor on2 1 (-24, -24);
guard on2 piston 1 (-24, -24);
sync piston off 1 (8, 0);
guard piston end 1 (-48, -24);
guard start on1 1 (8, 0);
assign start on1 1 (8, 24);
guard on1 sensor 1 (-16, -24);
trans sensor on2 2 (-64, 48), (64, 48);
guard sensor on2 2 (-64, 56);
sync sensor on2 2 (40, 56);
trans sensor on2 3 (-64, -48), (64, -48);
guard sensor on2 3 (-64, -72);
sync sensor on2 3 (40, -72);
}