메뉴 건너뛰기




Volumn 3, Issue , 2002, Pages 166-171

An algorithm of deadlock prevention for flexible manufacturing systems

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER CONTROL; COMPUTER SYSTEM RECOVERY; INTERACTIVE COMPUTER SYSTEMS; PARALLEL PROCESSING SYSTEMS; PETRI NETS; RESOURCE ALLOCATION; VIRTUAL REALITY;

EID: 0038684521     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (5)

References (12)
  • 1
    • 0029505617 scopus 로고
    • Deadlock avoidance in FMS based on structural theory of Petri nets
    • K. Barkaoui, and I. B. Abdallah, "Deadlock avoidance in FMS based on structural theory of Petri nets," Proc. INRIA/IEEE Symposium on ETFA, vol. 2, no. 4, pp. 499-510, 1995.
    • (1995) Proc. INRIA/IEEE Symposium on ETFA , vol.2 , Issue.4 , pp. 499-510
    • Barkaoui, K.1    Abdallah, I.B.2
  • 2
    • 0031362845 scopus 로고    scopus 로고
    • Deadlock analysis of Petri nets using siphons and mathematical programming
    • F. Chu and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robotics Automat., vol. 13, no. 6, pp. 793-804, 1997.
    • (1997) IEEE Trans. Robotics Automat. , vol.13 , Issue.6 , pp. 793-804
    • Chu, F.1    Xie, X.L.2
  • 3
    • 0031167972 scopus 로고    scopus 로고
    • Event-based feedback control for deadlock avoidance in flexible production systems
    • M. P. Fanti, G Maione, Saverio Mascolo and B. Turchiano, "Event-Based Feedback Control for Deadlock Avoidance in Flexible Production Systems," IEEE Trans. Robotics Automat., vol. 13, no. 3, pp. 347-363, 1997.
    • (1997) IEEE Trans. Robotics Automat. , vol.13 , Issue.3 , pp. 347-363
    • Fanti, M.P.1    Maione, G.2    Mascolo, S.3    Turchiano, B.4
  • 4
    • 0028420117 scopus 로고
    • Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems
    • F. S. Hsieh and S. C. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems," IEEE Trans. Robotics Automat., vol. 10, no. 2, pp. 196-209, 1994.
    • (1994) IEEE Trans. Robotics Automat. , vol.10 , Issue.2 , pp. 196-209
    • Hsieh, F.S.1    Chang, S.C.2
  • 6
    • 0029288298 scopus 로고
    • A Petri net based deadlock prevention policy for flexible manufacturing systems
    • J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robotics Automat., vol. 11, no. 2, pp. 173-184, 1995.
    • (1995) IEEE Trans. Robotics Automat. , vol.11 , Issue.2 , pp. 173-184
    • Ezpeleta, J.1    Colom, J.M.2    Martinez, J.3
  • 9
    • 0033700738 scopus 로고    scopus 로고
    • Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems
    • J. Park and S. A. Reveliotis, "Algebraic Synthesis of Efficient Deadlock Avoidance Policies for Sequential Resource Allocation Systems," IEEE Trans. Robotics Automat.,vo 1. 16,no. 2, pp. 190-195, 2000.
    • (2000) IEEE Trans. Robotics Automat. , vol.16 , Issue.2 , pp. 190-195
    • Park, J.1    Reveliotis, S.A.2
  • 10
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis and application
    • Apr.
    • Murata T., "Petri nets: properties, analysis and application", Proc. IEEE, vol. 44, no. 4, pp. 541-579, Apr. 1989.
    • (1989) Proc. IEEE , vol.44 , Issue.4 , pp. 541-579
    • Murata, T.1
  • 11
    • 0025671258 scopus 로고
    • Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models
    • N. Viswanadham, Y. Narahari, and T. L. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. Robotics Automat., vol. 6, no. 6, pp. 713-723, 1990.
    • (1990) IEEE Trans. Robotics Automat. , vol.6 , Issue.6 , pp. 713-723
    • Viswanadham, N.1    Narahari, Y.2    Johnson, T.L.3
  • 12
    • 0032141060 scopus 로고    scopus 로고
    • Modeling analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A petri net approach
    • M. C. Zhou and M. D. Jeng, "Modeling analysis, simulation, scheduling, and control of semiconductor manufacturing systems: a Petri net approach," IEEE Trans. On Semiconductor. Manufacturing, vol. 11, no. 3, pp. 333-357, 1998.
    • (1998) IEEE Trans. On Semiconductor. Manufacturing , vol.11 , Issue.3 , pp. 333-357
    • Zhou, M.C.1    Jeng, M.D.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.