查詢結果分析
相關文獻
頁籤選單縮合
題 名 | Reachability and Firing Sequences of Homogeneous Synchronized Choice Petri Nets |
---|---|
作 者 | 趙玉; | 書刊名 | Journal of Information Science and Engineering |
卷 期 | 21:1 2005.01[民94.01] |
頁 次 | 頁129-152 |
分類號 | 448.6 |
關鍵詞 | Petri nets; Synchronized choice nets; Reachability; Liveness; Synthesis; Verification; Inconsistent pair; |
語 文 | 英文(English) |