[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ Skip to main content
Springer Nature Link
Log in

Colored Petri net model for significant reduction of invariants in flexible manufacturing systems

  • ORIGINAL ARTICLE
  • Published:
The International Journal of Advanced Manufacturing Technology Aims and scope Submit manuscript

Abstract

This study focuses on simplification of the Petri net model of a manufacturing system for reduction in the total number of elementary circuits to decrease the analysis time of systems during investigations. A flexible manufacturing system with a tool sharing environment has been developed and investigated using colored Petri nets. The proposed model is extended and implemented on large flexible manufacturing systems (FMSs) having multiple machines and tools. The main objective of this study is to reduce the resultant invariants, as the addition of parts, machines, and tools in black token Petri net models exponentially increases the resultant invariants. Various scenarios have been investigated and compared using the developed model. The structure of the developed colored Petri net (CPN) model allows grouping of the tools that reduces the total number of places in the model. Therefore, it is evident that the developed CPN model reduces the resultant invariant that results in reduced complexity of the system.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (United Kingdom)

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Haq IU (2009) Innovative configurable and collaborative approach to automation systems engineering for automotive powertrain assembly. Loughborough University

  2. Bohez ELJ (2004) A new generic timed Petri net model for design and performance analysis of a dual kanban FMS. Int J Prod Res 42(4):719–40

    Article  MATH  Google Scholar 

  3. Luggen WW (1991) Flexible manufacturing cells and systems. Prentice-Hall International Editions

  4. Garavel H (2015) Nested-unit petri nets: a structural means to increase efficiency and scalability of verification on elementary nets, in application and theory of petri nets and concurrency: 36th international conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, proceedings. In: R Devillers, A Valmari (eds) Springer International Publishing: Cham, pp. 179–199

  5. Baruwa OT, Piera MA, Guasch A. Deadlock-free scheduling method for flexible manufacturing systems based on timed colored Petri nets and anytime heuristic search. IEEE Trans Syst Man Cybern Syst 45(5):831–846

  6. Wang J, Du Y, Yu S (2015) Coloured logic Petri nets and analysis of their reachable trees. Enterp Inf Syst 9(8):900–919

    Article  Google Scholar 

  7. Franklin RJ, Prasad PSS (2012) Supply chain conflict detection with coloured petri nets. pp. 208–216

  8. Hu H, Liu Y, Yuan L (2016) Supervisor simplification in FMSs: comparative studies and new results using Petri nets. IEEE Trans Control Syst Technol 24(1):81–95

    Article  Google Scholar 

  9. Jensen K, Kristensen LM (2015) Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems. Commun ACM 58(6):61–70

    Article  Google Scholar 

  10. Mic L, Fat R, Letia T (2015) Control of flexible manufacturing systems. 2015. 58(3)

  11. Culea G, Cristea I, Puiu PG (2015) Modeling and analysis of processing flow in a flexible manufacturing system using synchronized Petri nets. Appl Mech Mater 809–810:1474–1479

    Article  Google Scholar 

  12. Arshad H, et al (2010) Virtual cutting tool management system for milling process. Int J Comput Sci Netw Secur 10(2)

  13. Wang G., Yan Y., Nakajima H., et al. A visualized cutting tool management pattern for flexible manufacturing systems. In: 2009 I.E. International Conference on Industrial Engineering and Engineering Management (IEEM 2009), 8-11 Dec. 2009. 2009. Piscataway, NJ, USA: IEEE

  14. Turkcan A, Akturk MS, Storer RH (2007) Due date and cost-based FMS loading, scheduling and tool management. Int J Prod Res 45(5):1183–1213

    Article  MATH  Google Scholar 

  15. Buyurgan N, Saygin C, Kilic SE (2004) Tool allocation in flexible manufacturing systems with tool alternatives. Robot Comput Integr Manuf 20(4):341–9

    Article  Google Scholar 

  16. Seeluangsawat R, Bohez ELJ (2004) Integration of JIT flexible manufacturing, assembly and disassembly system using Petri net approach. J Manuf Technol Manag 15(7):700–14

    Article  Google Scholar 

  17. Chen FF, Chen J (2003) Performance modelling and evaluation of dynamic tool allocation in flexible manufacturing systems using coloured Petri nets: an object-oriented approach. Int J Adv Manuf Technol 21(2):98–109

    Article  Google Scholar 

  18. Chen J, Chen FF (2002) FMS loading in a tool-shared environment with partially grouped machines. In: IEEE Proceedings of the Industrial Engineering Research Conference. Florida USA

  19. Akturk MS, Ozkan S (2001) Integrated scheduling and tool management in flexible manufacturing systems. Int J Prod Res 39(12):2697–2722

    Article  Google Scholar 

  20. Gebraeel NZ, Lawley MA (2001) Deadlock detection, prevention, and avoidance for automated tool sharing systems. IEEE Trans Robot Autom 17(3):342–356

    Article  Google Scholar 

  21. Rahimifard S, Newman ST (2000) A reactive multi-flow approach to the planning and control of flexible machining facilities. Int J Comput Integr Manuf 13(4):311–23

    Article  Google Scholar 

  22. Ranky PG, Ranky MF (2000) A dynamic operation control algorithm with multimedia objects for flexible manufacturing cells and systems. Int J Comput Integr Manuf 13(3):245–262

    Article  Google Scholar 

  23. Leung LC, Hui YV (2000) Dynamic management of cutting tools for flexible and quality machining. Int J Prod Res 38(14):3385–3401

    Article  MATH  Google Scholar 

  24. Tap M, Hewit JR, Meeran S (2000) An active tool-tracking system for increased productivity. Int J Prod Res 38(16):3889–3898

    Article  MATH  Google Scholar 

  25. Tsukada TK, Shin KG (1998) Distributed tool sharing in flexible manufacturing systems. IEEE Trans Robot Autom 14(3):379–389

    Article  Google Scholar 

  26. Xu Z, Randhawa S (1998) Evaluation of scheduling strategies for a dynamic job shop in a tool-shared, flexible manufacturing environment. Prod Plan Control 9(1):74–86

    Article  Google Scholar 

  27. Roh HK, Kim YD (1997) Due-date based loading and scheduling methods for a flexible manufacturing system with an automatic tool transporter. Int J Prod Res 35(11):2989–3004

    Article  MATH  Google Scholar 

  28. Kashyap AS, Khator SK (1996) Analysis of tool sharing in an FMS: a simulation study. Comput Ind Eng 30(1):137–145

    Article  Google Scholar 

  29. Tetzlaff UAW (1996) A queueing network model for flexible manufacturing systems with tool management. IIE Trans 28(4):309–317

    Article  Google Scholar 

  30. Amoako-Gyampah K, Meredith JR (1996) A simulation study of FMS tool allocation procedures. J Manuf Syst 15(6):419–431

    Article  Google Scholar 

  31. Atan TS, Pandit R (1996) Auxiliary tool allocation in flexible manufacturing systems. Eur J Oper Res 89(3):642–659

    Article  MATH  Google Scholar 

  32. Li XN, Cheung EHM, Chuah KB (1996) Increase the efficiency of an FMS by improving the tool scheduling strategies. J Mater Process Technol 61(1–2):213–218

    Article  Google Scholar 

  33. Rau KR, Chetty OVK (1996) Production planning of FMS under tool magazine constraints: a dynamic programming approach. Int J Adv Manuf Technol 11(5):366–371

    Article  Google Scholar 

  34. Macchiaroli R, Riemma S (1996) Clustering algorithms to optimize the tool handling system management in an FMS. Int J Flex Manuf Syst 8(2):183–201

    Article  MATH  Google Scholar 

  35. Grieco A et al (1995) Simulation of tool and part flow in FMSs. Int J Prod Res 33(3):643–658

    Article  MATH  Google Scholar 

  36. Barkaoui K, Ben-Abdallah I (1993) Modeling and performance evaluation of tool sharing management in FMS using stochastic Petri nets. In: Systems, man and cybernetics, 1993. ‘Systems engineering in the service of humans’, conference proceedings, international conference on 1993

Download references

Author information

Authors and Affiliations

  1. University of Engineering and Technology, Peshawar, Peshawar, KPK, Pakistan

    Shaukat Ali Shah, Kamran Shah, Izhar ul Haq, Khizar Azam & Shahzad Anwar

  2. Asian Institute of Technology, Bangkok, Pathumthani, Thailand

    Erik L. J. Bohez

Authors
  1. Shaukat Ali Shah
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Erik L. J. Bohez
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kamran Shah
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Izhar ul Haq
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Khizar Azam
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Shahzad Anwar
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Kamran Shah.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Shah, S.A., Bohez, E.L.J., Shah, K. et al. Colored Petri net model for significant reduction of invariants in flexible manufacturing systems. Int J Adv Manuf Technol 88, 1775–1787 (2017). https://doi.org/10.1007/s00170-016-8864-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00170-016-8864-1

Keywords