메뉴 건너뛰기




Volumn 41, Issue 8-9, 2005, Pages 923-937

Building reduced Petri net models of discrete manufacturing systems

Author keywords

Discrete event systems; Interpreted Petri nets; Model reduction; Modelling

Indexed keywords

BINARY CODES; COMPUTER SIMULATION; DISCRETE TIME CONTROL SYSTEMS; GRAPH THEORY; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS;

EID: 23744485059     PISSN: 08957177     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.mcm.2004.08.008     Document Type: Article
Times cited : (19)

References (18)
  • 3
    • 0024645936 scopus 로고
    • Petri nets: Properties, Analysis and Applications
    • T. Murata Petri nets: Properties, Analysis and Applications Proceedings of the IEEE 77 1989 541 580 4
    • (1989) Proceedings of the IEEE , vol.77 , pp. 541-580
    • Murata, T.1
  • 4
    • 0026261297 scopus 로고
    • Transformation methods for generalized Petri nets and their applications to flexible manufacturing systems
    • November I. Koh, and F. Di Cesare Transformation methods for generalized Petri nets and their applications to flexible manufacturing systems IEEE Transactions on Systems, Man and Cybernetics 21 6 1991 1512 1522
    • (1991) IEEE Transactions on Systems, Man and Cybernetics , vol.21 , Issue.6 , pp. 1512-1522
    • Koh, I.1    Di Cesare, F.2
  • 8
    • 0024171326 scopus 로고
    • Controllability and observability in the state-feedback control of discrete event systems
    • th CDC 1988
    • (1988) th CDC
    • Li, Y.1    Wonham, W.M.2
  • 9
    • 0025638085 scopus 로고
    • Decentralized control and coordination of discrete-event systems with partial observation
    • Dec. F. Lin, and W.M. Wonham Decentralized control and coordination of discrete-event systems with partial observation IEEE TAC 35 12 1990 1330 1337
    • (1990) IEEE TAC , vol.35 , Issue.12 , pp. 1330-1337
    • Lin, F.1    Wonham, W.M.2
  • 10
    • 0031996948 scopus 로고    scopus 로고
    • Formulae relating controllability, observability and co-observability
    • Mar. R. Kumar, and M.A. Shayman Formulae relating controllability, observability and co-observability Automatica 2 1998 211 215
    • (1998) Automatica , vol.2 , pp. 211-215
    • Kumar, R.1    Shayman, M.A.2
  • 11
    • 33645207622 scopus 로고
    • Petri nets as discrete event models for supervisory control
    • Rensselaer Polytechnic Institute Englewood Clifs, NJ
    • A. Guia Petri nets as discrete event models for supervisory control Ph.D. Dissertation 1992 Rensselaer Polytechnic Institute Englewood Clifs, NJ
    • (1992) Ph.D. Dissertation
    • Guia, A.1
  • 13
    • 0031369902 scopus 로고    scopus 로고
    • Petri net state estimators based on event observation
    • th CDC 1997 4086 4091
    • (1997) th CDC , pp. 4086-4091
    • Giua, A.1
  • 14
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis and applications
    • T. Murata Petri nets: Properties, analysis and applications 4 Proc. IEEE 77 1989 541 580 Apr.
    • (1989) Proc. IEEE , vol.77 , pp. 541-580
    • Murata, T.1
  • 16
    • 0027308051 scopus 로고
    • A review of synthesis techniques for Petri nets with applications to automated manufacturing systems
    • Jan/Feb M. Jeng, and F. Di Cesare A review of synthesis techniques for Petri nets with applications to automated manufacturing systems IEEE Transactions on Systems, Man, and Cybernetics 23 1 1993 301 312
    • (1993) IEEE Transactions on Systems, Man, and Cybernetics , vol.23 , Issue.1 , pp. 301-312
    • Jeng, M.1    Di Cesare, F.2


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