(44.192.112.123) 您好!臺灣時間:2021/03/06 06:07
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果

詳目顯示:::

我願授權國圖
: 
twitterline
研究生:曾昭宏
研究生(外文):Tseng, Jau-Hung
論文名稱:同步選擇派屈網路性質之研究
論文名稱(外文):Some Properties of Synchronized Choice Ordinary Petri Net
指導教授:趙玉趙玉引用關係
指導教授(外文):Daniel Y. Cha
學位類別:碩士
校院名稱:國立政治大學
系所名稱:資訊管理學系
學門:電算機學門
學類:電算機一般學類
論文種類:學術論文
論文出版年:1998
畢業學年度:86
語文別:中文
論文頁數:83
中文關鍵詞:派屈同步選擇
外文關鍵詞:PetriSynchronized ChoiceSNCSynthesized NetS-Matrix
相關次數:
  • 被引用被引用:0
  • 點閱點閱:268
  • 評分評分:系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
傳統上,派屈網路分類的方式是依照區域結構分成"簡單網"、"非對
稱選擇網", "擴充自由選擇網","自由選擇網","標記圖形網","狀態
機"。最近我們將派屈網路依照全域結構的分類方式分成兩類:同步選擇
網及非同步選擇網。 同步選擇網的結構不同於其它的分類方式,不但可
以作派屈網的分類,而且可以因此決定網路的性質如: boundedness、
liveness、 reversibility等。 在一個同步選擇網
中,任何一個沒有 bridge 的 handle 必定是一 個
TT- 或 PP-路徑;同步選擇網也可以分解成許多 T-components 或
P-components ;同步選擇網是非常值得研究的題目,如果一個派屈網不
屬於同步選擇網,這個派屈網很可能有設計上的錯誤如 unbounded 或
deadlock。

Traditionally Petri nets (PN) are classified, based on
local structures (input and output set of transitions or
places), into simple nets, asymmetric choice nets, extended
free choice nets, free choice nets, mark graphs and state
machines. We categorize ordinary Petri nets into two classes:
SNC and non-SNC based on global structure. Unlike other class
of Petri nets, the structure of SNC nets not only classify the
nets, but also determine the properties of the nets such as
boundedness, liveness, reversibility, …etc.
In an SNC, any prime handle must be either a TT- or
PP-path. SNC nets is declared to be largest (than Free Choice)
set of nets that are covered by both T-components and
P-components. SNC nets is interesting because if a designed PN
is not an SNC, then most likely it suffers from design errors
of deadlocks or unbounded. SNC nets is both
structurally live and bounded. However, it may
not be live or reversible. This thesis presents the
conditions of liveness and irreversibility. An
algorithm is developed to detect SNC nets which based on
a useful mechanism called S-Matrix to records the structure
relationship between any two PSP's. Further, we will also
provide algorithms to check the SNC nets to be live and
irreversible.

QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
系統版面圖檔 系統版面圖檔