研究一类可以用（ｍａｘ，ｍｉｎ，＋）等代数运算描述的具有约束的赋时Ｐｅｔｒｉ网的性能鲁棒性。首先给出了此类Ｐｅｔｒｉ网的统一的代数描述，并将性能鲁棒性问题形式化。接......

通过极大极小代数的方法对串行生产线进行建模，并给出Ｊｏｈｎｓｏｎ算法的严格证明。...