An S4PR class petri net supervisor for manufacturing system

被引：0
作者：
Abdu-Hussin M.H. [1 ]
机构：
[1] Department of Communication Engineering, University of Technology
来源：
Abdu-Hussin, Mowafak H. (mow_abdul2007@yahoo.com) | 1600年 / UK Simulation Society, Clifton Lane, Nottingham, NG11 8NS, United Kingdom卷 / 17期
关键词：
FMS; Petri net; S[!sup]4[!/sup]PR; Simulation; Siphons;
D O I：
10.5013/IJSSST.a.17.33.31
中图分类号：
学科分类号：
摘要：
Petri Nets are a family of formalisms that allow to effectively model manufacturing systems. The experimental approach method is provided to ensure formally in elementary siphons to distinguish deadlock conditions for a class in terms of generalized Petri nets, namely S4PR. A siphon is a kind of special structural objects of a Petri net and plays an important role in synthesizing a live Petri net controller of flexible manufacturing systems FMS. An FMS corresponds to a class of concurrent systems called Resource Allocation Systems (RASs). The application of Petri Nets (PNs) in RASs is an active research field devoted to defining and exploits different subclasses of Petri Nets allowing modeling the widest set of RAS. A monitor is added for a derived minimal siphon such that it is max-controlled if it is elementary with respect to the siphons that have been derived. Simulation PN to the structural analysis and reachability graph analysis are employed to synthesize and control of FMS. An example is used to illustrate this method. © 2016, UK Simulation Society. All rights reserved.
引用
收藏
页码：31.1 / 31.11
相关论文
共 36 条
  • [1] Abdul-Hussin M.H., Elementary Siphons of Petri Nets and Deadlock Control in FMS, Scientific Research Publishing,J. Computer & Communications, 3, pp. 1-12, (2015)
  • [2] Abdul-Hussin M.H., Design of a Petri Net Based Deadlock Prevention Policy Supervisor for S3PR, Proc. IEEE-ISMS2015, 6Th Int. Conf. Intelligent Systems, pp. 46-52, (2015)
  • [3] Abdul-Hussin M.H., Synchronization Competitive Processes of Flexible Manufacturing Systems Using Siphons Petri Net, Proc. IEEE 5Th National Symposium on Information Technology: Towards New Smart World 2015, pp. 1-6
  • [4] Abdallah I.B., Elmaraghy H.A., Deadlock prevention and avoidance in FMS: A Petri net based approach, Int. J. Adv. Manuf. Tech, 14, 10, pp. 704-715, (1998)
  • [5] Barkaoui K., Pradat-Peyre J.F., On liveness and controlled siphons in Petri nets, Application and Theory of Petri Nets 1996: 17Th Int. Conf. Osaka, Japan, 1996 Proc, 1091, pp. 57-72
  • [6] Cano E.E., Rovetto C.A., Colom J.M., On the Computation of the Minimal Siphons of S<sup>4</sup>PR Nets from a Generating Family of Siphons, In: Emerging Technologies and Factory Automation (ETFA), pp. 1-8, (2010)
  • [7] Chu F., Xie X.L., Deadlock analysis of Petri nets using siphons and mathematical programming, IEEE Trans. on Robotics and Automation, 13, 6, pp. 793-804, (1997)
  • [8] Chao D.Y., Fewer Monitors and More Efficient Controllability for Deadlock Control in S3PGR2 (Systems of Simple Sequential Processes with General Resource) Requirements, Computer Journal, (British Computer Society), 53, 10, pp. 1783-1798, (2010)
  • [9] Chao D.Y., Weighted Characteristic P-vector and Deadlock Control of WS3PR, J. of Info. Sci. and Engi, 26, pp. 1121-1136, (2010)
  • [10] Chen Y.F., Li Z.W., Barkaoui K., Et al., Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs, IEEE Trans. Syst., Man, Cybern. A, Syst., Hu, 99, pp. 1-16, (2016)
1234