Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions

Basit Öğe Kaydı
dc.authorid0000-0001-9625-5523
dc.contributor.authorUzam, M
dc.date.accessioned2019-08-01T13:38:39Z
dc.date.available2019-08-01T13:38:39Z
dc.date.issued2004
dc.departmentNiğde ÖHÜ
dc.description.abstractThis paper describes a method for constructing a Petri-net-based controller for a discrete event system (DES) modelled by a Petri net. Assuming that an uncontrolled Petri net model of the DES and a set of forbidden state specifications are given, feedback control elements, i.e. a set of places and related transitions, with initial marking, are computed using the theory of regions, which is a formal synthesis technique for deriving Petri nets from automaton-based models. When feedback control elements are added to the uncontrolled Petri net model, the controlled (closed-loop) Petri net model of the system is obtained. The controlled Petri net model obtained is maximally permissive while guaranteeing that forbidden states do not occur. The proposed method is computationally efficient and does not suffer from the state explosion problem. Two examples are provided to show the applicability of the proposed method.
dc.identifier.doi10.1007/s00170-003-1715-x
dc.identifier.endpage69
dc.identifier.issn0268-3768
dc.identifier.issue45323
dc.identifier.scopus2-s2.0-3843054162
dc.identifier.scopusqualityQ1
dc.identifier.startpage48
dc.identifier.urihttps://dx.doi.org/10.1007/s00170-003-1715-x
dc.identifier.urihttps://hdl.handle.net/11480/5654
dc.identifier.volume24
dc.identifier.wosWOS:000222862800007
dc.identifier.wosqualityQ3
dc.indekslendigikaynakWeb of Science
dc.indekslendigikaynakScopus
dc.institutionauthorUzam, M
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
dc.subjectPetri nets
dc.subjectsupervisory control
dc.subjectsynthesis methods
dc.subjectmanufacturing processes
dc.titleSynthesis of feedback control elements for discrete event systems using Petri net models and theory of regions
dc.typeArticle

Dosyalar

Koleksiyon

WoS İndeksli Yayınlar Koleksiyonu
Scopus İndeksli Yayınlar Koleksiyonu