Petri Based Formal Verification Of Data Session Transmission For Lighting Control System

摘要：

　　In this paper,traditional data transmission strategy of lighting control system is compared.Defects are analyzed.Through Petri based formal verification,the Petri model of SDT is built.Rationality of the model and SDT is validated,which proves that SDT is reachable.Reliability and circulation characteristics of the protocol are also proved.

关键词： Petri Unicast SDT Llighting Control Protocol

作者: Jiang Yujian Jiang Wang Ren hui

作者单位: School of IE,Communication University of China,Beijing,100024,China

会议类型: 国际会议

会议名称: 2013 2nd international Conference on Opto-Electronics Engineering and Materials Eesearch(2013第二届光电工程与材料研究国际会议)(OEMR2013)

会议地点: 郑州

会议语种:英文

页码: 209-212

在线出版日期: 2013-10-19（万方平台首次上网日期，不代表论文的发表时间）