<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 Person graphinfo {
templateName (32, 16);
paramList (152, 0);
location start (64, 64);
locationName start (8, 8);
location Wait1 (64, 160);
locationName Wait1 (16, 0);
invariant Wait1 (16, 16);
location Ready (64, 256);
locationName Ready (16, 0);
location Wait2 (64, 344);
locationName Wait2 (16, 8);
invariant Wait2 (16, 24);
location Go (192, 192);
locationName Go (16, 8);
guard start Wait1 1 (-60, -30);
sync start Wait1 1 (16, -16);
assign start Wait1 1 (16, 8);
guard Wait1 Ready 1 (16, -8);
sync Wait1 Ready 1 (-60, -15);
assign Wait1 Ready 1 (-60, 15);
guard Ready Wait2 1 (-60, -30);
sync Ready Wait2 1 (16, -12);
assign Ready Wait2 1 (16, 12);
trans Wait2 Go 1 (64, 76);
guard Wait2 Go 1 (24, 12);
sync Wait2 Go 1 (-60, -15);
assign Wait2 Go 1 (-60, 15);
trans Go start 1 (64, -64);
guard Go start 1 (-60, -30);
sync Go start 1 (24, -16);
assign Go start 1 (-60, 15);
}
process Machine graphinfo {
templateName (32, 16);
paramList (152, 0);
location S0 (112, 64);
locationName S0 (8, 8);
location S1 (112, 168);
locationName S1 (24, 0);
invariant S1 (16, 16);
location S2 (112, 288);
locationName S2 (16, 0);
invariant S2 (8, 16);
guard S0 S1 1 (-60, -30);
sync S0 S1 1 (8, -28);
assign S0 S1 1 (8, 12);
guard S1 S2 1 (8, -12);
sync S1 S2 1 (-60, -15);
assign S1 S2 1 (8, 12);
trans S2 S0 1 (-80, 112), (-80, -112);
guard S2 S0 1 (-64, 88);
sync S2 S0 1 (-60, -15);
assign S2 S0 1 (-60, 15);
trans S2 S0 2 (80, 112), (80, -112);
guard S2 S0 2 (-60, -30);
sync S2 S0 2 (96, -8);
assign S2 S0 2 (-60, 15);
}
process Observer graphinfo {
templateName (32, 16);
paramList (168, 0);
location S0 (128, 88);
locationName S0 (24, -8);
location sad (224, 272);
locationName sad (24, -8);
location S2 (128, 160);
locationName S2 (24, -16);
invariant S2 (24, 0);
guard S0 S2 1 (-60, -30);
sync S0 S2 1 (-40, -20);
assign S0 S2 1 (-40, 4);
guard S2 sad 1 (8, -16);
sync S2 sad 1 (-60, -15);
assign S2 sad 1 (-60, 15);
trans S2 S2 1 (-56, 24), (-16, 56);
guard S2 S2 1 (-60, -30);
sync S2 S2 1 (-80, 32);
assign S2 S2 1 (-48, 56);
}