메뉴 건너뛰기
Annals of Operations Research
Volumn 3, Issue 8, 1985, Pages 449-472
A Petri net approach to the modelling and analysis of flexible manufacturing systems
Author keywords

concurrency; deadlocks; Flexible manufacturing systems; Petri net modelling; place invariants; union of Petri nets
Indexed keywords

EID: 0000098618     PISSN: 02545330     EISSN: 15729338     Source Type: Journal    
DOI: 10.1007/BF02023780     Document Type: Article
Times cited : (171)
References (10)
  • 1
    • 84936301186 scopus 로고    scopus 로고
    • T. Agerwala, Putting Petri nets to work, IEEE Computer (December 1979) 85.
  • 2
    • 84936242818 scopus 로고    scopus 로고
    • T. Agerwala and Yong-Chai choed Amphai, A synthesis rule for concurrent systems, Proc. IEEE Conf. Design Automation (1978) p. 305.
  • 4
    • 84936265728 scopus 로고    scopus 로고
    • D. Dubois and K.E. Stecke, Using Petri nets to represent production processes, Proc. IEEE Conf. Decisions and Control (December 1983) p. 1062.
  • 5
    • 84936277247 scopus 로고    scopus 로고
    • M. Kamath, Modelling and simulation of flexible manufacturing systems using coloured Petri nets, M.E. Project Report (School of Automation, I.I.Sc., Bangalore, July 1984).
  • 7
    • 84936228559 scopus 로고    scopus 로고
    • Y. Narahari and N. Viswanadham, On the invariants of coloured Petri nets, Proc. 6th European Workshop on Petri Net Theory and Applications, Espoo, Finland (June 1985) p. 277.
  • 8
    • 84936293602 scopus 로고    scopus 로고
    • Y. Narahari and N. Viswanadham, A Petri net based investigation of deadlocks in automated manufacturing systems, Proc. CSI/IFIP Int. Conf. on CAD/CAM/CAE Systems, Bangalore, India (June 1985) p. 9.1.
  • 10
    • 84936261245 scopus 로고    scopus 로고
    • C.V. Ramamoorthy and G.S. Ho, Performance evaluation of asynchronous concurrent systems by Petri nets, IEEE Trans. Software Engineering (September 1980) 440.

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