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

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

DOI QR Code

Slices Method of Petri Nets Using the Transitive Matrix for Scheduling Analysis in FMS

유연생산 시스템 스케쥴링 분석을 위한 추이적 행렬을 이용한 패트리 넷의 분할

  • Song, You-Jin (Dept.of Computer Engineering, Changwon National University) ;
  • Kim, Jong-Wuk (Dept.of Computer Engineering, Changwon National University) ;
  • Lee, Jong-Kun (Dept.of Computer Engineering, Changwon National University)
  • 송유진 (창원대학교 컴퓨터공학과) ;
  • 김종욱 (창원대학교 컴퓨터공학과) ;
  • 이종근 (창원대학교 컴퓨터공학과)
  • Published : 2002.04.01
Download PDF
⟨ Previous Next ⟩

Abstract

We focus on the slicing off some sub-nets using the transitive matrix. Control flows in the Petri nets is done based on the token flows. One control f]ow explains the independent tokens status and if the token-in divides into several tokens after firing a transition then the control flow divides to several flows, as well. Accordingly, we define that the basic unit of concur-rency (short BUC) is a set of the executed control flows based on the behavioral properties in the net. The BUC is S-invariant which has one control flow. We show the usefulness of transitive matrix to slice off some subnets from the original net based on BUC-through on an example.

Keywords

References

  1. B. Berthomier and M. Diaz, 'Modeling 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. J. Carlier, P. Chretienne, 'Timed Petri nets schedules,' in G. Rozenberg, ed., advanced in PN'1988, vol. 340 of LNCS, pp. 62-84, Springer-Verlag, Berlin, Germany, 1988
  3. M. Holiday and M. Vernon, 'A generalized TPN model for performance analysis,' IEEE Tran. On s/w, se-13, pp. 1297-1310, 1987
  4. J. Lee, 'Time composition problem in time Petri nets,' In : Proceeding CIS'97, pp. 507-512, 1997
  5. W. Zuberek and W. Kubiah, '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
  6. W. Zuberek, 'Schedules of flexible manufacturing cells and their timed colored Petri net models,' In : Proceeding ICSYMC 1995, pp. 2142-2147, 1995 https://doi.org/10.1109/ICSMC.1995.538097
  7. O Korbaa, H. Camus, and J-C Gentina, 'FMS cyclic scheduling with overlapping production cycles,' In Proceeding ICATPN'97, pp. 35-52, 1997
  8. H. Ohl, H. Camus, E. Castelain, and JC Gentina, 'Petri nets modelling of ratio-driven FMS and implication on the WIP for cyclic schedules,' In : Proceeding SMC'95, pp. 3081-3086, 1995
  9. P. Richard, Scheduling Timed Marked Graphs with Resources a serial method, Accepted in proceeding INCOM'98, 1998
  10. T. Murata, Petri Nets : Properties, Analysis an Applications, Proceedings of the IEEE, 77(4), pp. 541-580, April, 1989 https://doi.org/10.1109/5.24143
  11. DY Lee, F. DiCesare, 'Petri net-based heuristic scheduling for flexible manufacturing,' In : Petri Nets in Flexible and Agile Automation, ed. Zhou MC, Kluwer Aca. Pub., USA, pp. 149-187, 1995
  12. E. Best, L. Cherkasova, J. Desel, and J. Esparza, 'Characterization of home states in free choice systems,' Hildesheimer Informatik-Berichte 9/90, Universitat Hildesheim, 1990
  13. Jinghong LIU, Y. Itoh, I. Miyazawa, T. Seikiguchi, 'A research on Petri nets properties using transitive matrix,' in proceeding IEEE SMC99, pp. 888-893, 1999 https://doi.org/10.1109/ICSMC.1999.814209
  14. WJ Lee, S. D. Cha, YR Kwon, 'Integration and analysis of use cases using modular Petri nets in requirements engineering,' IEEE Trans. On Software Eng., vol. 24, no. 12, pp. 1115-1130, 1998 https://doi.org/10.1109/32.738342
  15. S. Julia, R. Valette, M. Tazza, 'Computing a feasible schedule under a set of cyclic constraints,' 2nd International Conference on Industrial Automation, Nancy 7-9, June, pp. 141-146, 1995
  16. 이종근, '타임 패트리 넷 unfolding을 이용한 FMS의 스케쥴링 분석,' 제어.자동화.시스템공학논문지, 제7권, 제4호, pp. 344-350, 2001
  17. Jong K. Lee, O. Korbaa, JC Gentina, 'Slice analysis method of Petri nets in FMS using the transitive matrix,' will be appeared in proceeding INCOM2001, Austria, Sep., 2001
  18. Jong K. Lee, O. Korebaa, JC. Gentina, 'Modeling and analysis of cycle schedule using Petri nets unfolding,' will be appeared in proceeding IEEE, SMC 2001, USA, Oct., 2001 https://doi.org/10.1109/ICSMC.2001.972957
  19. C. S. Bae, J. W. Kim, Jong K. Lee, 'Modelinsation et analysedes systemes flexibles de production manufacturiere: ordonnancement de I'en-cours sous contrainte de ratio,' Proceeding CIFA2000, Lille, 5-8 July, 2000, pp. 790-795
  20. Gerard Berthelot, 'Transformation and decompositions of nets,' Advances in Petri Nets, pp. 359-376, 1986
  21. Antti Valmari, 'The state explosion problem,' Petri Nets, pp. 429-528, 1996
  22. Masato Notomi and Tadao Murata, 'Hierarchical reach ability graph of bounded Petri nets for concurrent-software analysis,' IEEE Transaction on Software Engineering, vol. 20, no. 5, 1994 https://doi.org/10.1109/32.286423
  23. 이운진, 김홍남, 권용래, 'Petri Net Slice를 이용한 Petri Net 모델의 합성적 분석,' 한국 정보 처리학회 추계 학술 발표 논문집, 제6권, 제2호, 1999
  24. G. Memmi et G. Roucairol, 'Linear algebra in net theory,' LNCS, no.84, SpringerVerlag, Hamburg, FRG, 1979 https://doi.org/10.1007/3-540-10001-6_24
  25. Y. Song and J. Lee, 'A study on the subnet of Petri net models using transitive matrix,' In : Proceeding IEEE-SMC '2000, vol. 4, pp. 3122-3127, 2000