Petri net modelling and design of task oriented messaging system for robot control

Abstract Manufacturing Message Specification (MMS) is an international standard for shop floor machine control. It defines a set of conceptual schema and an interactive software object known as Virtual Manufacturing Device (VMD). Many systems have been established using this protocol but very few formal methods have been used to build such systems. This paper addresses the problems of the design and analysis of a network-based task oriented messaging system for flexible robot task control using a Petri net. The information and message transfer processes of the MMS systems were analysed. The modelling methodology allows a top down approach by which the net model is decomposed into fine details with clear identification of components which can be realised directly from the model. This approach is illustrated in this paper by a Windows-based robot control prototype system implemented from the Petri net model. The prototype was built using Object Windows Library and the NetBIOS session layer protocol on a PC network.

[1]  Simon Peck,et al.  Practice of Petri Nets in Manufacturing , 1993 .

[2]  Vincent Hayward,et al.  Robot Manipulator Control under Unix RCCL: A Robot Control "C" Library , 1986 .

[3]  R. B. Kelley,et al.  An Expert Supervisor For A Robotic Work Cell , 1988, Other Conferences.

[4]  Fei-Yue Wang,et al.  Protocol design and performance analysis for manufacturing message specification: A Petri net approach , 1994, IEEE Trans. Ind. Electron..

[5]  Neal Laurance,et al.  The Use of MMS for Remote CNC Control , 1987, IEEE Transactions on Industrial Electronics.

[6]  Guy Juanole,et al.  On communication protocol modelling and design , 1984, European Workshop on Applications and Theory in Petri Nets.

[7]  P. Pleinevaux,et al.  An analysis of the MMS object model , 1994, IEEE Trans. Ind. Electron..

[8]  Chell Roberts,et al.  Manufacturing communication: a review of the MMS approach , 1995 .

[9]  J. M. Proth.  Principles of system modeling , 1993 .

[10]  John P.T. Mo,et al.  The use of the Virtual Manufacturing Device in the Manufacturing Message Specification protocol for robot task control , 1996 .

[11]  Opas Chutatape,et al.  MMS and interprocess communication for multiple robot assembly system , 1992, [1992] Proceedings of the IEEE International Symposium on Industrial Electronics.

[12]  Alessandro Giua,et al.  Petri net structural analysis for supervisory control , 1994, IEEE Trans. Robotics Autom..

[13]  Milena M. Didic.  Rapid prototyping for MAP/MMS based CIM-OSA environments , 1992, [1992 Proceedings] The Third International Workshop on Rapid System Prototyping.

[14]  Wei Zhang,et al.  A Control System for Assembly Robots Using Serial Communication Interface , 1993 .

[15]  Richard H. Weston,et al.  Robot protocols and interfacing to LANs , 1987 .

[16]  Fei-Yue Wang,et al.  Performance analysis of MMS using GSPN , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[17]  John P.T. Mo,et al.  Integrated robot control using manufacturing message specification protocol based on NetBIOS , 1993 .

[18]  Jpt Mo,et al.  Real Time Event Driven Scheduling for Message Controlled Manufacturing Devices , 1995 .

[19]  Y. Narahari,et al.  Transient analysis of manufacturing systems performance , 1994, IEEE Trans. Robotics Autom..

[20]  Hideyo Itoh.  A Computer System for Communicating the Assembly Information , 1993 .

[21]  MengChu Zhou,et al.  Petri net synthesis and analysis of a flexible manufacturing system cell , 1993, IEEE Trans. Syst. Man Cybern..

[22]  MengChu Zhou,et al.  Design and implementation of a petri net based supervisor for a flexible manufacturing system , 1992, Autom..

[23]  D. C. Hendry.  Heterogeneous Petri net methodology for the design of complex controllers , 1994 .

[24]  Robert Harrison,et al.  Architecture/software design for machine control , 1990 .

[25]  Gyung-Jin Park,et al.  Communication Software Development for a Workstation Controller in a CIM System , 1992 .

[26]  David M. Dilts,et al.  The evolution of control architectures for automated manufacturing systems , 1991 .