Elementary Siphons of Petri Nets and Deadlock Control in FMS

• 作者: Mowafak Hassan Abdul-Hussin
• 来源期刊: 电脑和通信(英文)
• 学科: 医学
• 关键词: DEADLOCK Prevention SIPHON PETRI Net FMSs PN-Toolbox V. 2.3 S3PR
• 年，卷（期）: 2015,（7）
• 页码范围: 1-12
• 页数: 12页
• 分类号: R73

摘要

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.