浙江大学学报（理学版）
浙江大學學報（理學版）
절강대학학보（이학판）
JOURNAL OF ZHEJIANG UNIVERSITY
2013年
4期
416-423
,共8页
董利达%傅健丰%朱丹%朱承丞
董利達%傅健豐%硃丹%硃承丞
동리체%부건봉%주단%주승승
Petri网%虹吸寻找%S4PR网%活性
Petri網%虹吸尋找%S4PR網%活性
Petri망%홍흡심조%S4PR망%활성
Petri net%siphon computation%S4PR net%liveness
研究了S4PR(systems of sequential systems with shared resources)网的虹吸寻找问题.S4PR网是一类典型的用于建模顺序资源共享分配系统的Petri网模型.在S4PR网中,虹吸的不充分标识会导致死锁.现有的虹吸寻找算法得到的虹吸集合中,存在着不需要进行控制的冗余虹吸,对其添加控制器将会导致控制的冗余和受控系统行为允许度的降低.提出了一种基于混合整数规划(MIP)的虹吸寻找方法,并证明了当该方法没有合适的解时,网系统是活的.与现有的其他算法相比,这一方法能直接获取一个极小的虹吸,并剔除一些并不需要控制的虹吸,因此能用于设计更高允许度的虹吸控制器.应用实例说明了其用于死锁预防策略的可行性和有效性.
研究瞭S4PR(systems of sequential systems with shared resources)網的虹吸尋找問題.S4PR網是一類典型的用于建模順序資源共享分配繫統的Petri網模型.在S4PR網中,虹吸的不充分標識會導緻死鎖.現有的虹吸尋找算法得到的虹吸集閤中,存在著不需要進行控製的冗餘虹吸,對其添加控製器將會導緻控製的冗餘和受控繫統行為允許度的降低.提齣瞭一種基于混閤整數規劃(MIP)的虹吸尋找方法,併證明瞭噹該方法沒有閤適的解時,網繫統是活的.與現有的其他算法相比,這一方法能直接穫取一箇極小的虹吸,併剔除一些併不需要控製的虹吸,因此能用于設計更高允許度的虹吸控製器.應用實例說明瞭其用于死鎖預防策略的可行性和有效性.
연구료S4PR(systems of sequential systems with shared resources)망적홍흡심조문제.S4PR망시일류전형적용우건모순서자원공향분배계통적Petri망모형.재S4PR망중,홍흡적불충분표식회도치사쇄.현유적홍흡심조산법득도적홍흡집합중,존재착불수요진행공제적용여홍흡,대기첨가공제기장회도치공제적용여화수공계통행위윤허도적강저.제출료일충기우혼합정수규화(MIP)적홍흡심조방법,병증명료당해방법몰유합괄적해시,망계통시활적.여현유적기타산법상비,저일방법능직접획취일개겁소적홍흡,병척제일사병불수요공제적홍흡,인차능용우설계경고윤허도적홍흡공제기.응용실례설명료기용우사쇄예방책략적가행성화유효성.
