Please use this identifier to cite or link to this item:
https://ah.lib.nccu.edu.tw/handle/140.119/110593
DC Field | Value | Language |
---|---|---|
dc.contributor | 資管博五 | |
dc.creator | 趙玉;季延平;游宗憲;游禮志;李耀中 | zh_TW |
dc.date | 2016-07 | |
dc.date.accessioned | 2017-06-29T02:05:36Z | - |
dc.date.available | 2017-06-29T02:05:36Z | - |
dc.date.issued | 2017-06-29T02:05:36Z | - |
dc.identifier.uri | http://nccur.lib.nccu.edu.tw/handle/140.119/110593 | - |
dc.description.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. | |
dc.format.extent | 796523 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.relation | IMA Journal of Mathematical Control and Information, 32, 1-22 | |
dc.subject | control systems, discrete event systems, flexible manufacturing systems, petri nets | |
dc.title | Proof by model: a new knowledge-based reachability analysis methodology for Petri net | |
dc.type | article | |
dc.identifier.doi | 10.1093/imamci/dnw025 | |
dc.doi.uri | http://dx.doi.org/10.1093/imamci/dnw025 | |
item.cerifentitytype | Publications | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.openairetype | article | - |
item.fulltext | With Fulltext | - |
item.grantfulltext | restricted | - |
Appears in Collections: | 期刊論文 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
1-22(5).pdf | 777.85 kB | Adobe PDF2 | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.