PV操作中的司机售票员问题的解法改正

在我看司机售票员的问题的时候，我觉得网上的解释都不太对，所以尝试自己详细分析一下这个问题(我不对的请帮忙指出)，网上有一下问题：

1.semaphore s1=0,s2=1; 这里的设置不对，应该都是0才对（个人看法）

2.车的初始状态没有给出，不然会有不同的顺序的

以下是我的见解：

题目分析：

我们首先分析题目中的隐含条件：

他们有两个状态，并且两个状态之间相互转换

状态1：司机在开车&&门是关着的（完成售票了） <--转换--> 状态2： 司机在停车&&门是开着的（还没有售票）

下面是我的代码：

司机售票员问题
//-------------------------------------------------
semaphore door  0 //default open door   
semaphore car   0  //default not drive car：还没有售票 
driver()
{
    wait(door) //请求关门 
    开车
    signal(car) //停车 
}

seller()
{
    signal(door)//关门
    售票
    wait(car)//等待停车 
    客户上下车
} 
//-------------------------------------------------
semaphore door 0   //default closed door 
semaphore car  0   //default drive car ：已经售票 
driver()
{
    开车 
    signal(car) //停车
    wait(door) //等待关门 
}

seller()
{
    wait(car)//等待停车
    客户上下车
    signal(door) //关车门
    售票      
}