English  |  正體中文  |  简体中文  |  Post-Print筆數 : 27 |  Items with full text/Total items : 93244/123616 (75%)
Visitors : 27867501      Online Users : 452
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/113057
    Please use this identifier to cite or link to this item: http://nccur.lib.nccu.edu.tw/handle/140.119/113057

    Title: Controllability of weakly dependent siphons under elementary-siphon control
    Authors: 趙玉
    Wu, Wen Hui
    Chao, Daniel Yuh
    Contributors: 資管系
    Keywords: Benchmarking;Computer system recovery;Integer programming;Petri nets;Deadlock prevention;Dependent siphon;Elementary siphon;Linear inequalities;Linear integer programming;Redundancy elimination;Resource requirements;Sequential process;Siphons
    Date: 2016-08
    Issue Date: 2017-09-15 16:10:17 (UTC+8)
    Abstract: Monitors are added to problematic siphons to avoid deadlocks. Li and Zhou (2004, 2006a,b, 2008a,b,c) add monitors to elementary siphons only while controlling the rest-dependent siphons to save on costs. After failing a marking linear inequality (MLI) test, Li and Zhou perform a linear integer programming (LIP) test (NP-hard). We proposed a new MLI test earlier to avoid the LIP and extended it to systems of simple sequential processes with general resource requirements (S3PGR2) for strongly dependent siphons (SDSs). The control policy for weakly dependent siphons (WDSs) is rather conservative due to some negative terms in the MLI. This paper shows that WDS and SDS have the same controllability (i.e. MLI). As a result, the control for WDS need no longer be that conservative. We also develop an optimization (by redundancy elimination) of the computation required for the LIP test to ensure deadlock prevention of systems of simple sequential processes with resources (S3PR). A favourable result for this policy is that any n-dependent (n > 2) WDS (similar to SDS) needs no monitor and hence the complexity for synthesizing a controller becomes polynomial. Application to a slight variant of a well-known benchmark is illustrated.
    Relation: Transactions of the Institute of Measurement and Control, 38(8), 941-955
    Data Type: article
    DOI 連結: http://dx.doi.org/10.1177/0142331214568606
    DOI: 10.1177/0142331214568606
    Appears in Collections:[資訊管理學系] 期刊論文

    Files in This Item:

    File Description SizeFormat

    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