一个关于死锁的优化，求助

有2种零件a和b,a零件工艺顺序A-B-C,b零件工艺顺序C-A-B. 有2台A设备，3台B设备，2台C设备用于零件加工。
a零件在设备A,B,C加工时间分别为5，7，3.
b零件在设备A,B,C加工时间分别为3, 10, 4.
a零件数    产生时间            b零件数           产生时间
a1          0                                1                        1
a2          7                                2                         7
a3          14                              3                        12
a4          20                             4                        16
a5          28                               5                       21
a6          35                               6                       29
a7          42                               7                       34
a8          47                               8                       42
a9          51                                9                      50
a10        59
a11        61
a12        65

缓存区最少情况下，能够不堵塞，本题不需要缓存区，但是我不知道如何解决堵塞，寻求高手

堵塞的情况产生是因为生产不平衡，比如：b零件在设备A,B,C加工时间分别为3, 10, 4. 设备B放在第三道工序，那么第一道工序4秒出来，而source产生b零件的时间间隔又小于10，就会出现拥堵现象。想要解决的方法就是加工的能力超过Source产生的时间间隔，就不会出现这个问题了，比如B设备再多几台，或者Source产生的时间间隔再大一点！

我觉得这个问题不是技术上的问题，而是一个生产平衡的问题，要解决这个问题就是要多增加设备，然后看多少设备才能满足加工，或者改善机器加工顺序，拥堵说明问题，需要进行改善呵呵！

只在2个RESOURCE前各加一个缓存区，要求最短时间加工完所有零件。。求教

我照着说明做了一遍，不知道是我理解错了，还是怎么回事，没有堵塞啊

我看了你的模型，你说的没堵塞的情况是看的source，当把所有的数据打开看的时候，发现ProcessorA1和ProcessorA16都有堵塞的情况，不过很微小而已！如果你是要求最短时间加工完所有零件！即是说你要考量的是加工的能力，那么你就得压紧Source产生产品的时间间隔，即是快速的出产品，最好一次性出出来，剩下就是进行逻辑设定，把加工路线调整好，这样做实验！看加工能力，第二就是将产品随机化，但间隔时间任小于加工的最短时间，然后看加工的能力！只对加工能力进行验证，对加工时间与产品出的时间进行对比，然后将你上面的数据输入，做几次实验呵呵！我觉得你的实验结果都一样，因为你的出货时间间隔，加工时间都是固定的值，没有变化，我觉得你这个方案好像没有什么可以验证的！在统计详细一点，最好有个变化的区间，这样才能说明最长和最短呵呵！

你的模型我看了下，运行后，至少ProcessorA1是有堵塞，最大等待时间为6，不堵塞应该为5。
MPKV说的，只在2个RESOURCE前各加一个queue来做，至于采用什么样的策略，我是真没想到

原来大家说的堵塞是这个意思啊，那我明白了。我只是把样式做出来了，没有相关的策略

终于看明白楼主的问题了，原来是瓶颈问题啊，这个是模型系统的问题跟这个技术没关系，就如Mpkv所说只能加设备或Source产生的时间间隔再大一点，还有ants_song的模型有点技术问题，加工台B和C上的发送端口参数不应该是Random Available port，就拿C来说，你怎么保证零件B发送到的是加工台A还是sink，应该设成Cases by Value 至于里面实体类型发送到什么端口问题依照情况设定。

哈哈，我里面是按类型设的。
不过说实话，做模型的时候我还真没看懂题目

我下下来的模型不是按实体类型来的啊