参考文献/References:
[1] 李雷.基于产生式规则的变压器故障诊断专家系统[D].西安:西安电子科技大学,2008:9-52.DOI:10.7666/d.y1431429.
[2] 陈帅均.基于专家系统的飞行器评估系统研究[D].北京:中国科学院大学,2014:66-82.
[3] PAN Xinglong, HE Guo, ZHANG Chaojie. Fault diagnosis of relay control circuit based on discrete event system[C]//International Workshop on Intelligent Systems and Applications.Wuhan:IEEE Press,2009:1-4.DOI:10.1109/IWISA.2009.5072866.
[4] KILIC E,OZGONENEL O,ULUTAS M.Fault identification in transformers through a fuzzy discrete event system approach[C]//IEEE International Conference on Fuzzy Systems.London:IEEE Press,2007:1-6.DOI:10.1109/FUZZY.2007.4295575.
[5] CHEN S M.Weighted fuzzy reasoning using weighted fuzzy Petri nets[J].IEEE Transactions on Knowledge and Data Engineering,2002,14(2):386-397.DOI:10.1109/69.991723.
[6] 彭翔,王飞.有限状态自动机产生式推理的一般性建模方法[J].自动化仪表,2014,34(5):9-12.DOI:10.3969/j.issn.1000-0380.2014.05.004.
[7] 杨建维.基于模糊Petri网的电网故障诊断方法研究[D].成都:西南交通大学,2011:37-66.DOI:10.7666/d.y2109084.
[8] 李永明.格值自动机与语言[J].陕西师范大学学报(自然科学版),2003,13(4):1-6.DOI:10.3321/j.issn:1672-4291.2003.04.001.
[9] HALAMISH S,KUPFERMAN O.Minimizing deterministic lattice automata[C]//Foundations of Software Science and Computational Structures.Berlin:Springer Berlin Heidelberg,2011:199-213.DOI:10.1145/2631915.
[10] WARE S,MALIK R.Conflict-preserving abstraction of discrete event systems using annotated automata[J].Discrete Event Dynamic Systems,2012,22(4):451-477.DOI:10.1007/s10626-012-0133-3.
[11] 朱少民.软件测试方法和技术[M].北京:清华大学出版社,2005:70-76.