CORC  > 清华大学
具有混合约束的离散事件系统的Petri网控制器的研究
陶泽 ; 肖田元 ; 郝长中 ; TAO Ze ; XIAO Tian-yuan ; HAO Chang-zhong
2010-06-09 ; 2010-06-09
关键词Petri网 控制器 结构冲突 离散事件系统 死锁 Petri net controller structural conflict discrete event system deadlock TP301.1
其他题名Controller of discrete event system Petri net with mixed constraint
中文摘要针对由Petri网建模的离散事件系统中具有混合约束的Petri网控制器的设计问题,利用局部设计和Pe-tri网简化技术改进与完善控制器的设计方法,并证明所提方法是最大容许的。先利用局部设计Petri网简化技术把所有约束库所融合为一个与它们标识总量相等的库所,然后再与受约束的变迁进行对照比较,使控制器的设计更为简单并且避免了死锁,尤其是对规模较大的系统,其优势更加明显。针对于约束的不同情况,给出了相应的控制器设计方法,最后通过几个例子对该方法的简单性和有效性进行了验证。; An improved method for constructing a Petri net feedback controller based on part design and Petri net reduction technique was presented for a discrete event system with hybrid constraints modeled by a Petri net.This Petri net controller derived was maximally permissive.Firstly,part design and a net reduction technique of Petri net fused all the constrained places into one place whose marking was equal to the sum of the markings of the constrained places,and then were compared with the constrained transitions.The net reduction and part design simplify the design of controller with remarkable advantages especially for large-scale systems.Corresponding Petri net controller design methods were presented for different cases of the constraint.Finally,this method was proved to be simple and effective by some examples.; 科技部中小企业创新基金资助项目(05C26211400246)。~~
语种中文 ; 中文
内容类型期刊论文
源URL[http://hdl.handle.net/123456789/57564]  
专题清华大学
推荐引用方式
GB/T 7714
陶泽,肖田元,郝长中,等. 具有混合约束的离散事件系统的Petri网控制器的研究[J],2010, 2010.
APA 陶泽,肖田元,郝长中,TAO Ze,XIAO Tian-yuan,&HAO Chang-zhong.(2010).具有混合约束的离散事件系统的Petri网控制器的研究..
MLA 陶泽,et al."具有混合约束的离散事件系统的Petri网控制器的研究".(2010).
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace