協同派翠網路之工具及擴充

English | 正體中文 | 简体中文 | Post-Print筆數 : 27 | Items with full text/Total items : 94001/124455 (76%)
Visitors : 29059285 Online Users : 232

RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.

Home ‧ Login ‧ Upload ‧ Help ‧ About ‧ Administer

政大機構典藏 > 商學院 > 資訊管理學系 > 國科會研究計畫 > Item 140.119/3988

Please use this identifier to cite or link to this item: http://nccur.lib.nccu.edu.tw/handle/140.119/3988

Title:	協同派翠網路之工具及擴充
Other Titles:	Tool and Extension on Synchronized Choice Nets
Authors:	趙玉
Keywords:	同步選擇網路;派曲網;死結;合成;驗證;存活性;電腦輔助繪圖 Synchronized choice net;Petri net;Deadlock;Synthesis;Verification;Liveness;Computer aided drawing (CAD)
Date:	2000
Issue Date:	2007-04-18 16:40:15 (UTC+8)
Publisher:	臺北市：國立政治大學資訊管理學系
Abstract:	吾人進一步發展出新DCOM 元件可建構結構矩陣及最大發展協同派翠網路之成分可用於分析。 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.
Description:	核定金額：315800元
Data Type:	report
Appears in Collections:	[資訊管理學系] 國科會研究計畫

Files in This Item:

File	Description	Size	Format
892213E004009.pdf		34Kb	Adobe PDF	944	View/Open

社群 sharing

著作權政策宣告

1.本網站之數位內容為國立政治大學所收錄之機構典藏，無償提供學術研究與公眾教育等公益性使用，惟仍請適度，合理使用本網站之內容，以尊重著作權人之權益。商業上之利用，則請先取得著作權人之授權。
2.本網站之製作，已盡力防止侵害著作權人之權益，如仍發現本網站之數位內容有侵害著作權人權益情事者，請權利人通知本網站維護人員(nccur@nccu.edu.tw)，維護人員將立即採取移除該數位著作等補救措施。

Loading...