一种用于柔性制造系统混惑状态估计的算法

doi:10.3969/j.issn.1001-2400.2017.02.013

西安电子科技大学学报

一种用于柔性制造系统混惑状态估计的算法

王祺1,2;陈晓亮3

(1. 西安电子科技大学机电工程学院，陕西西安 710071;
2. 周口师范学院网络工程学院，河南周口 466001;
3. 西华大学计算机与软件工程学院，四川成都 610039)

收稿日期:2016-04-14 出版日期:2017-04-20 发布日期:2017-05-26
作者简介:王祺(1978-), 男, 西安电子科技大学博士研究生, E-mail: wangqixu486@sina.com
基金资助:
教育部“春晖计划”基金资助项目(Z2015100)；四川省教育厅基金资助项目(15ZB0134)

Algorithm for estimating confusion states of flexible manufacturing systems

WANG Qi1,2;CHEN Xiaoliang3

(1. School of Mechano-electronic Engineering, Xidian Univ., Xi'an 710071, China;
2. College of Network Engineering, ZhouKou Normal Univ., Zhoukou 466001, China;
3. School of Computer and Software Engineering, Xihua Univ., Chengdu 610039, China)

Received:2016-04-14 Online:2017-04-20 Published:2017-05-26

摘要/Abstract

摘要：

由于混惑会影响柔性制造系统的多线程运行及控制决策，故提出一种算法用于求解系统所有的混惑，为系统建模及进一步控制奠定一定的基础. 通过分析混惑状态的特征，基于已存在的Petri网混惑结构检测方案，进一步提出混惑状态的代数估计算法．该算法不再监督系统的状态演化，而通过分析系统的静态结构和初始条件实现混惑状态的估计．研究的成果可用于系统建模阶段的冲突合理性分析．最后，用一个柔性制造系统实例对提出的算法进行仿真．仿真结果表明，该方法能够有效地估计出目标系统的所有混惑状态．

关键词: 错误诊断, Petri网, 混惑, 柔性制造系统

Abstract:

As confusions have an impact on the multi-thread running and decision-making of flexible manufacturing systems (FMS), this paper aims to present a novel algorithm for finding all confusions of such an FMS, which can be considered as the foundation of further system modeling and control. An algebraic method is presented by analyzing the characters of confusion states, based on the available detection schemes of the subnet structure of Petri nets. The method implements state estimation of confusions by inputting a system static structure and an initial state instead of supervising system states. This result can be applied to conflict rationality analysis in the system modeling phase. Finally, an example of FMS is employed to simulate the proposed algorithm. The result shows that all confusion states of the target system can be estimated effectively by using the method.

Key words: fault diagnosis, Petri nets, confusions, flexible manufacturing systems

王祺;陈晓亮. 一种用于柔性制造系统混惑状态估计的算法[J]. 西安电子科技大学学报, 2017, 44(2): 69-74.

WANG Qi;CHEN Xiaoliang. Algorithm for estimating confusion states of flexible manufacturing systems[J]. Journal of Xidian University, 2017, 44(2): 69-74.

参考文献

