PV原语

设在公共汽车上，司机和售票员的活动分别是：司机：启动车辆，正常行车，到站停车。售票员：上乘客，关车门，售票，开车门，下乘客。用PV操作对其控制。

begin
s1=0;s2=0
 process A
 begin
   L1:
  P(s1)
  启动车辆
  正常行驶
  到站停车
  V(s2)
  goto L1
  
  
 process B
 begin
   L2:
  上乘客
  关车门
  V(s1)
  售票
  P(s2)
  开车门
  下乘客
  goto L2
end

来自 “ ITPUB博客 ” ，链接：http://blog.itpub.net/298599/viewspace-720497/，如需转载，请注明出处，否则将追究法律责任。

转载于:http://blog.itpub.net/298599/viewspace-720497/