GHARBI A,KHALGUI M,BEN A S,et al.Optimal model checking of safe control embedded software components[C]//15th Conference on Emerging Technologies and Factory Automation.Bilbao:IEEE Press,2010:1-8.
[5]
PATIL S,VYATKIN V,SOROURI M,et al.Formal verification of intelligent mechatronic systems with decentralized control logic[C]//17th Conference on ETFA.Krakow:IEEE Press,2012:1-7.
[6]
古天龙.组合逻辑电路的Petri网仿真分析[J].系统仿真学报,1994,6(2):32-36.
[7]
TSAI J I,TENG C C,LEE C H.Test generation and site of fault for combinational circuits using logic Petri-nets [C]//International Conference on Systems Man and Cybernetics.Taipei:IEEE Press,2006:8-11.
BUKOWIEC A,ADAMSKI M.Synthesis of Petri nets into FPGA with operation flexible memories[C]//15th International Symposium on Design and Diagnostics of Electronic Circuits and Systems.Tallinn:IEEE Press,2012:16-21.
[10]
KOKASH N,ARBAB F.Formal design and verification of long-running transactions with extensible coordination tools[J].IEEE Transactions on Services Computing,2013,6(2):186-200.
[11]
OLCOZ S,COLOM J M.A Petri net approach for the analysis of VHDL descriptions[M].Berlin Heidelberg:Springer,1993:15-26.
[12]
WALTER D,LITTLE S,SEEGMILLER N,et al.Symbolic model checking of analog/mixed-signal circuits[C]//Asia and South Pacific Design Automation Conference.Yokohama:IEEE Press,2007:316-323.
[13]
MOUTINHO F,GOMES L.State space generation algorithm for gals systems modeled by IOPT Petri nets[C]//37th Annual Conference on Industrial Electronics Society.Melbourne,VIC:IEEE Press,2011:7-10.
[14]
藩松,黄继业.EDA技术与VHDL[M].北京:清华大学出版社,2009:42-47.
[15]
LUO Ji-liang,NONAMI K.Approach for transforming linear constraints on Petri nets[J].IEEE Transactions on Automatic Control,2011,56(11):2751-2765.
[16]
DAVID R,ALIA H.Discrete continuous and hybrid Petri nets[M].Berlin Heidelberg:Springer,2005:24-40.
[17]
SCHWARICK M,ROHR C,HEINER M.MARCIE-model checking and reachability analysis done efficiently[C]//8th Conference on Quantitative Evaluation of Systems.Aachen:IEEE Press,2011:91-100.
[18]
KHALGUI M,MOSBAHI O,LI Z W,et al.Reconfigurable multiagent embedded control systems: From modeling to implementation[J].IEEE Transactions on Computers,2011,60(4):538-551.
