Using a Petri-net-based approach for the real-time supervisory control of an experimental manufacturing system

dc.authorid0000-0001-9625-5523
dc.contributor.authorUzam, M
dc.contributor.authorJones, AH
dc.contributor.authorYucel, I
dc.date.accessioned2019-08-01T13:38:39Z
dc.date.available2019-08-01T13:38:39Z
dc.date.issued2000
dc.departmentNiğde ÖHÜ
dc.description.abstractA new Petri-net-based design technique, called the inhibitor arc 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 system. 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 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 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.
dc.identifier.doi10.1007/s001700070058
dc.identifier.endpage515
dc.identifier.issn0268-3768
dc.identifier.issue7
dc.identifier.scopus2-s2.0-0033686954
dc.identifier.scopusqualityQ1
dc.identifier.startpage498
dc.identifier.urihttps://dx.doi.org/10.1007/s001700070058
dc.identifier.urihttps://hdl.handle.net/11480/5781
dc.identifier.volume16
dc.identifier.wosWOS:000088038700006
dc.identifier.wosqualityQ2
dc.indekslendigikaynakWeb of Science
dc.indekslendigikaynakScopus
dc.institutionauthor[0-Belirlenecek]
dc.language.isoen
dc.publisherSPRINGER LONDON LTD
dc.relation.ispartofINTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı
dc.rightsinfo:eu-repo/semantics/closedAccess
dc.subjectdiscrete event systems (DES)
dc.subjectladder logic diagrams (LLD)
dc.subjectmanufacturing systems
dc.subjectPetri nets
dc.subjectprogrammable logic controllers (PLC)
dc.subjectsupervisory control
dc.titleUsing a Petri-net-based approach for the real-time supervisory control of an experimental manufacturing system
dc.typeArticle

Dosyalar