Modeling and analysis of message passing in distributed manufacturing systems

IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews

Volumn 29, Issue 2, 1999, Pages 250-262

  Lin, Edward Yi Tzer ^a,b   Zhou, Chen ^a,b  

^a UNIVERSITY OF MARYLAND   (United States)

^b GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTER GRAPHICS; COMPUTER INTEGRATED MANUFACTURING; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; OBJECT ORIENTED PROGRAMMING; PETRI NETS; REAL TIME SYSTEMS; SYSTEMS ANALYSIS;

DELAY ESTIMATION; DISTRIBUTED MANUFACTURING SYSTEMS; MESSAGE PASSING; REACHABILITY ANALYSIS;

DATA COMMUNICATION SYSTEMS;

EID: 0032663273     PISSN: 10946977     EISSN: None     Source Type: Journal    
DOI: 10.1109/5326.760569     Document Type: Article

References (21)

1. H. Aho and Ullman, The Design and Analysis of Computer Algorithms. Reading, MA: Addison-Wesley, 1974, p. 176.
2. M. Baldassari and G. Bruno, "PROTOB: An object-oriented methodology for developing discrete event dynamic systems, Comput. Lang., vol. 16, no. 1, pp. 39-63, 1991.
3. J. T. Black, B. C. Jiang, and G. J. Wiens, "Design, analysis, and control of manufacturing cells," in Proc. ASME Winter Annu. Meeting, 1991, vol. 53.
4. S. H. Teng and J. T. Black, "Expert system for manufacturing cell control," Comput. Ind. Eng., vol. 17, no. 1-4, pp. 18-23, 1989.
5. R. Bastide and Sibertin-Blanc, "Modeling a flexible manufacturing system by means of cooperative objects," in Proc. 4th Int. Computer Application Production and Engineering, pp. 593-600.
6. E. Battiston, F. D. Cindio, and G. Manuri, "OBJSA: A class of high-level nets having objects as domains" in Advances in Petri Nets. Berlin, Germany: Heidelberg, pp. 20-43.
7. E. Berthomieu and M. Diaz, "Modeling and verification of time dependent systems using time Petri nets," IEEE Trans. Softw. Eng., vol. 17, no. 3, pp. 259-272, 1991.
8. P. Coad and E. Yourdon, Object-Oriented Analysis, 2nd ed. Englewood Cliffs, NJ: Prentice-Hall, 1990.
9. P. Freeman, "Time, Petri nets, and robotics," IEEE Trans. Robot. Automat., vol. 7, pp. 417-433, Aug. 1991.
10. P. S. Fussell, P. K. Wright, and D. Bourne, "Design of a controller as a component of a robotic manufacturing system," J. Manufact. Syst., vol. 3, no. 1, pp. 1-11, 1984.
11. H. P. Huang and P. C. Chang, "Specification, modeling and control of a flexible manufacturing cell," Int. J. Prod. Res., vol. 30, no. 11, pp. 2515-2543, 1992.
12. Y. Li and W. M. Wonham, "Control of vector discrete-event systems I - The base model," IEEE Trans. Automat. Contr., vol. 38, no. 8, pp. 1214-1227, 1993.
13. J. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
14. S. Schofield and P. K. Wright, "Review of equipment integration in a flexible manufacturing system," ASME Prod. Eng. Div., vol. 64, pp. 93-100, 1993.
15. G. Shin and G. Kang, "Real-time communications in a computer-controlled workcell," IEEE Trans. Robot. Automat., vol. 7, pp. 105-113, Feb. 1991.
16. J. S. Smith and S. B. Joshi, "Message-based part state graphs (MPSG): A formal model of shop floor control," IEEE Trans. Robot. Automat., to be published.
17. F. Y. Wang and G. N. Saridis, "Task translation and integration specification in intelligent machines," IEEE Trans. Robot. Automat., vol. 9, pp. 257-271, June 1993.
18. R. J. Wirfs-Brock and R. E. Johnson, "Surveying: Current research in object-oriented design," Commun. ACM, vol. 33, no. 9, pp. 104-124, 1990.
19. Y. Yao, "A Petri net model for temporal knowledge representation and reasoning," IEEE Trans. Syst., Man, Cybern., vol. 24, pp. 1374-1382, Sept. 1994.
20. C. Zhou, "Programmable controllability in discrete part manufacturing," in Proc. Flexible Automation Integrated Manufacturing, 1994, pp. 625-634.
21. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, MA: Kluwer, 1993.