{'fraction_non_alphanumeric': 0.010033444816053512, 'fraction_numerical': 0.0, 'mean_word_length': 4.930693069306931, '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 Nets: A Tool For Representing Concurrent Activities In Space Station Applications

With the complexities that are likely to be found in control processes aboard the Space Station, it is appropriate to identify a tool for the analysis of these structures at an early stage in the design. The interest in Petri nets for the representation of concurrent structures has grown considerably in the past few years. Introduced here is a robust notation for the machine representation of Petri nets. The notation has been used successfully in the Control Flow and Data Flow representations of systems.