文章基本信息

标题：Elementary Siphons of Petri Nets and Deadlock Control in FMS
本地全文：下载
作者：Mowafak Hassan Abdul-Hussin
期刊名称：Journal of Computer and Communications
印刷版ISSN：2327-5219
电子版ISSN：2327-5227
出版年度：2015
卷号：03
期号：07
页码：1-12
DOI：10.4236/jcc.2015.37001
语种：English
出版社：Scientific Research Publishing
摘要：For responsiveness, in the Petri nets theory framework deadlock prevention policies based elementary siphons control are often utilized to deal with deadlocks caused by the sharing of resources in flexible manufacturing system (FMS) which is developing the theory of efficient strict minimal siphons of an S3PR. Analyzer of Petri net models and their P-invariant analysis, and deadlock control are presented as tools for modelling, efficiency structure analysis, control, and investigation of the FMSs when different policies can be implemented for the deadlock prevention. We are to show an effective deadlock prevention policy of a special class of Petri nets namely elementary siphons. As well, both structural analysis and reachability graph analysis and simulation are used for analysis and control of Petri nets. This work is successfully applied Petri nets to deadlock analysis using the concept of elementary siphons, for design of supervisors of some supervisory control problems of FMS and simulation of Petri net tool with MATLAB.
关键词：Deadlock Prevention; Siphon; Petri Net; FMSs; PN-Toolbox V. 2.3; S³PR