CFP last date
22 April 2024
Reseach Article

Flexible Manufacturing System Design and Optimization using Petri Net-based Elementary Siphons

by Mowafak Hassan Abdul-hussin
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 119 - Number 22
Year of Publication: 2015
Authors: Mowafak Hassan Abdul-hussin
10.5120/21369-4408

Mowafak Hassan Abdul-hussin . Flexible Manufacturing System Design and Optimization using Petri Net-based Elementary Siphons. International Journal of Computer Applications. 119, 22 ( June 2015), 19-26. DOI=10.5120/21369-4408

@article{ 10.5120/21369-4408,
author = { Mowafak Hassan Abdul-hussin },
title = { Flexible Manufacturing System Design and Optimization using Petri Net-based Elementary Siphons },
journal = { International Journal of Computer Applications },
issue_date = { June 2015 },
volume = { 119 },
number = { 22 },
month = { June },
year = { 2015 },
issn = { 0975-8887 },
pages = { 19-26 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume119/number22/21369-4408/ },
doi = { 10.5120/21369-4408 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T23:04:45.300469+05:30
%A Mowafak Hassan Abdul-hussin
%T Flexible Manufacturing System Design and Optimization using Petri Net-based Elementary Siphons
%J International Journal of Computer Applications
%@ 0975-8887
%V 119
%N 22
%P 19-26
%D 2015
%I Foundation of Computer Science (FCS), NY, USA
Abstract

A computer simulation system, which is based-siphon Petri net for control of concurrent processes of the reusable resources, that is mainly aimed to provide guidelines for control and management engineering of flexible manufacturing systems (FMSs) is presented in this work. We present an important technique for the analysis of siphon Petri net (PN) based on structural analysis, control, and simulation of the reachability tree used PN-tool with MATLAB. We are representing the deadlock prevention problem, which can be solved using the concept of Petri nets based siphons. Structural deadlock prevention is presenting for supervisors a class of FMS in simulating the system behaviour and elementary siphons control rule's inference. We are recovering the satiation of the liveness system from the consequence of analysis net by adding control place (monitor). Our experiment, a few monitors is added to the net for every minimal siphon taken from the consequence of the siphon in order to be liveness (i. e. deadlock-freeness), proposing extensions of the structural analysis of Petri nets, where deadlocks are regarding to the unmarked siphons. The siphon is recognized in the structural analysis of PN and can be used to control deadlocks in resource systems modelled.

References
  1. Abdul-Hussin Mowafak (2015), "A Structural Analysis of Petri Nets-Based Siphons Supervisors of Flexible Manufacturing Systems", Published in: Proc. IEEE-UKSim-AMSS, 17th International Conference on Computer Modelling and Simulation, Cambridge University, March 2015, pp. 235-241.
  2. Abdul-Hussin Mowafak (2015), "Design of a Petri Net Based Deadlock Prevention Policy Supervisor for S3PR", in Proc. IEEE-ISMS2015, 6th Intentional Conference on Intelligent Systems, Modelling and Simulation, Kuala Lumpur, Malaysia, pp. 46-52.
  3. Abdul-Hussin Mowafak (2014)," Siphons and Traps Structural Analysis Techniques Behaviour of a Petri Nets", In: World Symp. on Computer Networks and Information Security, Int. Conference on Advances in Eng. & Tech. (ICAET'2014), Hammamet, Tunisia, pp. 186-193.
  4. Abdul-Hussin Mowafak, (2014) ," Petri Nets approach to simulate and control of Flexible Manufacturing Systems", In: World Congress on E-learning, Education and Computer Science International Conference on Advanced Studies in Computer Science and Engin. , (ICASCSE'2014), Hammamet, Tunisia, pages 75-85.
  5. Mahulea, C. , M. H. et al. (2003). " Home Page of the Petri Net" PETRI NET Tool-box in MATLAB version 2. 3, http://www. ac. tuiasi. ro/pntool
  6. Banaszak, Z. , and Mowafak Abdul-Hussin (1988), "Petri net approach to automatic real-time program synthesis", In: Control and Cybernetics, Vol. 17, No. 4, pag. 361-375, Poland
  7. Banaszak, Z. , and Mowafak Abdul-Hussin (1999)," Planning of Robots Cooperation: Automatic Modelling and Control", In: Engineering and Technology Journal, Published by University of Technology, Baghdad, Vol. 18, No. 1, pages 42- 65.
  8. Ezpeleta. J; J. M. Colom, et al. , (1995)," A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. on Robotics and Automation, vol. 11, n. 2, pp. 173-184.
  9. Li Z. W. , Zhou M. C. , (2004), " Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems", IEEE Transactions on System Man.
  10. Li Z. W. and M. C. Zhou, (2008),"Control of elementary and dependent siphons in Petri nets and their application," IEEE Trans. Syst. , Man, Cybernetics Part A, System, Humans, vol. 38, no. 1, pp. 133–148.
  11. Huang Y. S. and M. D. Jeng,(2002)"An algorithm of deadlock prevention for flexible manufacturing systems," in Proc. IEEE Int. Conf. Syst. , Man, and Cybern. , Hammamet, Tunisia, 2002, pp. 168–173.
  12. Wang ShouGuang, MengChu Zhou, et. al. (2015)," Design of a Maximally Permissive Liveness-Enforcing Supervisor with Reduced Complexity For Automated Manufacturing Systems", Asian Journal of Control, Vol. 17, No. 1, pp. 190-201.
  13. Colom, J. M. , (2003), " The Resource Allocation Problem in Flexible Manufacturing Systems Extended Abstract", In W. van der Aalst and E. Best, editors, Application and Theory of Petri Nets 2003, ICATPN'2003, Lecture Notes in Computer Sci. , vol. 2679, pp. 23-35, Springer-Verlag.
Index Terms

Computer Science
Information Sciences

Keywords

Petri net Structural analysis Minimal siphons S3PR Reachability analysis FMSs Petri Net-Toolbox V. 2. 3