政大機構典藏-National Chengchi University Institutional Repository(NCCUR):Item 140.119/110593

English | 正體中文 | 简体中文 | Post-Print筆數 : 27 | Items with full text/Total items : 113656/144643 (79%)
Visitors : 51714277 Online Users : 597

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

Home ‧ Login ‧ Upload ‧ Help ‧ About ‧ Administer

政大機構典藏 > 商學院 > 資訊管理學系 > 期刊論文 > Item 140.119/110593

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

Title:	Proof by model: a new knowledge-based reachability analysis methodology for Petri net
Authors:	趙玉;季延平;游宗憲;游禮志;李耀中
Contributors:	資管博五
Keywords:	control systems, discrete event systems, flexible manufacturing systems, petri nets
Date:	2016-07
Issue Date:	2017-06-29 10:05:36 (UTC+8)
Abstract:	To solve the state explosion problem in the reachability analysis of Petri nets, Chao recently broke the NP(nondeterministic polynomial time)-complete barrier by developing the first closed-form solution of the number of Control Related States for the kk th-order system. In this paper, we propose a new proof methodology known as proof by model, which is based on the validated information of the reverse net, to simplify and accelerate the construction of the closed-form solution for Petri nets. Here, we apply this methodology to the proof procedure of Top-Right systems with one non-sharing resource placed in the top position of the right-side process. The core theoretical and data basis are that any forbidden (resp. live) state in a Petri net is non-reachable (resp. live) in its reverse net; and the validated information of the Bottom-Right system, the reverse net of Top-Right.
Relation:	IMA Journal of Mathematical Control and Information, 32, 1-22
Data Type:	article
DOI 連結:	http://dx.doi.org/10.1093/imamci/dnw025
DOI:	10.1093/imamci/dnw025
Appears in Collections:	[資訊管理學系] 期刊論文

Files in This Item:

File	Description	Size	Format
1-22(5).pdf		777Kb	Adobe PDF2	573	View/Open

社群 sharing

著作權政策宣告 Copyright Announcement

1.本網站之數位內容為國立政治大學所收錄之機構典藏，無償提供學術研究與公眾教育等公益性使用，惟仍請適度，合理使用本網站之內容，以尊重著作權人之權益。商業上之利用，則請先取得著作權人之授權。
The digital content of this website is part of National Chengchi University Institutional Repository. It provides free access to academic research and public education for non-commercial use. Please utilize it in a proper and reasonable manner and respect the rights of copyright owners. For commercial use, please obtain authorization from the copyright owner in advance.

2.本網站之製作，已盡力防止侵害著作權人之權益，如仍發現本網站之數位內容有侵害著作權人權益情事者，請權利人通知本網站維護人員(nccur@nccu.edu.tw)，維護人員將立即採取移除該數位著作等補救措施。
NCCU Institutional Repository is made to protect the interests of copyright owners. If you believe that any material on the website infringes copyright, please contact our staff(nccur@nccu.edu.tw). We will remove the work from the repository and investigate your claim.

Loading...