PC1 と PC2 は同じアルファベットで並行して実行されます。彼らは行き詰まります。デッドロックの問題を解決する PC1 および PC2 と並行して実行できるプロセス (アルファベットはまだ未定義) を見つけたいと考えています。何か案は？
よろしく。
これはこれまでの私のコードファイルです。
channel printA, printB, printC, printD
PC1 = printA -> printB -> printC -> printD
aPC1 = {printA, printB, printC, printD}
PC2 = printA -> printB -> printD -> printC
aPC2 = {printA, printB, printC, printD}
DEADLOCKAVOIDANCE = ?
aDEADLOCKAVOIDANCE = {?}
P = (PC1 [aPC1||aPC2] PC2) [union(PC1,PC2)||aDEADLOCKAVOIDANCE] DEADLOCKAVOIDANCE