[線代] Deadlock 求解
各位前輩您好，小弟最近在研究 Petri net的deadlock求解
按照論文上敘述的方程式用ligo進行求解，但是卻得到不可行解
百思不得其解，懇請諸位前輩指點迷津，感謝!!
論文下載：https://db.tt/iVlRWRa5
我在lingo輸入的方程式：
x0 >= 0;
x0 + x1 >= 0;
x0 + x1 + x2 >= 0;
x0 + x1 + x2 + x3 >= 0;
x0 + 2*x1 + x2 >= 0;
x0 + 2*x1 + 2*x2 >= 0;
x0 + 2*x1 + 2*x2 + x3 >= 0;
x0 + 3*x1 + 2*x2 <= -1;
x1 + x2 + x3 + x4 = 0;
@gin(x0);
@gin(x1);
@gin(x2);
@gin(x3);
@gin(x4);
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.40.67.47