References
- Corbett JC (1996), "Evaluating Deadlock detection methods for concurrent software", IEEE tr. Sof. Eng. Vol. 22 (3), pp. 161-180. https://doi.org/10.1109/32.489078
- Damasceno BC. And Xie X. (1999), "Petri nets and deadlock-free scheduling of multiple-resource operations", In IEEE SMC'99, pp. 878-883.
- F. Chu and X-L. Xie (1997), "Deadlock Analysis of Petri nets using Siphon and Mathematical Programming", IEEE Tr on Robotics and Automation, Vol. 13, No. 6, pp. 793-804. https://doi.org/10.1109/70.650158
- Ezpleta J.,Colom JM,Martinez J. (1995), "A Petri net based deadlock prevention policy for flexible manufacturing systems", IEEE tr. Robotics and Automat., Vol. 11, No. 2, pp. 173-184. https://doi.org/10.1109/70.370500
- Liu J.,Itoh Y., Miyazawa I., Seikiguchi T., (1999). "A Research on Petri nets Properties using Transitive matrix", In: Proceeding IEEE SMC'99, pp. 888-893.
- 송유진, 이종근 (2006), "DAPN과 인접행렬을 이용한 교착상태 회피에 대한 연구", 한국시뮬레이션학회 논문지, 15권 (1호), pp. 1-10.
- Y-Sheng Huang (2007), "Design of deadlock prevention supervisors using Petri nets", In: J.Adv. manuf. Tech., Vol. 35, pp. 349-362. https://doi.org/10.1007/s00170-006-0708-y
- ZW Li, M.Uzam, MCZhou (2008), "Deadlock control of concurrent manufacturing processes sharing finite resources", In J. Adv. manuf. Tech., Vol. 38, pp. 787-800. https://doi.org/10.1007/s00170-007-1125-6
- 김정철 외 2 (2007), "Siphon특성을 이용한 FMS의 Deadlock 해석과 제어", 제어자동시스템공학 논문지, 13권 (7호), pp. 677-682.
- ZW Li,MC Zhou,MD Jeng (2008), "A Maximally Permissive deadlock prevention policy for FMS based on petri nets Siphon control and the theory of regions", In: IEEE tr. on Automation Scie. and Eng., Vol. 5, No. 1, pp. 182-188. https://doi.org/10.1109/TASE.2006.884674
- 김종욱, 이종근 (2008), "자원공유플레이스 추이적행렬을 이용한 효율적인 교착상태 확인정책", 한국시뮬레이션학회 논문지, 17권 (3호), pp. 75-83.
- 김종욱, 정상운, 이종근 (2008), "추이적 행렬을 이용한 교착상태확인 알고리즘의 성능 분석", '08추계학술대회논문집, 한국시뮬레이션학회, 서울산업대, pp. 98-102.