Journal of Institute of Control, Robotics and Systems (제어로봇시스템학회논문지)

Institute of Control, Robotics and Systems (제어로봇시스템학회)
권호 표지

A Scheduling Analysis of FMS Using TPM Unfolding

타임 패트리넷 Unfolding을 이용한 FMS의 스케쥴링 분석

  • Lee, Jong-Geun (Dept.of Computer Engineering, Changwon National University)
  • Published : 2001.04.01
Download PDF
⟨ Previous Next ⟩

Abstract

In this paper, we are focused on the analysis of acyclic schedule for the determination of the opti-mal cycle time and minimization of work in process. Especially, this paper deals with the product ratio-driven cyclic scheduling problem in FMS with different products and ratio using the TPN(Time Petri Nets)un-folding.

Keywords

References

  1. Berthomier B. and Diaz M., 'Modelling and verification of time dependent systems using time petri nets,' IEEE Tr. Soft Eng., 17, pp. 259-273, 1991 https://doi.org/10.1109/32.75415
  2. Holiday M. and Vernon M., 'A generalized TPN model for performance analysis,' IEEE. Tran. On s/w, Se-13, pp. 1297-1310, 1987
  3. Zuberek W., 'Schedules of flexible manufacturing cells their time colored petri netModels,' In:Proceeding ICSYMC 1995, pp. 2142-2147, 1995 https://doi.org/10.1109/ICSMC.1995.538097
  4. Hwang CH and Lee DI, 'A concurrency characteristic in petri net unfolding,' In:Proceeding SMC 97, pp. 4266-4273, 1997 https://doi.org/10.1109/ICSMC.1997.637370
  5. Lee DY and DiCesare F., 'Petri net-based heuristic scheduling for flexible manufacturing,' In:Petri Nets in Flexible and Agile Automation, ed. Zhou MC, Kluwer Aca. Pub., pp. 149-187, USA, 1995
  6. Carlier J. and Chretienne P., 'Timed petri nets schedules,' T R, Univ.P.et M., 1985
  7. Lee J., 'Time composition problem in time petri nets', In:Proceeding CIS 97, pp. 507-512, 1997
  8. T. Murate, 'Petri nets: Properties, analysis an Applications,' Proceedings of the IEEE, 77(4), pp. 541-580, April, 1989 https://doi.org/10.1109/5.24143
  9. McMillan, K, 'A technique of state space search based on unfolding,' Formal Methods in System Design 6(1), pp. 45-65, 1995 https://doi.org/10.1007/BF01384314
  10. McMillan. K, 'A technique of state space search based on unfolding,' Formal Methods in System Design, 6(1), pp. 45-65, 1995 https://doi.org/10.1007/BF01384314
  11. Zuberek W. and Kubiah W., 'Throughput analysis of manufacturing cells using timed petri nets,' In:Proceeding ICSYMC 1993, pp. 1328-1333, 1993 https://doi.org/10.1109/ICSMC.1994.400029
  12. Kondratyev A., Kishinevsky M., Taubin A., and Ten s., 'Analysis of petri nets by ordering relations in reduced unfolding,' In:Kluwer Aca. Pub., Boston, 1996
  13. Ohl H., Camus H., Castelain E., and Gentina JC, 'Petri nets modelling of ratio-driven FMS and implication on the WIP for cyclic schedules,' In:Proceeding SMC 95, pp. 3081-3086, 1995
  14. 이우진, 'Petri Net Slice를 이용한 Petri net 모델의 합성적 분석,' 한국정보처리학회 추계 학술발표논문집 제6권 제2호