頁籤選單縮合
| 題 名 | Knitting Technique and Structural Matrix for Deadlock Analysis and Synthesis of Petri Nets with Sequential Exclusion |
|---|---|
| 作 者 | 趙玉; | 書刊名 | 資管評論 |
| 卷 期 | 7 1997.12[民86.12] |
| 頁 次 | 頁45-88 |
| 分類號 | 478.1 |
| 關鍵詞 | FMS; Petri net; Deadlock; Liveness; Boundedness; Shared resource; PME; SME; S-matrix; S-matrix; Knitting rules; Synthesis; Deadlock-free condition; |
| 語 文 | 英文(English) |
| 英文摘要 | Inappropriate handling of resource sharing is the major cause of deadlocks in Flexible Manufacturing System (FMS) modelled by Petri nets (PN). Zhou et al [ZHO 91] presented the deadlock-free condition (DFC) of a PN containing Sequential Mutual Exclusion (SME). This paper presents an alternative approach to explain SME and Parallel Mutual Exclusion (PME) in the context of the knitting technique and structural relationship, illustrates the application of S-Matrix to detect deadlocks in SMEs, generalizes the DFC for more complicated SMEs than the example in [ZHO 91], and discovers new DFCs. The structural matrix (S-Matrix) records the structural relationship among the processes and thus can be used to detect the violation of the synthetic rules upon a new generation of paths in the Petri net. To synthesize the SME, we have enhanced the algorthrm to corstruct the S-Matrix. |
本系統中英文摘要資訊取自各篇刊載內容。