PV原语
设在公共汽车上,司机和售票员的活动分别是:司机:启动车辆,正常行车,到站停车。售票员:上乘客,关车门,售票,开车门,下乘客。用PV操作对其控制。begins1=0;s2=0 process A begin L1:&n...
注册时间:2005-03-28