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

    Title: Weighted Characteristic P-vector and Deadlock Control of WS3PR
    Authors: 趙玉
    Contributors: 資管系
    Keywords: flexible manufacturing systems;deadlock control;Petri nets;siphons;elementary siphons
    Date: 2010.07
    Issue Date: 2013-11-11 09:38:23 (UTC+8)
    Abstract: Current deadlock control approaches for S^3PGR^2 (systems of simple sequential processes with general resources requirement) suffer from incorrect or restricted liveness characterization based on the concept of deadly marked siphons (DMS) and max-controlled siphons. Dead transitions may exist when there are no DMS and the net model is in livelock states. A new liveness condition is developed based on the so-called max^*-controlled siphons to replace that of the restrictive max-controlled siphons. A deadlock control policy is further proposed for WS^3PR (weighted S^3PR (systems of simple sequential processes with resources)) by adding control nodes and arcs for elementary siphons only, reducing significantly the number of monitors compared with existing methods. A counter example is shown to indicate that Li's characteristic P-vector must be weighted. The controlled model for WS^3PR is proposed and its liveness property is proved.
    Relation: Journal of Information Science and Engineering, 26(3), 1121-1136
    Data Type: article
    Appears in Collections:[資訊管理學系] 期刊論文

    Files in This Item:

    File Description SizeFormat
    11211136.pdf324KbAdobe PDF1061View/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