caa a22 4500 475798341 CHVBK 20180406123730.0 cr unu---uuuuu 170329e20000601xx s 000 0 eng 10.1007/s001700070058 doi (NATIONALLICENCE)springer-10.1007/s001700070058 Using a Petri-Net-Based Approach for the Real-Time Supervisory Control of an Experimental Manufacturing System [Elektronische Daten] [M. Uzam, H. Jones, I. Yücel] A new Petri-net-based design technique, called the inhibitor are method, for the synthesis of compiled supervisors for discrete event systems is used to solve a forbidden state problem in an experimental manufacturing system. The technique used offers the following advantages: 1. The closed-loop (i.e. controlled) behaviours of the systems are non-blocking and do not contradict the forbidden state specifications. 2. The closed-loop behaviours of the systems are maximally permissive within the specifications. The supervisors to be synthesised consist of a controlled automation Petri net (APN) model of the syetem. Automation Petri nets include the following extensions to the ordinary Petri-net framework; sensor readings as firing conditions at transitions and actions assigned to places. Ladder logic diagram (LLD) code is used to implement the superviosors on programmable logic controllers (PLC). It is important to note that the supervisors obtained are correct by construction, therefore there is no need for verification. This paper particularly shows the applicability of previous results [1] to low-level real-time control where the role of the supervisor is to arrange low-level interaction between the control devices, such as motors, actuators, etc. This is done by considering an experimental manufacturing system.: Springer-Verlag London Limited, 2000 Keywords:Discrete event systems (DES) nationallicence Ladder logic diagrams (LLD) nationallicence Manufacturing systems nationallicence Petri nets nationallicence Programmable logic controllers (PLC) nationallicence Supervisory control nationallicence Uzam M. Niğde Üniversitesi, Mühendislik-Mimarlik Fakültesi, Elektrik-Elektronik Mühendisliği Bölümü , Niğde, Turkey, TR aut Jones H. Department of Aeronautical, Mechanical and Manufacturing Engineering, University of Salford, Salford, UK, GB aut Yücel I. Niğde Üniversitesi, Mühendislik-Mimarlik Fakültesi, Elektrik-Elektronik Mühendisliği Bölümü , Niğde, Turkey, TR aut https://doi.org/10.1007/s001700070058 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s001700070058 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Uzam M. Niğde Üniversitesi, Mühendislik-Mimarlik Fakültesi, Elektrik-Elektronik Mühendisliği Bölümü , Niğde, Turkey, TR aut NATIONALLICENCE 700 1- Jones H. Department of Aeronautical, Mechanical and Manufacturing Engineering, University of Salford, Salford, UK, GB aut NATIONALLICENCE 700 1- Yücel I. Niğde Üniversitesi, Mühendislik-Mimarlik Fakültesi, Elektrik-Elektronik Mühendisliği Bölümü , Niğde, Turkey, TR aut Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer