如何用PV操作描述进程同步
请问一下如何用PV操作描述进程同步，用以下例题给出答案和思路，谢谢各位
p(1){s1,v12,v13}
p(2){p12,s2,v26}
p(3){p13,s3,v34,v35}
p(4){p34,s4,v46}
p(5){p35,s5,v56}
p(6){p26,p46,p56,s6}
请问一下如何用PV操作描述进程同步，用以下例题给出答案和思路，谢谢各位
p(1){s1,v12,v13}
p(2){p12,s2,v26}
p(3){p13,s3,v34,v35}
p(4){p34,s4,v46}
p(5){p35,s5,v56}
p(6){p26,p46,p56,s6}