| dc.coverage.temporal | 計畫年度：89 起迄日期：20000801～20010731 | en_US |
| dc.creator (作者) | 趙玉 | zh_TW |
| dc.date (日期) | 2000 | en_US |
| dc.date.accessioned | 18-Apr-2007 16:40:15 (UTC+8) | en_US |
| dc.date.accessioned | 8-Sep-2008 16:36:48 (UTC+8) | - |
| dc.date.available | 18-Apr-2007 16:40:15 (UTC+8) | en_US |
| dc.date.available | 8-Sep-2008 16:36:48 (UTC+8) | - |
| dc.date.issued (上傳時間) | 18-Apr-2007 16:40:15 (UTC+8) | en_US |
| dc.identifier (Other Identifiers) | 892213E004009.pdf | en_US |
| dc.identifier.uri (URI) | http://tair.lib.ntu.edu.tw:8000/123456789/3988 | en_US |
| dc.identifier.uri (URI) | https://nccur.lib.nccu.edu.tw/handle/140.119/3988 | - |
| dc.description (描述) | 核定金額：315800元 | en_US |
| dc.description.abstract (摘要) | 吾人進一步發展出新DCOM 元件可建構結構矩陣及最大發展協同派翠網路之成分可用於分析。 | - |
| dc.description.abstract (摘要) | 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. | - |
| dc.format | applicaiton/pdf | en_US |
| dc.format.extent | bytes | en_US |
| dc.format.extent | 35398 bytes | en_US |
| dc.format.extent | 35398 bytes | - |
| dc.format.extent | 10516 bytes | - |
| dc.format.mimetype | application/pdf | en_US |
| dc.format.mimetype | application/pdf | en_US |
| dc.format.mimetype | application/pdf | - |
| dc.format.mimetype | text/plain | - |
| dc.language | zh-TW | en_US |
| dc.language.iso | zh-TW | en_US |
| dc.publisher (Publisher) | 臺北市：國立政治大學資訊管理學系 | en_US |
| dc.rights (Rights) | 行政院國家科學委員會 | en_US |
| dc.subject (關鍵詞) | 同步選擇網路;派曲網;死結;合成;驗證;存活性;電腦輔助繪圖 | - |
| dc.subject (關鍵詞) | Synchronized choice net;Petri net;Deadlock;Synthesis;Verification;Liveness;Computer aided drawing (CAD) | - |
| dc.title (題名) | 協同派翠網路之工具及擴充 | zh_TW |
| dc.title.alternative (其他題名) | Tool and Extension on Synchronized Choice Nets | - |
| dc.type (資料類型) | report | en |
