基于有限容量Petri网的离散事件系统监控理论

项目名称： 基于有限容量Petri网的离散事件系统监控理论

项目编号： No.61374066

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 吴维敏

作者单位： 浙江大学

项目金额： 80万元

中文摘要： 线性不等式约束的实现问题是基于Petri网的离散事件系统（DES）监控理论研究的一个主流问题，但已报道的文献主要研究"小于等于"形式的不等式约束，对"大于等于"形式的不等式约束的研究则鲜有报道。本项目拟扩展传统的有限容量Petri网并以此为工具，研究"大于等于"形式的不等式约束的实现问题。项目首先研究把扩展的有限容量库所Petri网（eFCPN）转变为库所没有容量限制的常规Petri网的形式化方法；接着研究如何利用eFCPN转化方法，设计能实现"大于等于"形式的不等式约束的控制器，给出形式化的设计方法；对得到的受控系统（闭环系统），分析其最大容许性和死锁等性质；最后尝试利用已经获得的研究成果，研究制造系统的死锁和交通拥堵的解决策略。本项目的研究丰富了DES监控理论，为解决某些具有DES特征的工程问题提供了可能的思路。

中文关键词： 离散事件系统；Petri 网；不等式约束；控制器设计；智能交通系统

英文摘要： The enforcement of linear inequation constraint is a popular topic in the supervisory control theory of discrete event systems (DES) based on Petri nets. However, in the reported literature, this class of constraint is usually studied in the form of"less

英文关键词： Discrete Event Systems；Petri Nets；Inequation Constraint；Controller Design；Intelligent Traffic Systems