［1］ WANG X, MAHULEA C, SILVA M. Diagnosis of Time Petri Nets Using Fault Diagnosis Graph ［J］. IEEE Transactions on Automatic Control, 2015, 60(9): 2321-2335.
［2］ BASILE F, CABASINO M P, SEATSU C. State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems with Unobservable Transitions ［J］. IEEE Transactions on Automatic Control, 2015, 60(4): 997-1009.
［3］ GAO Z, DING S X, CECATI C. Real-time Fault Diagnosis and Fault-tolerant Control ［J］. IEEE Transactions on Industrial Electronics, 2015, 62(6): 3752-3756.
［4］ ROZENBERG G, THIAGARAJAN P. Petri Nets: Basic Notions, Structure, Behaviour ［C］//Lecture Notes in Computer Science: 224. Berlin: Springer Verlag, 1986: 585-668.
［5］ HAAR S. Clusters, Confusion and Unfoldings ［J］. Fundamenta Informaticae, 2001, 47(3/4): 259-270.
［6］ AALST W, HEE K. Workflow Management: Models, Methods, and Systems ［M］. Cambridge: MIT Press, 2004.
［7］ KATOEN J P. GSPNs Revisited: Simple Semantics and New Analysis Algorithms ［C］//Proceedings of the International Conference on Application of Concurrency to System Design. Piscataway: IEEE, 2012: 6-11.
［8］ MARR C. Capturing Conflict and Confusion in CSP ［C］//Lecture Notes in Computer Science: 4591. Berlin: Springer Verlag, 2007: 413-438.
［9］ CHEN X L, LI Z W, AL-AHMARI A M, et al. Confusion Diagnosis and Control of Discrete Event System Using Synchronized Petri Nets ［J］. Asian Journal of Control, 2013, 15(6): 1736-1751.
［10］陈晓亮, 蒋忠远, 叶剑虹. 工作流网的混或检测和预防策略［J］. 西安电子科技大学学报, 2015, 42(2): 87-94.
CHEN Xiaoliang, JIANG Zhongyuan, YE Jianhong. Confusion Detection and Prevention Policies for Work Flow Nets ［J］. Journal of Xidian University, 2015, 42(2): 87-94.
［11］ OLGA C, ALOIS F, HOON H. Reachability Test in Petri Nets ［R］. Linz: Research Institute for Symbolic Computation, Johannes Kepler University, 1995.

[1]	邹岷强,马子玥. 一种Petri网最优控制序列的高效设计方法[J]. 西安电子科技大学学报, 2022, 49(3): 199-205.
[2]	马子玥;童音. 采用基本标识图的Petri网控制策略[J]. 西安电子科技大学学报, 2016, 43(6): 68-73.
[3]	蒋忠远;张秀艳;马子玥. 智能电网中电能存储系统的容量优化[J]. J4, 2015, 42(6): 106-112.
[4]	张秀艳;钟春富;贾建援. S³PR网的可达标识集算法[J]. J4, 2015, 42(5): 105-109.
[5]	张丽;赵良煦;王寿光;汪成英. 针对α网的最优线性约束转换方法[J]. J4, 2015, 42(5): 183-187+212.
[6]	陈晓亮;蒋忠远;叶剑虹 . 工作流网的混或检测和预防策略 [J]. J4, 2015, 42(2): 77-83.
[7]	朱承丞;董利达. 一种多线程软件并发漏洞检测方法 [J]. J4, 2015, 42(2): 167-173+212.
[8]	尤丹;刘苗;吴文慧;王寿光. S³PR网的严格极小信标计算方法[J]. J4, 2014, 41(4): 193-197+204.
[9]	洪良. S³PR网可达标识数的一种有效估算方法[J]. J4, 2014, 41(3): 169-173.
[10]	李晔;王映辉;于振华. 信息物理融合系统的面向对象Petri网建模[J]. J4, 2014, 41(2): 165-171.
[11]	王祺;王安荣;蒲绪强. 制造系统Petri网特殊标识求解算法[J]. J4, 2013, 40(6): 85-91.
[12]	张曼;段振华. 工作流网合成规则及其在流程设计中的应用[J]. J4, 2012, 39(2): 200-206.
[13]	陈玉峰;李志武. 安全Petri网事件分离状态的BDD算法[J]. J4, 2010, 37(1): 119-124+141.
[14]	郭金维;李志武. 一种时延Petri网的死锁预防方法[J]. J4, 2009, 36(5): 902-908.
[15]	朱森;李志武. 双航母编队C³I系统Petri网建模与分析研究[J]. J4, 2009, 36(4): 661-668.

一种用于柔性制造系统混惑状态估计的算法

Algorithm for estimating confusion states of flexible manufacturing systems

PDF (PC)

赞

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

Metrics

本文评价

推荐阅读 0