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

International Journal of Computer Integrated Manufacturing

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

  Lin, Chang Pin ^a   Jeng, Li Der ^b   Lin, Yi Ping ^a   Jeng, Muder ^a  

^a NATIONAL TAIWAN OCEAN UNIVERSITY   (Taiwan)

^b CHUNG YUAN CHRISTIAN UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

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

COMPUTER CODES; GRAPHIC INTERFACE; INFORMATION FLOW; UNIFIED MODELLING LANGUAGE (UML);

INFORMATION ANALYSIS;

EID: 27944441705     PISSN: 0951192X     EISSN: 13623052     Source Type: Journal    
DOI: 10.1080/0951192052000288242     Document Type: Conference Paper

References (24)

1. Alhir, S.S., UML in a Nut Shell: A Desktop Quick Reference, 1998 (O'Reilly: Cambridge).
2. Boccalatte, A., Giglio, D. and Paolucci, M., A CASE tool for information system project and development, in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1999, pp. 1042-1047.
3. Bondavalli, A., Majzik, I. and Mura, I., Automatic dependability analysis for supporting design decisions in UML, in Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering, 1999, pp. 64-71.
4. Bordbar, B., Giacomini, L. andHolding, D.J., UML and Petri nets for design and analysis of distributed systems, in Proceedings of the 2000 IEEE International Conference on Control Applications, TM5-6, 2000, Anchorage, Alaska, USA.
5. 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).
6. Chang, P.T. and Chang, C.H., An integrated artificial intelligent computer-aided process planning system. International Journal of Computer Integrated Manufacturing, 2000, 13(6), 483-497.
7. Chang, Y.L., Chen, S., Chen, C.C. and Chen, I., Workflow process definition and their applications in e-commerce, in Proceedings of International Symposium on Multimedia Software Engineering, 2000, pp. 193-200.
8. Choi, K.H., Bae, C.H. and Lee, S.H., Behaviour modeling and control of computer integrated manufacturing. International Journal of Computer Integrated Manufacturing, 2003, 16(2), 128-139.
9. 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).
10. Flower, M. and Scott, K., UML Distilled: A Brief Guide to the Standard Object Modeling Language, 2000 (Addison-Wesley: Massachusetts).
11. Harding, J.A. and Popplewell, K., Enterprise design, information: the key to improved competitive advantage. International Journal of Computer Integrated Manufacturing, 2001, 14(6), 514-521.
12. Harhalakis, G., Lin, C.P., Mark, L. and Pedro, M., Structured representation of rule-based specifications in CIM using updated Petri nets. IEEE Transactions on Systems, Man and Cybernetics, 1995, 25(1), 130-144.
13. Hirel, C., Tuffin, B. and Trivedi, K.S., SPNP: stochastic Petri nets. Version 6.0, in Lecture Notes in Computer Science 1786, 2000, pp. 354-357 (Springer-Verlag: Berlin).
14. Jeng, M.D. and Lu, W.Z., Extension of UML and its conversion to Petri nets for semiconductor manufacturing modeling, in Proceedings of IEEE International Conference on Robotics and Automation, 2002, Washington DC.
15. 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).
16. 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).
17. Lee, R.C. and Tepfenhart, W.M., UML and C + + : A Practical Guide to Object-oriented Development,1997 (Prentice Hall: Upper Saddle River, NJ).
18. Memmi, G. and Roucairol, G., Linear algebra in net theory, in Net Theory and Application-Lecture Notes in Computer Science, 1984, pp. 213-223 (Springer-Verlag: Berlin).
19. Murata, T., Petri net: properties, analysis and applications. Proceedings of the IEEE, 1989, 77(4), 541-580.
20. Narahari, Y. andViswanadham, N., A Petri net approach to the modeling and analysis of flexible manufacturing. Annals Operations Research, 1985, 3, 381-391.
21. Peterson, J.L., Petri Net: Theory and the Modeling of Systems, 1981 (Prentice Hall: Upper Saddle River, NJ).
22. 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).
23. Reisig, W., A Principle of Petri Net, 1992 (Springer-Verlag: Berlin).
24. 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.