{'fraction_non_alphanumeric': 0.014937759336099586, 'fraction_numerical': 0.0, 'mean_word_length': 5.8522727272727275, '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}}
Application analysis of petri network modeling in lower extremity auxiliary rehabilitation control system

At present, the population of patients with physical movement disorders is gradually expanding. In clinical practice, lower limb rehabilitation training machine is widely used in auxiliary patient rehabilitation training, and lower limb auxiliary rehabilitation control system is an important priority in auxiliary rehabilitation training for patients with limb movement disorders. The mathematical modeling based on Petri network is widely used in discrete event systems with synchronization, concurrency, conflict and other characteristics. First, this paper expounds the lower limb rehabilitation, four different types of Petri network models, and then uses the basic Petri network to build a model for this control strategy. Finally, according to the structural characteristics of the established Petri net model, the method of establishing a reachability tree is selected to analyze the accessibility of the model, which clearly and intuitively reflects all the states that the model can reach, and provides a theoretical basis for the on-demand auxiliary control of lower limb rehabilitation.