試用信號燈與PV操作實現(xiàn)司機與售票員之間的同步問題。設公共汽車上有一個司機和一個售票員,其活動如下圖所示。 為了安全起見,顯然要求: (1)關車門后方能啟動車輛; (2)到站停車后方能開車門。亦即“啟動車輛”這一活動應當在“關車門”這一活動之后,“開車門”這一活動應當在“到站停車”這一活動之后。