메뉴 건너뛰기




Volumn 18, Issue 2-3, 2005, Pages 107-121

Management and control of information flow in CIM systems using UML and Petri nets

Author keywords

[No Author keywords available]

Indexed keywords

CODES (STANDARDS); ERROR ANALYSIS; INTEGER PROGRAMMING; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SYSTEMS ANALYSIS;

EID: 27944441705     PISSN: 0951192X     EISSN: 13623052     Source Type: Journal    
DOI: 10.1080/0951192052000288242     Document Type: Conference Paper
Times cited : (6)

References (24)
  • 5
    • 2942641152 scopus 로고    scopus 로고
    • Using high-level Petri nets in the field of intelligent networks
    • Springer-Verlag: Berlin Heidelberg
    • Capellmann, C., Dibold, H. and Zerzog, U., Using high-level Petri nets in the field of intelligent networks, in Lecture Notes in Computer Science 1605, 1999, pp. 1-36 (Springer-Verlag: Berlin Heidelberg).
    • (1999) Lecture Notes in Computer Science 1605 , pp. 1-36
    • Capellmann, C.1    Dibold, H.2    Zerzog, U.3
  • 9
    • 84947913522 scopus 로고    scopus 로고
    • UML/PNO: A way to merge UML and Petri net objects for the analysis of real-time systems
    • Springer-Verlag: Berlin Heidelberg
    • Delatour, J. and Paludetto, M., UML/PNO: a way to merge UML and Petri net objects for the analysis of real-time systems, in Lectures Notes in Computer Science 1543, 1998, pp. 511-514 (Springer-Verlag: Berlin Heidelberg).
    • (1998) Lectures Notes in Computer Science , vol.1543 , pp. 511-514
    • Delatour, J.1    Paludetto, M.2
  • 15
    • 84958766361 scopus 로고    scopus 로고
    • Derivation of Petri net performance models from UML specifications of communications software
    • Springer-Verlag: Berlin
    • King, P. and Pooley, R., Derivation of Petri net performance models from UML specifications of communications software, in TOOLS 2000 - Lecture Notes in Computer Science 1786, 2000, pp. 262-276 (Springer-Verlag: Berlin).
    • (2000) TOOLS 2000 - Lecture Notes in Computer Science 1786 , pp. 262-276
    • King, P.1    Pooley, R.2
  • 16
    • 84947220045 scopus 로고    scopus 로고
    • Modelling the structure and behaviour of Petri net agents
    • Springer-Verlag: Berlin
    • Kohler, M., Moldt, D. and Rolke, H., Modelling the structure and behaviour of Petri net agents, in Lecture Notes in Computer Science 2075, 2001, pp. 225-241 (Springer-Verlag: Berlin).
    • (2001) Lecture Notes in Computer Science 2075 , pp. 225-241
    • Kohler, M.1    Moldt, D.2    Rolke, H.3
  • 19
    • 0024645936 scopus 로고
    • Petri net: Properties, analysis and applications
    • Murata, T., Petri net: properties, analysis and applications. Proceedings of the IEEE, 1989, 77(4), 541-580.
    • (1989) Proceedings of the IEEE , vol.77 , Issue.4 , pp. 541-580
    • Murata, T.1
  • 20
    • 84943680039 scopus 로고
    • A Petri net approach to the modeling and analysis of flexible manufacturing
    • Narahari, Y. andViswanadham, N., A Petri net approach to the modeling and analysis of flexible manufacturing. Annals Operations Research, 1985, 3, 381-391.
    • (1985) Annals Operations Research , vol.3 , pp. 381-391
    • Narahari, Y.1    Viswanadham, N.2
  • 22
    • 0002996707 scopus 로고    scopus 로고
    • Timed Petri net models of ATM LANs
    • Springer-Verlag: Berlin
    • Reid, M. and Zuberek, W.M., Timed Petri net models of ATM LANs, in Lecture Notes in Computer Science 1605, 1999, pp. 150-175 (Springer-Verlag: Berlin).
    • (1999) Lecture Notes in Computer Science 1605 , pp. 150-175
    • Reid, M.1    Zuberek, W.M.2
  • 24
    • 0036573944 scopus 로고    scopus 로고
    • Knowledge Petri net model for flexible manufacturing systems and its application for design and verification of FMS controller
    • Zha, X.F., Li, L.L. and Zhang, W.J., Knowledge Petri net model for flexible manufacturing systems and its application for design and verification of FMS controller. International Journal of Computer Integrated Manufacturing, 2002, 15(3), 242-264.
    • (2002) International Journal of Computer Integrated Manufacturing , vol.15 , Issue.3 , pp. 242-264
    • Zha, X.F.1    Li, L.L.2    Zhang, W.J.3


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