Using a Petri-Net-Based Approach for the Real-Time Supervisory Control of an Experimental Manufacturing System |
| |
Authors: | M Uzam H Jones I Yücel |
| |
Affiliation: | Ni?de üniversitesi, Mühendislik-Mimarlik Fakültesi, Elektrik-Elektronik Mühendisli?i B?lümü , Ni?de, Turkey, TR Department of Aeronautical, Mechanical and Manufacturing Engineering, University of Salford, Salford, UK, GB
|
| |
Abstract: | 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. |
| |
Keywords: | :Discrete event systems (DES) Ladder logic diagrams (LLD) Manufacturing systems Petri nets Programmable logic controllers (PLC) Supervisory control |
本文献已被 SpringerLink 等数据库收录! |
|