{'fraction_non_alphanumeric': 0.018223234624145785, 'fraction_numerical': 0.0, 'mean_word_length': 5.285714285714286, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
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.