{'fraction_non_alphanumeric': 0.019305019305019305, 'fraction_numerical': 0.0, 'mean_word_length': 5.125984251968504, '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}}
Metodologia e ferramenta de apoio ao teste de não-conflito no controle modular de sistemas a eventos discretos

This paper presents contributions on the use of abstractions in modular control of discrete event systems. First, the W ○ T-strategy is presented for the construction of abstractions for the nonconflict test of local modular supervisors. Second, an efficient computational tool is introduced for the problem of verifying if given abstractions of modular supervisors satisfy the so-called observer property (OP); the observer property plays an important role in the validity of the nonconflict test over abstractions. Finally, this new computational tool is used to validate the W ○ T strategy in the context of a case study of a comprehensive manufacturing example.