Runtime modeling of flow for dynamic deadlock-free scheduling in service-oriented factory automation systems

IETE Technical Review (Institution of Electronics and Telecommunication Engineers, India)

Volumn 26, Issue 3, 2009, Pages 203-212

  Popescu, Corina ^a   Cavia Soto, Maria De Los Angeles ^b   Martinez Lastra, Jose L ^a  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

^b UNIVERSITY OF CANTABRIA   (Spain)

Author keywords

Deadlock handling; Factory automation; Manufacturing systems; Petri nets; Runtime modeling; Scheduling; Service oriented architecture.

Indexed keywords

DEADLOCK HANDLING; DEADLOCK-FREE SCHEDULING; DECISION-TAKING; DESIGN STAGE; DYNAMIC SCHEDULING; FACTORY AUTOMATION SYSTEMS; MANUFACTURING LINES; MANUFACTURING SYSTEMS; PRODUCTION DEMAND; REAL-TIME INFORMATION; RUNTIME; RUNTIME MODELING; SCHEDULING AND ROUTING; SERVICE ORIENTED; SHOP FLOOR;

FACTORY AUTOMATION; GRAPH THEORY; INFORMATION SERVICES; PETRI NETS; SCHEDULING; SYSTEMS ANALYSIS;

SERVICE ORIENTED ARCHITECTURE (SOA);

EID: 67549144827     PISSN: 02564602     EISSN: None     Source Type: Journal    
DOI: 10.4103/0256-4602.50705     Document Type: Article

References (34)

