A Petri net-based approach to incremental modelling of flow and resources in service-oriented manufacturing systems

International Journal of Production Research

Volumn 50, Issue 2, 2012, Pages 325-343

  Popescu, Corina ^a   Soto, M Cavia ^b   Lastra, Jose L Martinez ^a  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

^b UNIVERSITY OF CANTABRIA   (Spain)

Author keywords

flow; incremental modelling; Petri net; resources; service oriented manufacturing systems

Indexed keywords

DYNAMIC SCHEDULING; FLOW; FORMAL REPRESENTATIONS; INCREMENTAL MODELLING; MANUFACTURING LINES; RESOURCES; ROUTING STRATEGIES; RUNTIMES; SERVICE ORIENTED;

PETRI NETS;

MANUFACTURE;

EID: 84860007563     PISSN: 00207543     EISSN: 1366588X     Source Type: Journal    
DOI: 10.1080/00207543.2011.561371     Document Type: Article

References (34)

1. Castelnuovo, A, Ferrarini, L, and, Piroddi, L. 2007. An incremental Petri net-based approach to the modeling of production sequences in manufacturing systems. IEEE Transactions on Automation Science and Engineering, 4 (3): 7
2. Chincholkar, AK, and, Krishnaiah Chetty, OV. 1996. Stochastic coloured Petri nets for modelling and evaluation, and heuristic rule base for scheduling of FMS. International Journal of Advanced Manufacturing Technology, 12: 339-348.
3. Delamer, I.M. and Martinez Lastra, J.L., 2007. Loosely-coupled automation systems using device-level SOA. In: Proceedings of the 5th IEEE International Conference on Industrial Informatics, Vienna, Austria, pp. 743-748
4. DPWS Specification. Available from: http://docs.oasis-open.org/ws-dd/ dpws/1.1/pr-01/wsdd-dpws-1.1-spec-pr-01.html [Accessed 11 October 2010]
5. FP6-SOCRADES, http://www.socrades.eu/ [Accessed 26 March 2011]
6. Gradisar, D, and, Music, G. 2007. Production-process modelling based on production-management data: a Petri-net approach. International Journal of Computer Integrated Manufacturing, 20 (8): 794-810.
7. Hanisch, H.-M., et al., 1997. Modeling of PLC behavior by means of timed net condition/event systems. In: Proceedings of 6th International Conference on Emerging Technologies and Factory Automation, Los Angeles, pp. 391-396
8. Hu, GH, Wong, YS, and, Loh, HT. 1995. An FMS scheduling and control decision support system based on generalised stochastic Petri nets. International Journal of Advanced Manufacturing Technology, 10: 52-58.
9. Hu, H, and, Li, Z. 2009. Modeling and scheduling for manufacturing grid workflows using timed Petri nets. International Journal of Advanced Manufacturing Technology, 42: 553-568.
10. Huang, B, Sun, Y, and, Sun, YM. 2008. Scheduling of flexible manufacturing systems based on Petri nets and hybrid heuristic search. International Journal of Production Research, 46 (16): 4553-4565.
11. Jeng, MD, Lin, CS, and, Huang, YS. 1998. Petri net dynamics-based scheduling of flexible manufacturing systems with assembly. Journal of Intelligent Manufacturing, 10: 541-555.
12. Kattan, I. 2003. Minimizing cycle time and group scheduling, using Petri nets a study of heuristic methods. Journal of Intelligent Manufacturing, 14: 107-121.
13. Kis, T, Kiritsis, D, and, Xirouchakis, P. 2000. A Petri net model for integrated process and job shop production planning. Journal of Intelligent Manufacturing, 11: 191-207.
14. Kopetz, H. 1997. Real time systems: design principles for distributed embedded applications, Dordrecht: Kluwer Academic Publishers.
15. Krishnaiah Chetty, OV, and, Gnanasekaran, OC. 1996. Modelling, simulation and scheduling of flexible assembly systems with coloured Petri nets. International Journal of Advanced Manufacturing Technology, 11: 430-438.
16. Lawrence, SR, and, Sewell, EC. 1997. Heuristic, optimal, static and dynamic schedules when processing times are uncertain. Journal of Operations Management, 15: 71-82.
17. Lee, DY, and, DiCesare, F. 1994. Scheduling flexible manufacturing systems using Petri nets and heuristic search. IEEE Transactions on Robotics and Automation, 10 (2): 123-132.
18. Lin, JT, and, Lee, CC. 1997. Petri net-based integrated control and scheduling scheme for flexible manufacturing cells. Computer Integrated Manufacturing Systems, 10 (2): 109-122.
19. Matsuura, H, Tsubone, H, and, Kanezashi, M. 1993. Sequencing, dispatching and switching in a dynamic manufacturing environment. International Journal of Production Research, 31 (7): 1671-1688.
20. Murata, T. 1989. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77 (4): 541-580.
21. Popescu, C, Cavia Soto, M, and, Martinez Lastra, JL. 2009. Runtime modeling of flow for dynamic deadlock-free scheduling in service-oriented factory automation systems. IETE Technical Review, 26 (3): 203-212.
22. Popescu, C., 2009. An approach to incremental modelling of web services orchestration: an application to deadlock-free scheduling in automated systems. Dr Tech., Tampere University of Technology
23. Rausch, M, and, Hanisch, H-M. 1995. Net condition/event systems with multiple condition output. In: Proceedings of the Symposium on Emerging Technologies and Factory Automation, 1: 592-600.
24. Shih, H. and Sekiguchi, T., 1991. A timed Petri net and beam search based online FMS scheduling system with routing flexibility. In: Proceedings of the International Conference on Robotics and Automation, 2548-2553
25. Silva, M. and Vallete, R., 1989. Petri nets and flexible manufacturing. In: Lecture notes in computer science, Advances in Petri Nets
26. SIRENA, http://www.sirena-itea.org/
27. SODA, http://www.soda-itea.org/
28. Van der Aalst, WMP. 1998. The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers, 8: 21-66.
29. Van der Aalst, WMP. 1999. Interorganisational workflows: An approach based on message sequence charts and Petri nets. Systems Analysis, Modelling, Simulation, 34 (3): 335-367.
30. Venkatesh, K, and, Zhou, MC. 1998. Object-oriented design of FMS control software based on object modeling technique diagrams and Petri Nets. Journal of Manufacturing Systems, 17 (2): 118-136.
31. Wang, J, and, Deng, Y. 1999. Incremental modeling and verification of flexible manufacturing systems. Journal of Intelligent Manufacturing, 10: 485-502.
32. Wu, N, and, Zhou, MC. 2007. Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets. OR Spectrum, 29: 421-443.
33. Xiong, HH, and, Zhou, MC. 1998. Scheduling of semiconductor test facility via Petri nets and hybrid heuristic search. IEEE Transactions on Semiconductor Manufacturing, 11 (3): 384-393.
34. Zhou, M, and, Jeng, MD. 1998. Modeling, analysis, simulation, scheduling and control of semiconductor manufacturing systems: a Petri net approach. IEEE Transactions on Semiconductor Manufacturing, 11 (3): 333-357.