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

doi:10.3969/j.issn.1001-2400.2017.02.013

Abstract

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

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

References

［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]	CHEN Baojia,HE Wangpeng,HU Jie,WANG Geng,GUO Baolong. Method for diagnosis of data-driven GMC sparse enhancement [J]. Journal of Xidian University, 2019, 46(4): 74-79.
[2]	HE Wangpeng;SUN Wei;SU Bo;YANG Yunyi;GUO Baolong. Sparse feature extraction technique and its applications to machinery fault diagnosis [J]. Journal of Xidian University, 2018, 45(2): 154-159.
[3]	JIANG Zhongyuan;ZHANG Xiuyan;MA Ziyue. Capacity optimization for power storage systems in smart grids [J]. J4, 2015, 42(6): 106-112.
[4]	ZHANG Xiuyan;ZHONG Chunfu;JIA Jianyuan. Method to compute the reachability set of S³PR [J]. J4, 2015, 42(5): 105-109.
[5]	ZHANG Li;ZHAO Liangxu;WANG Shouguang;WANG Chengying. Optimal linear constraint transformation method for α-nets [J]. J4, 2015, 42(5): 183-187+212.
[6]	CHEN Xiaoliang;JIANG Zhongyuan;YE Jianhong . Confusion detection and prevention policies for workflow nets [J]. J4, 2015, 42(2): 77-83.
[7]	ZHU Chengcheng;DONG Lida. Concurrency bug test for a class of multithreaded software [J]. J4, 2015, 42(2): 167-173+212.
[8]	YOU Dan;LIU Miao;WU Wenhui;WANG Shouguang. Method to compute the strict minimal siphon for S³PR [J]. J4, 2014, 41(4): 193-197+204.
[9]	LI Ye;WANG Yinghui;YU Zhenhua. Formal modeling of cyber-physical systems using object-oriented Petri nets [J]. J4, 2014, 41(2): 165-171.
[10]	WANG Qi;WANG Anrong;PU Xuqiang. Computation of special markings of Petri nets of manufacturing systems [J]. J4, 2013, 40(6): 85-91.
[11]	CHEN Yu-feng;LI Zhi-wu. Computation of marking/transition separation instances for safe Petri nets using BDD [J]. J4, 2010, 37(1): 119-124+141.
[12]	. Deadlock prevention approach for a class of timed Petri nets [J]. J4, 2009, 36(5): 902-908.
[13]	ZHU Sen;LI Zhi-wu. On the colored Petri net model of the C³I system of the double aircraft carriers group [J]. J4, 2009, 36(4): 661-668.
[14]	WANG An-rong;DUAN Jiang-tao;LI Zhi-wu;JIA Jian-yuan. On the forbidden state avoidance of resource allocation systems [J]. J4, 2005, 32(5): 742-747.
[15]	MA Yu-xiang;LI Yuan-jun;LIU Yan-ming. A modeling and verification method for ingtelligent networks services with Petri nets [J]. J4, 2004, 31(2): 194-198.

Algorithm for estimating confusion states of flexible manufacturing systems

PDF (PC)

Like

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Metrics

Comments

Recommended 10