... người lập trình cài ñặt mô-ñun và những người lập trình sử dụng mô-ñun1631Mạng PetriVí dụ 4: tình huống nghẽn (dead-lock) 22 P6P4P3P1P8t1t3t5t7P7P5P2P9t2t4t6t8 32 22 Mạng ... saiBấm sốKết nối ñược14 27 Mạng PetriVí dụ 1: mô tả hoạt ñộng an toàn của 2 ñèn giao thôngrg1red1yellow1green1yr1gy1rg2red2yellow2green2yr2gy2safe 28 Mạng PetriVí dụ 1: mô ... C2><0, P1, C1>Tiêu thụTiêu thụSản xuấtSản xuất<1, P2, C2><1, P2, C1><1, P1, C2><1, P1, C1>Tiêu thụTiêu thụSản xuấtSản xuất< ;2, P2, C2>< ;2, ...