English  |  正體中文  |  简体中文  |  Post-Print筆數 : 27 |  Items with full text/Total items : 93861/124308 (76%)
Visitors : 28927220      Online Users : 541
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
  • Adv. Search
    HomeLoginUploadHelpAboutAdminister Goto mobile version
    政大機構典藏 > 商學院 > 資訊管理學系 > 期刊論文 >  Item 140.119/110593
    Please use this identifier to cite or link to this item: http://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 SizeFormat
    1-22(5).pdf777KbAdobe PDF243View/Open

    All items in 政大典藏 are protected by copyright, with all rights reserved.

    社群 sharing

    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - Feedback