1. J.L. Martinez Lastra, and I.M. Delamer, "Semantic Web Services in Factory Automation: Fundamental Insights and Research Roadmap", IEEE Transactions on Industrial Informatics, vol. 2, no. 1., pp. 1-11, Feb. 2006.
2. th IEEE International Conference on Industrial Informatics, 2007, June 2007, pp. 743-48.
3. C. Popescu, A. Lobov, J.L. Martinez Lastra, and M. Cavia Soto, "A modeling approach to formally represent service orchestration", International Journal of Computer Aided Engineering and technology, vol. 1, no. 1, 2008, pp 1-30.
4. M. Rausch, and H.-M. Hanisch, "Net condition/event systems with multiple condition output", in Proceedings of the Symposium on Emerging Technologies and Factory Automation, vol. 1, Oct. 1995, pp. 592-600.
5. H.-M. Hanisch, J. Thieme, A. Luder, and A. Wienhold, "Modeling of PLC Behavior by Means of Timed Net Condition/Event Systems", in Proceedings of 6th International Conference on Emerging Technologies and Factory Automation, Sep. 1997, pp. 391-6.
6. S.S. Panwalkar, and W. Iskander, "A survey of scheduling rules", Operations Research, vol. 25, no. 1, Jan.-Feb. 1977, pp. 45-61.
7. C. Rajendran, and O. Holthaus, "A comparative study of dispatching rules in dynamic flow shops and job shops", European Journal of Operational Research, vol. 116(1), 1999, pp. 156 -70.
8. R.J. Abumaizar, and J.A. Svetska, "Rescheduling job shops under random disruptions", International Journal of Production Research, vol. 35(7), 1997, pp. 2065-82.
9. A.K. Jain, and H.A. ElMaraghy, "Production scheduling/ rescheduling in flexible manufacturing", International Journal of Production Research, vol. 35, no. 1, 1997, pp. 281-309.
10. L.K. Church, and R. Uszoy, "Analysis of periodic and event-driven rescheduling policies in dynamic shops", International Journal of Computer Integrated Manufacturing, vol. 5(3), 1992, pp. 153-63.
11. B.L. MacCarthy, and J. Liu, "Addressing the gap in scheduling research: A review of optimization and heuristic methods in production scheduling", International Journal of Production Research, vol. 31(1), 1993, pp. 59-79.
12. C.S. Shukla, and F. F. Chen, "The state of the art in intelligent realtime FMS control: A comprehensive survey", Journal of Intelligent Manufacturing, vol. 7, 1996, pp. 441-55.
13. K. McKay, and V.C.S. Wiers, "Unifying the theory and practice of production scheduling", Journal of Manufacturing Systems, vol. 18(4), 1999, pp. 241-54.
14. P. Cowling, and M. Johansson, "Using real time information for effective dynamic scheduling", European Journal of Operational Research vol. 139, 2002, pp. 230-44.
15. G.E. Vieira, J.W. Herrman, and E. Lin, "Rescheduling manufacturing systems: A framework of strategies, policies and methods", Journal of Scheduling, 2003, vol. 6, pp. 39-62.
16. M. Zhou, Petri Nets in Flexible and Agile Automation. Kluwer Academic Publishers, 1995.
17. M. Zhou, and K. Venkatesh: Modeling, Simulation and Control of Flexible Manufacturing Systems - A Petri Net Approach, World Scientific Publishing, 1999.
18. D. Ouelhadj, and S. Petrovic, "A survey of dynamic scheduling in manufacturing systems", Journal of Scheduling, 2008.
19. J.H. Lee, and C.O. Kim, "Multi-agent systems applications in manufacturing systems and supply chain management: A review paper", International Journal of Production Research, vol. 46(1), 2007, pp. 233-65.
20. C. Wang, H. Ghenniwa, and W. Shen, 'Real time distributed shop floor scheduling using an agent-based service-oriented architecture', International Journal of Production Research, vol. 46(9), 2008, pp. 2433-52.
21. D.Y. Lee, and F. DiCesare, "Scheduling Flexible Manufacturing Systems Using Petri Nets and Heuristic Search", IEEE Transactions on Robotics and Automation, vol. 10, no. 2, April 1994, pp. 123-32.
22. M. Zhou, and M.D. Jeng, "Modeling, Analysis, Simulation, Scheduling and Control of Semiconductor Manufacturing Systems: A Petri Net Approach", IEEE Transactions on Semiconductor Manufacturing, vol. 11, no. 3, August 1998, pp. 333-57.
23. T. Murata, "Petri nets: Properties, analysis and applications", Proceedings of the IEEE, vol. 77, no. 4, April 1989, pp. 541-80.
24. S. Narayanan, and S.A. McIlraith, "Simulation, Verification and Automated Composition of Web Services", in Proceedings of WWW, 2002, May 7-11, pp. 77-88.
25. N. Luo, J. Yan, and M. Liu, "Towards Efficient Verification for Process Composition of Semantic Web Services", in Proceedings of Services Computing, 2007, pp. 220-7.
26. R. Hamadi, and B. Benatallah, "A Petri Net-based Model for Web Service Composition", in Proceedings of Australasian Database Conference, 2003, vol. 17.
27. The OWL Services Coalition, 'OWL-S: Semantic Markup for Web Services', Available from: http://www.ai.sri.com/daml/services/ owl-s/1.2/overview, 2006.
28. Web Services Business Process Execution Language. Available from: http://docs.oasis-open.org/wsbpel/2.0/varprop, 2007.
29. S. Hinz, K. Schmidt, and C. Stahl, "Transforming BPEL to Petri Nets", in BPM 2005, LNCS 3649, 2005, pp. 220-5.
30. N. Lohmann, P. Massuthe, C. Stahl, and D. Weinberg, "Analyzing Interacting BPEL Processes", Lecture Notes in Computer Science, vol. 4102, 2006, pp. 17-32.
31. W.M.P. Van der Aalst, "Interorganisational workflows: An approach based on message sequence charts and Petri nets", in Systems Analysis, Modelling, Simulation 34(3), 1999.
32. The Workflow Patterns Initiative. Available from: http://www. workflowpatterns.com/., 2007
33. M. Voorhoeve, "Compositional Modelling and Verification of Workflow Processes", LNCS 1806, 2000, pp. 184-200.
34. C. Ouyang, E. Verbeek, W.M.P. van der Aalst, S. Breutel, M. Dumas, and A.H.M. ter Hofstede, "Formal semantics and analysis of control flow in WS-BPEL", in Science of Computer Programming, 2007.