Modular modelling and performance evaluation of manufacturing systems using Max-Plus Algebra

International Journal of Industrial and Systems Engineering

Volumn 4, Issue 5, 2009, Pages 577-596

  Reddy, Y P ^a   Janardhana, Ranga G ^b   Kun, Kim S ^c  

^a SINHGAD COLLEGE OF ENGINEERING   (India)

^b JAWAHARLAL NEHRU TECHNOLOGICAL UNIVERSITY   (India)

^c Hoseo University   (South Korea)

Author keywords

Flow time; Max plus algebra; Modular production systems; P Karp's theorem; P TEG; Place timed event graph

Indexed keywords

ALGEBRA; DISCRETE EVENT SIMULATION; FLOW GRAPHS;

DISASSEMBLY SYSTEMS; FLOW-TIME; MAX-PLUS ALGEBRA; MODELLING METHODOLOGY; MODULAR MODELLING; MODULAR PRODUCTION SYSTEM; SERIAL PRODUCTION SYSTEM; TIMED EVENT GRAPHS;

MANUFACTURE;

EID: 64049104648     PISSN: 17485037     EISSN: 17485045     Source Type: Journal    
DOI: 10.1504/IJISE.2009.024159     Document Type: Article

References (36)

1. Allam, M. and Alla, H. (1998) 'Modeling and simulation of an electronic component manufacturing system using hybrid petri nets', IEEE Transactions on Semiconductor Manufacturing, Vol. 11, No. 3, pp.374-383.
2. Baccelli, F., Cohen, G., Olsder, G. and Quadrat, J. (1992) Synchronization and Linearity: An Algebra for Discrete Event Systems, Wiley, New York.
3. Bozer, Y.A. and Hsieh, Y.J. (2005) 'Throughput performance analysis and machine layout for discrete-space closed-loop conveyors', IIE Transactions, Vol. 37, No. 1, pp.77-89.
4. Braker, J.G. and Olsder, G.J. (1993) 'The power algorithm in max algebra', Linear Algebra and its Applications, Vol. 182, pp.67-89.
5. Cohen, G. (2006) 'A tour of systems with the max-plus flavor', in Commault, C. and Marchand, N. (Eds.): Lecture Notes in Control and Information Sciences (Positive Systems), Vol. 341, Springer-Verlag, Berlin, pp.19-24.
6. Cohen, G., Gaubert, S. and Quadrat, J. (1999) 'Max-plus algebra and system theory: Where we are and where to go now', Annual Reviews in Control, Vol. 23, pp.207-219.
7. Dai, H. and Sun, Y. (2003) 'An algebraic model for performance evaluation of timed event multigraphs', IEEE Transactions on Automatic Control, Vol. 48, No. 7, pp.1227-1230.
8. David, R. and Alla, H. (2005) Discrete, Continuous and Hybrid Petri Nets, Springer-Verlag, Berlin Heidelberg, Germany.
9. Di Febbraro, A., Minciardi, R., Parodi, G., Prati, A., Profumo, M. and Sacone, S. (1994) 'Performance optimization in manufacturing systems by use of max-plus algebraic techniques', Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Vol. 4, pp.1995-2001.
10. Dubois, D. and Stecke, K.E. (1990) 'Dynamic analysis of repetitive decision-free discrete-event processes: The algebra of timed marked graphs and algorithmic issues', Annals of Operations Research, Vol. 26, No. 1, pp.151-193.
11. Endsley, E.W., Almeida, E.E. and Tilbury, D.M. (2006) 'Modular finite state machines: Development and application to reconfigurable manufacturing cell controller generation' Control Engineering Practice, Vol. 14, No. 10, pp.1127-1142.
12. Gaubert, S. (1995) 'Performance evaluation of (max, +) automata', IEEE Transactions on Automatic Control, Vol. 40, No. 12, pp.2014-2025.
13. Gaubert, S. and Max Plus (1997) 'Methods and applications of (max, +) linear algebra', in Reischuk, R. and Morvan, M. (Eds.): Lecture Notes in Computer Science (STACS'97), Vol. 1200, Springer-Verlag, Lubeck, Germany, pp.261-282.
14. Gershwin, S.B. and Werner, L.M. (2007) 'An approximate analytical method for evaluating the performance of closed-loop flow systems with unreliable machines and finite buffers', International Journal of Production Research, Vol. 45, No. 14, pp.3085-3111.
15. Giua, A. and Seatzu, C. (2007) 'A systems theory view of Petri nets', in Bonivento, C. (Ed.): Lecture Notes in Control and Information Sciences (Advances in Control Theory and Applications), Vol.353, Springer-Verlag, Berlin/Heidelberg, pp.99-127.
16. Hruz, B. and Zhou, M.C. (2007) Modeling and Control of Discrete Event Dynamic Systems with Petri Nets and other Tool, Springer-Verlag London Limited, England.
17. Jain, V., Wadhwa, S. and Deshmukh, S.G. (2006) 'Modeling and analysis of supply chain dynamics: A high intelligent time (HIT) petri net based approach', International Journal of Industrial and Systems Engineering, Vol. 1, Nos. 1-2, pp.59-86.
18. Jang-Kun, L. and Ouajdi, K. (2006) 'Scheduling analysis of FMS: An unfolding timed Petri nets approach', Mathematics and Computers in Simulation, Vol. 70, Nos. 5-6, pp.419-432.
19. Jean Proth, M. and Xie, X. (1996) Petri Nets - A Tool for Design and Management of Manufacturing Systems, John-Wiley & Sons Ltd, Chichester, England.
20. Kaula, R. (1998) 'A modular approach towards flexible manufacturing', Integrated Manufacturing Systems, Vol. 9, No. 2, pp.77-86.
21. Li, Z.W. and Zhou, M.C. (2004) 'Elementary siphons of petri nets and their application to deadlock prevention in flexible manufacturing systems', IEEE Transactions on Systems, Man and Cybernetics, Part A Vol. 34, No. 1, pp.38-51.
22. Lin, C., Shan, Z., Liu, T., Qu, Y. and Ren, F. (2005) 'Modeling and inference of extended interval temporal logic for nondeterministic intervals', IEEE Transactions on Systems, Man and Cybernetics, Part A Vol. 35, No. 5, pp.682-696.
23. Lucas, M.R. and Tilbury, D.M. (2003) 'Comparing industrial logic design methods used in the automotive industry', Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Washington DC, USA, pp.530-537.
24. Martinez, C. and Castagna, P. (2003) 'Sizing of an industrial plant under tight time constraints using two complementary approaches: (max, +) algebra and computer simulation', Simulation Modeling Practice and Theory, Vol. 11, No. 1, pp.75-88.
25. Murata, T. (1989) 'Petri nets: Properties, analysis and applications', Proceedings of IEEE, Vol. 77, No. 4, pp.541-580.
26. Penczek, W. and Polrola, A. (2006) Advances in Verification of Time Petri Nets and Timed Automata - A Temporal Logic Approach, Springer-Verlag, Berlin, Germany.
27. Reddy, G.B., Murty, S.S.N. and Ghosh, K. (1993) 'Timed petri net: An expeditious tool for modeling and analysis of manufacturing systems', Mathematical and Computer Modeling, Vol. 18, No. 9, pp.17-30.
28. Rogers, G.G. and Bottaci, L. (1997) 'Modular production systems: A new manufacturing paradigm', Journal of Intelligent Manufacturing, Vol. 8, No. 2, pp.147-156.
29. Schutter, B.D. (1996) Max-Algebraic System Theory for Discrete Event Systems, PhD Thesis, Faculty of Applied Sciences, K.U. Leuven, Leuven, Belgium.
30. Seo, D.W. and Song, B.K. (2005) 'Application of (Max, +) algebra to the optimal buffer size in Poisson driven deterministic queues in series with blocking', in Slezak, D. (Ed.): Lecture Notes in Computer Science (Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing) Springer, Berlin/Heidelberg, Vol. 3642, pp.671-677.
31. Stanczyk, J., Mayer, E. and Raisch, J. (2004) 'Modeling and performance evaluation of DES - a max-plus algebra toolbox for Matlab', Proceedings of 1st International Conference on Informatics in Control, Automation and Robotics, Setubal, Portugal, Vol. 3, pp.270-275.
32. Subiono and Van der Woude, J. (2000) 'Power algorithms for (max, +) - and bipartite (min, max, +)- systems', Discrete Event Dynamic Systems:THeory and Applications, Vol. 10, No. 4, pp.369-389.
33. Tsinarakis, G.J., Tsourveloudis, N.C. and Valavanis, K.P. (2005) 'Modular petri net based modeling, analysis, synthesis and performance evaluation of random topology dedicated production systems', Journal of Intelligent Manufacturing, Vol. 16, No. 1, pp.67-92.
34. Xue, Y., Kieckhafer, R.M. and Choobineh, F.F. (1998) 'Automated construction of GSPN models for flexible manufacturing systems', Computers in Industry, Vol. 37, No. 1, pp.17-25.
35. Zhu, Q., Weihua, S. and Xi, N. (2004) 'Max-plus algebra model for on-line scheduling of reconfigurable manufacturing work cell', Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems, 28 September - 2 October, Sendal, Japan, Vol. 2, pp.1245-1250.
36. Zuberek, W. and Kubiak, W. (1999) 'Timed petri nets in modeling and analysis of simple schedules for manufacturing cells', Computers and Mathematics with Applications, Vol. 37, Nos. 11-12, pp.191-206.