吾人進一步發展出新DCOM 元件可建構結構矩陣及最大發展協同派翠網路之成分可用於分析。 We develop a DCOM component to construct S-Matrix and maximal SNC component for analysis. We have developed an efficient technique to find all bad siphons in an incremental fashion and applied to FMS deadlock-prevention with resource-sharing.