参考文献/References:
[1] SAMPATH M,SENGUPTA R,LAFORTUNE S,et al.Diagnosability of discrete-event systems[J].IEEE Transactions on Automation Control,1995,40(9):1555-1575.
[2] MOSTERMAN P J.Diagnosis of physical systems with hybrid models using parameterized causality[C]//Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control.London:Springer-Verlag,2001:447-458.
[3] ASHLEY J,HOLLOWAY L E.Qualitative diagnosis of condition systems[J].Discrete Event Dynamic Systems,2004,14(4):395-412.
[4] HADJICOSTIS C N,VERGHESE G C.Monitoring discrete event systems using Petri net embeddings[J].Lecture Notes in Computer Science,1999,1639(1):188-208.
[5] CABASINO M P,GIUA A,LAFIRTYBE S,et al.Diagnosability analysis of unbounded Petri nets[C]//Proceeding of the 48th IEEE Conference on Decision and Control.Shanghai:IEEE Press,2009:1267-1272.
[6] GIUA A,SEATZU C.Fault detection for discrete event systems using Petri nets with unobserved transitions[C]//Proceeding of the 44th IEEE Conference on Decision and Control.Seville:IEEE Press,2005:6323-6328.
[7] GENC S,LAFORTUNE S.Distributed diagnosis of place-bordered Petri nets[J].IEEE Transactions on Automation Science and Engineering,2007,4(2):206-219.
[8] LEFEBVRE D,DELHERM C.Diagnosis of EDS with Petri net models[J].IEEE Transactions on Automation Science and Engineering,2007,4(1):114-118.
[9] YU R,HADJICOSTIS C N.Fault diagnosis in discrete event system modeled by partially observed Petri nets[J].Discrete Event Dynamic Systems,2009,19(4):551-575.
[10] CABASINO M P,GIUA A,POCCI M,et al.Discrete event diagnosis using labeled Petri nets: An application to manufacturing systems[J].Control Engineering Practice,2011,19(9):989-1001.
[11] CABASINO M P,GIUA A,SEATZU C.Diagnosis using labeled Petri nets with silent or undistinguishable fault event[J].IEEE Transactions on System, Man, and Cybernetics-Part A: Systems and Humans,2013,43(2):345-355.
[12] 郑永煌,田锋,李人厚,等.基于Petri网的液体火箭发动机启动过程实时在线故障诊断方法[J].信息与控制,2010,39(2):207-211.
[13] HASHIZUME S,YAJIMA T,KUWASHITA Y,et al.Integration of fault analysis and interlock controller synthesis for batch process[J].Chinese Journal of Chemical Engineering,2008,16(1):57-61.
相似文献/References:
[1]吴扬扬,陈锻生.一个多媒体数据库系统的时间同步控制机制[J].华侨大学学报(自然科学版),1999,20(1):100.[doi:10.11830/ISSN.1000-5013.1999.01.0100]
Wu Yangyang,Chen Duansheng.Mechanism of Time Synchronous Control in a Multimedia Database System[J].Journal of Huaqiao University(Natural Science),1999,20(4):100.[doi:10.11830/ISSN.1000-5013.1999.01.0100]
[2]黄彬,高诚辉.Internet的产品快速原型制造过程建模[J].华侨大学学报(自然科学版),2005,26(2):187.[doi:10.3969/j.issn.1000-5013.2005.02.020]
Huang Bin,Gao Chenghui.Internet-Based Process Modeling for Rapid Prototyping Manufacture of Product[J].Journal of Huaqiao University(Natural Science),2005,26(4):187.[doi:10.3969/j.issn.1000-5013.2005.02.020]
[3]陈俊杰,黄宜坚.利用关联维数进行液压阀故障诊断[J].华侨大学学报(自然科学版),2009,30(4):371.[doi:10.11830/ISSN.1000-5013.2009.04.0371]
CHEN Jun-jie,HUANG Yi-jian.The Fault Diagnosis of Hydraulic Valve Based on Correlation Dimension[J].Journal of Huaqiao University(Natural Science),2009,30(4):371.[doi:10.11830/ISSN.1000-5013.2009.04.0371]
[4]李志农,刘立州.分数阶经验模态分解方法在机械故障诊断中应用[J].华侨大学学报(自然科学版),2010,31(4):367.[doi:10.11830/ISSN.1000-5013.2010.04.0367]
LI Zhi-nong,LIU Li-zhou.Application of the Method of Fractional Empirical Mode Decomposition to Machine Fault Diagnosis[J].Journal of Huaqiao University(Natural Science),2010,31(4):367.[doi:10.11830/ISSN.1000-5013.2010.04.0367]
[5]叶剑虹,叶双.带抑制弧Petri网极小活标识的配置[J].华侨大学学报(自然科学版),2011,32(5):525.[doi:10.11830/ISSN.1000-5013.2011.05.0525]
YE Jian-hong,YE Shuang.Assignment of Minimal Live Marking for Petri Net with Inhibitor Arcs[J].Journal of Huaqiao University(Natural Science),2011,32(4):525.[doi:10.11830/ISSN.1000-5013.2011.05.0525]
[6]付宝英,王启志.改进型补偿模糊神经网络故障诊断系统[J].华侨大学学报(自然科学版),2012,33(1):1.[doi:10.11830/ISSN.1000-5013.2012.01.0001]
FU Bao-ying,WANG Qi-zhi.Study of Fault Diagnosis System Based on Improved Compensatory Fuzzy Neural Network[J].Journal of Huaqiao University(Natural Science),2012,33(4):1.[doi:10.11830/ISSN.1000-5013.2012.01.0001]
[7]齐鹏飞,罗继亮,陈雪琨.PLC程序形式化的设计与验证[J].华侨大学学报(自然科学版),2013,34(3):241.[doi:10.11830/ISSN.1000-5013.2013.03.0241]
QI Peng-fei,LUO Ji-liang,CHEN Xue-kun.Design and Verification on the PLC Program Based on Formal Methods[J].Journal of Huaqiao University(Natural Science),2013,34(4):241.[doi:10.11830/ISSN.1000-5013.2013.03.0241]
[8]朱明,李志农,何旭平,等.广义S变换在转子碰摩故障诊断中的应用[J].华侨大学学报(自然科学版),2014,35(2):127.[doi:10.11830/ISSN.1000-5013.2014.02.0127]
ZHU Ming,LI Zhi-nong,HE Xu-ping,et al.Application of Generalized S-Transformation in Rotor Rub-Impact Fault Diagnosis[J].Journal of Huaqiao University(Natural Science),2014,35(4):127.[doi:10.11830/ISSN.1000-5013.2014.02.0127]
[9]倪会娟,罗继亮.采用普通Petri网的自动化立体仓库系统的PLC程序设计[J].华侨大学学报(自然科学版),2014,35(2):146.[doi:10.11830/ISSN.1000-5013.2014.02.0146]
NI Hui-juan,LUO Ji-liang.PLC Program Design for Automated Storage and Retrieval Systems Based on Ordinary Petri Nets[J].Journal of Huaqiao University(Natural Science),2014,35(4):146.[doi:10.11830/ISSN.1000-5013.2014.02.0146]
[10]陈珑,黄颖坤,罗继亮.FPGA组合逻辑程序的Petri网建模方法[J].华侨大学学报(自然科学版),2015,36(1):29.[doi:10.11830/ISSN.1000-5013.2015.01.0029]
CHEN Long,HUANG Ying-kun,LUO Ji-liang.Modeling Method for FPGA Combinational Logic Program Based on Petri Net[J].Journal of Huaqiao University(Natural Science),2015,36(4):29.[doi:10.11830/ISSN.1000-5013.2015.01.0029]
[11]叶丹丹,罗继亮.利用Petri网特征结构的故障诊断方法[J].华侨大学学报(自然科学版),2015,36(预先出版):0.
YE Dan-dan,LUO Ji-liang.Method for Fault Diagnosis Based on Characteristic Structure of Petri Nets[J].Journal of Huaqiao University(Natural Science),2015,36(4):0.