process Simulation graphinfo {
location STEP (-42,0);
locationName STEP(-2,17);
invariant STEP(-9,33);
location START (-510,102);
locationName START(-25,-34);
location STEP2 (136,-102);
locationName STEP2(-26,-34);
invariant STEP2(-17,17);
trans STEP2 STEP 1 (259,-51);
trans STEP2 STEP 1 (259,51);
sync STEP2 STEP 1 (89,59);
assign STEP2 STEP 1 (80,9);
trans STEP STEP2 1 (-89,-51);
trans START STEP 1 (140,51);
select START STEP 1 (-157,25);
sync START STEP 1 (98,34);
assign START STEP 1 (-166,68);
}
process CarDynamic graphinfo {
location WAIT (-272,-34);
locationName WAIT(-17,-34);
invariant WAIT(-77,25);
location DYNAMICS (135,-34);
locationName DYNAMICS(-76,-34);
invariant DYNAMICS(-59,42);
exponentialrate DYNAMICS(18,9);
lcolor DYNAMICS #0000ff;
location DYNAMICS_ATTACK (782,-34);
locationName DYNAMICS_ATTACK(25,-17);
invariant DYNAMICS_ATTACK(-170,42);
exponentialrate DYNAMICS_ATTACK(17,17);
lcolor DYNAMICS_ATTACK #ff0000;
location CRASH (408,-476);
locationName CRASH(-17,-43);
invariant CRASH(-34,17);
lcolor CRASH #ffa500;
trans DYNAMICS_ATTACK CRASH 1 (187,-255);
guard DYNAMICS_ATTACK CRASH 1 (204,-8);
trans DYNAMICS CRASH 1 (-135,-255);
guard DYNAMICS CRASH 1 (-117,-272);
guard DYNAMICS DYNAMICS_ATTACK 1 (-127,-77);
assign DYNAMICS DYNAMICS_ATTACK 1 (-127,-51);
guard WAIT DYNAMICS 1 (-103,-34);
}
process LeaderDriver graphinfo {
location CONST_A (-204,-221);
locationName CONST_A(-17,-67);
invariant CONST_A(-43,-50);
lcolor CONST_A #ffa500;
location REGIME (212,-221);
locationName REGIME(-43,-33);
invariant REGIME(17,-33);
lcolor REGIME #00ff00;
location INIT (-901,-399);
locationName INIT(-10,-34);
location SLOPE (-204,59);
locationName SLOPE(-25,-93);
invariant SLOPE(-34,-59);
lcolor SLOPE #ffa500;
location ACCEL (-202,340);
locationName ACCEL(-10,-68);
invariant ACCEL(-19,-43);
lcolor ACCEL #ffa500;
location FINAL_STEPS (136,340);
locationName FINAL_STEPS(-34,-85);
invariant FINAL_STEPS(-34,-68);
lcolor FINAL_STEPS #00ff00;
location DECEL (510,340);
locationName DECEL(-26,-68);
invariant DECEL(-34,-43);
lcolor DECEL #ff00ff;
location FINAL_STEPS2 (782,340);
locationName FINAL_STEPS2(-34,-85);
invariant FINAL_STEPS2(-34,-68);
lcolor FINAL_STEPS2 #00ff00;
branchpoint B0 (-612,-221);
trans FINAL_STEPS2 ACCEL 1 (628,0);
trans FINAL_STEPS2 ACCEL 1 (628,-170);
trans FINAL_STEPS2 ACCEL 1 (-222,-170);
trans FINAL_STEPS2 ACCEL 1 (-324,-136);
guard FINAL_STEPS2 ACCEL 1 (543,-26);
assign FINAL_STEPS2 ACCEL 1 (143,-162);
guard DECEL FINAL_STEPS2 1 (-77,-26);
assign DECEL FINAL_STEPS2 1 (-102,25);
trans FINAL_STEPS FINAL_STEPS 1 (136,76);
trans FINAL_STEPS FINAL_STEPS 1 (102,102);
trans FINAL_STEPS FINAL_STEPS 1 (-119,102);
trans FINAL_STEPS FINAL_STEPS 1 (-136,68);
guard FINAL_STEPS FINAL_STEPS 1 (-77,76);
assign FINAL_STEPS FINAL_STEPS 1 (-119,110);
guard FINAL_STEPS DECEL 1 (-111,-26);
assign FINAL_STEPS DECEL 1 (-85,8);
guard ACCEL FINAL_STEPS 1 (-111,-26);
assign ACCEL FINAL_STEPS 1 (-128,8);
trans B0 ACCEL 1 (-205,281);
assign B0 ACCEL 1 (-188,0);
probability B0 ACCEL 1 (-188,60);
trans SLOPE REGIME 1 (-46,140);
trans SLOPE REGIME 1 (-46,-63);
guard SLOPE REGIME 1 (-38,47);
assign SLOPE REGIME 1 (-38,73);
trans SLOPE SLOPE 1 (93,68);
trans SLOPE SLOPE 1 (68,102);
trans SLOPE SLOPE 1 (-68,102);
trans SLOPE SLOPE 1 (-93,60);
guard SLOPE SLOPE 1 (-68,102);
assign SLOPE SLOPE 1 (-68,128);
assign B0 SLOPE 1 (0,-55);
probability B0 SLOPE 1 (-119,-106);
assign B0 CONST_A 1 (-119,-68);
probability B0 CONST_A 1 (-144,-34);
select INIT B0 1 (-179,-21);
assign INIT B0 1 (-179,47);
trans REGIME REGIME 1 (-43,51);
trans REGIME REGIME 1 (-34,77);
trans REGIME REGIME 1 (102,77);
trans REGIME REGIME 1 (93,34);
assign REGIME REGIME 1 (-94,94);
guard CONST_A REGIME 1 (-140,-25);
assign CONST_A REGIME 1 (-140,-76);
trans FINAL_STEPS2 FINAL_STEPS2 1 (136,76);
trans FINAL_STEPS2 FINAL_STEPS2 1 (102,102);
trans FINAL_STEPS2 FINAL_STEPS2 1 (-119,102);
trans FINAL_STEPS2 FINAL_STEPS2 1 (-136,68);
guard FINAL_STEPS2 FINAL_STEPS2 1 (-77,76);
assign FINAL_STEPS2 FINAL_STEPS2 1 (-119,110);
}
process CACC graphinfo {
location STEP (-34,0);
locationName STEP(-17,25);
trans STEP STEP 1 (-272,-1);
trans STEP STEP 1 (-314,-102);
trans STEP STEP 1 (-264,-187);
trans STEP STEP 1 (161,-187);
trans STEP STEP 1 (204,-103);
trans STEP STEP 1 (127,-1);
sync STEP STEP 1 (-254,-18);
assign STEP STEP 1 (-255,-179);
}
process DownLinkMedium graphinfo {
location SAMPLE (-306,-136);
locationName SAMPLE(-25,-42);
location HOLD (136,-136);
locationName HOLD(-17,-34);
invariant HOLD(25,0);
trans HOLD SAMPLE 1 (255,68);
trans HOLD SAMPLE 1 (221,136);
trans HOLD SAMPLE 1 (-221,136);
trans HOLD SAMPLE 1 (-255,68);
guard HOLD SAMPLE 1 (263,34);
assign HOLD SAMPLE 1 (-153,136);
select SAMPLE HOLD 1 (-170,-34);
assign SAMPLE HOLD 1 (-178,0);
}
process UpLinkMedium graphinfo {
location HOLD (272,-68);
locationName HOLD(-17,-34);
invariant HOLD(25,-8);
location SAMPLE (-204,-68);
locationName SAMPLE(-25,-42);
trans HOLD SAMPLE 1 (272,68);
trans HOLD SAMPLE 1 (238,136);
trans HOLD SAMPLE 1 (-238,136);
trans HOLD SAMPLE 1 (-272,68);
guard HOLD SAMPLE 1 (280,34);
assign HOLD SAMPLE 1 (110,136);
select SAMPLE HOLD 1 (-212,-25);
assign SAMPLE HOLD 1 (-212,0);
}
