{'fraction_non_alphanumeric': 0.022900763358778626, 'fraction_numerical': 0.0, 'mean_word_length': 5.358208955223881, '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}}
A New Petri-Net-Based Synthesis Technique for Supervisory Control of Discrete Event Systems

A new Petri-net-based top-down synthesis technique for supervisory control of Discrete Event Systems (DES) is proposed to solve the forbidden state problem. The supervisors obtained are compiled supervisors, whose control policy is represented as a net structure, as opposed to mapping supervisors, whose control policy is computed as a feedback function of the marking of the system. The compiled supervisors obtained by using the technique proposed in this paper are both nonblocking and maximally permissive. The supervisors to be synthesised consist of a controlled Automation Petri Net model of the system. Automation Petri Nets (APN) include the following extensions to the ordinary Petri net framework: sensor readings as ring conditions at transitions and actions assigned to places. Ladder logic diagram (LLD) code is used to implement the supervisors on programmable logic controllers (PLC). It is important to note that the supervisors obtained are correct by construction; therefore there is no need for verication. The supervisory control synthesis technique proposed in this paper is applicable to both high-level discrete event control, where the role of the supervisor is to coordinate control of in the discrete manufacturing sense machines, workcells, etc., and low-level discrete event control, where the role of the supervisor is to arrange low-level interaction between control devices, such as motors and actuators. In this paper, the applicability of the proposed technique to low-level discrete event control is demonstrated by considering an experimental discrete manufacturing system.