dc.contributor.advisor | 趙玉 | zh_TW |
dc.contributor.advisor | Cha, Y. Daniel | en_US |
dc.contributor.author (Authors) | 曾昭宏 | zh_TW |
dc.contributor.author (Authors) | Tseng, Jau-Hung | en_US |
dc.creator (作者) | 曾昭宏 | zh_TW |
dc.creator (作者) | Tseng, Jau-Hung | en_US |
dc.date (日期) | 1997 | en_US |
dc.date.accessioned | 27-Apr-2016 11:13:22 (UTC+8) | - |
dc.date.available | 27-Apr-2016 11:13:22 (UTC+8) | - |
dc.date.issued (上傳時間) | 27-Apr-2016 11:13:22 (UTC+8) | - |
dc.identifier (Other Identifiers) | B2002001954 | en_US |
dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/86225 | - |
dc.description (描述) | 碩士 | zh_TW |
dc.description (描述) | 國立政治大學 | zh_TW |
dc.description (描述) | 資訊管理學系 | zh_TW |
dc.description (描述) | 85356016 | zh_TW |
dc.description.abstract (摘要) | 傳統上,派屈網路分類的方式是依照區域結構分成"簡單網"、"非對稱選擇網", "擴充自由選擇網","自由選擇網","標記圖形網","狀態機"。最近我們將派屈網路依照全域結構的分類方式分成兩類:同步選擇網及非同步選擇網。 同步選擇網的結構不同於其它的分類方式,不但可以作派屈網的分類,而且可以因此決定網路的性質如:boundedness、liveness、reversibility等。 | zh_TW |
dc.description.abstract (摘要) | Traditionally Petri nets (PN) are classified, based on local structures (input and output set of transitions or | en_US |
dc.description.tableofcontents | 1. INTRODUCTION -----1 2. PRELIMINARIE -----7 2.1 Petri net definition -----7 2.2 Marked Petri nets -----7 2.3 Petri net firing rules -----8 2.4 Subclass of Petri nets -----9 2.5 Petri net behavior properties -----12 2.6 Incidence Matrix and state equation -----15 2.7 Structural properties of Petri nets -----16 2.8 Synchronic distance and structure synchronic distance -----17 2.9 Pseudo process, generation point, and joint point -----17 2.10 Prime start node and prime end node -----18 2.11 Structural Relationship -----19 2.12 P-invariant, T-invariant -----19 2.13 Conservativeness -----20 2.14 Consistency -----20 2.15 LEX and LCN -----20 3. SYNTHESIZED NET (SN) -----22 3.1 The Synthesis Rules -----22 3.2 Examples of Synthesized Petri Nets -----26 4. SYNCHRONIZED CHOICE NET (SNC) -----33 4.1 Handle -----33 4.2 Bridge -----34 4.3 Prime Handle -----34 4.4 SNC -----35 5. PROPERTIES OF SNC-----38 5.1 Notations -----38 5.2 Relationship between Synchronized Choice Net and TP_Decomposability -----39 5.3 Structure Matrix for Petri Net -----48 5.4 The algorithm for SNC detection -----58 5.5 Reachability -----61 5.6 Livness -----62 5.7 Irreversibility -----72 5.8 The Relationship between Synthesized Net and Synchronized Choice Net -----75 5.9 Duality -----78 6. CONCLUSION 7. REFERECNE LIST OF FIGURES Figure 2.1. The typical structure that represents the subclasses of Petri nets.-----11 Figure 2.2. An overview of Petri net subclass classification. -----11 Figure 2.3. Examples of Petri net for all possible combination of three properties. -----14 Figure 2.4. Examples of Incidence Matrix A. -----15 Figure 3.1. An example of a basic process. -----22 Figure 3.2. An example of TT.1 rule and TT.2 rule. -----23 Figure 3.3. An example of a PP.1 rule. -----27 Figure 3.4. An example of interactive TT generation (TT.3 rule). -----28 Figure 3.5. An example of an interactive TT generation (TT.4 rule). -----29 Figure 3.6. An example of an interactive PP generation (PP.2 rule). -----31 Figure 4.1. PT-Handle and TP-Bridge. -----34 Figure 4.2. An example of PT-handle and TP-bridge in a Free Choice Net. -----36 Figure 4.3. An example of Synchronized Choice Net. -----37 Figure 4.4. An asymmetric choice net (AC), but not SNC. -----37 Figure5.1. T-Components of Fig.3.5(b). -----43 Figure 5.2. T-Components of Fig.4.3. -----45 Figure 5.3. T-Components and P-Components of the Petri net in Fig.4.2. -----47 Figure 5.4. An example of PN and its T-Matrix. -----49 Figure 5.5. Illustration of new handle generation. -----51 Figure 5.6. Original Petri Nets and its T-Matrix prior to the pure handle generation. -----52 Figure 5.7. The new Petri Nets and its T-Matrix after a new pure handle generation -----52 Figure 5.8. Illustration of a new bridge generation. -----54 Figure 5.9. The T-Matrix A` after a new bridge generation. -----56 Figure 5.10(a) pspl is exclusive to psp2, but joint at atransition. -----58 Figure 5.10(b) pspl is concurrent to psp2, but joint at a place. -----58 Figure 5.11(a) An example of live & reversible SNC. -----63 Figure 5.11(b) Dual of Fig.5.11(a). -----63 Figure 5.11(c) An example of irreversible SNC. -----64 Figure 5.l1(d) Dual of Fig.5.11(c). -----64 Figure 5.12. Three cases of partially marked TT subnet. -----66 Figure 5.13. The Bridge B and Subhandle Hs -----67 Figure 5.14. Illustration of LC of case(1). -----68 Figure 5.15. Illustration of LC of case(2). -----68 Figure 5.16. An example of irreversible SNC. -----72 Figure 5.17. Similar to Fig.5.11(c), but is reversible. -----73 Figure 5.18. Similar to Fig.3.5(b), but deadlock SNC. -----77 | zh_TW |
dc.source.uri (資料來源) | http://thesis.lib.nccu.edu.tw/record/#B2002001954 | en_US |
dc.subject (關鍵詞) | 派屈 | zh_TW |
dc.subject (關鍵詞) | 同步選擇 | zh_TW |
dc.subject (關鍵詞) | Petri | en_US |
dc.subject (關鍵詞) | Synchronized choice | en_US |
dc.subject (關鍵詞) | SNC | en_US |
dc.subject (關鍵詞) | Synthesized net | en_US |
dc.subject (關鍵詞) | S-Matrix | en_US |
dc.title (題名) | 同步選擇派屈網路性質之研究 | zh_TW |
dc.title (題名) | Some Properties of Synchronized Choice Ordinary Petri Net | en_US |
dc.type (資料類型) | thesis | en_US |