The computation of liveness enforcing supervisors from submodels of a Petri net model of FMSs

Author

Uzam, Murat ; Zakariyya, Rabiu Saleh ; Zhiwu Li ; Gelen, Gokhan

Author_Institution

Elektrik-Elektron. Muhendisligi Bolumu, Meliksah Univ. Muhendislik-Mimarlik Fak., Kayseri, Turkey

fYear

2013

fDate

22-25 Oct. 2013

Firstpage

1

Lastpage

4

Abstract

In this paper, a method is proposed for the computation of liveness enforcing supervisors (LES) from submodels of a Petri net model (PNM) of a flexible manufacturing system (FMS). Given the PNM of an FMS prone to deadlock, it aims to synthesize a live controlled Petri net. The PNM of the system is divided into small connected subnets (submodels). Each connected subnet prone to deadlock is then used to compute the LES for the original PNM. An example FMS deadlock problem from the literature is used to illustrate the applicability of the proposed method.

Keywords

Petri nets; flexible manufacturing systems; FMS; LES; PNM; Petri net model; deadlock prevention; flexible manufacturing system; live controlled Petri net; liveness enforcing supervisor; Computational modeling; Electronic mail; Flexible manufacturing systems; Monitoring; Petri nets; System recovery; Tin; Flexible manufacturing systems (FMS); Petri net model (PNM); deadlock prevention; liveness enforcing supervisor (LES);

fLanguage

English

Publisher

ieee

Conference_Titel

TENCON 2013 - 2013 IEEE Region 10 Conference (31194)

Conference_Location

Xi´an

ISSN

2159-3442

Print_ISBN

978-1-4799-2825-5

Type

conf

DOI

10.1109/TENCON.2013.6718803

Filename

6718803