Verification of production activity control architecture using PETRI net tools

被引：0
作者：
Butt, Shahid Ikramullah [1 ,2 ,4 ]
Sun, Hou-Fang [1 ]
Wain, Amir Manzur [3 ]
机构：
[1] Department of Manufacturing and Automation (3Rd School), Beijing Institute of Technology, Beijing 100081, Haidian Dist.
[2] National University of Sciences and Technology, Rawalpindi
[3] Department of Business Administration, Superior Group of Colleges, Lahore
[4] Department of Manufacturing and Automation (3Rd School), Beijing Institute of Technology, Building # 3, Beijing 100081, Haidian Dist.
来源：
Information Technology Journal | 2007年 / 6卷 / 06期
关键词：
Petri net; Production Activity Control (PAC); Shop floor control; Shop floor information system;
D O I：
10.3923/itj.2007.924.928
中图分类号：
学科分类号：
摘要：
A Petri net is viewed as a valuable tool for studying and analyzing systems. Being a graphical tool, Petri nets can be used as a visual-communication aid similar to flow charts, block diagrams and networks. Beijing Institute of Technology-Production Activity Control (BIT-PAC) architecture has been developed to overcome the weakness of the former production activity control architecture. It facilitates the information flow from shop floor to the other areas of the organization and makes the organizations more integrated and productive. This architecture also facilitates in the expansion of the shop floor functions without disturbing the basic infrastructure. A Petri net tool is used to illustrate the communication between different entities specially Dispatcher, Producer and Sub-producer. To illustrate a sample protocol between Dispatcher, Producer and Sub-producer an available Petri net tool-HPSim is used to develop a model and then verify the effectiveness of the developed BIT-PAC architecture. © 2007 Asian Network for Scientific Information.
引用
收藏
页码：924 / 928
页数：4
相关论文
共 6 条
  • [1] Bauer R.B., Browne J., Duggan J., Lyons G., Shop Floor Control Systems-From Design to Implementation, (1991)
  • [2] Murata T., Petri nets: Properties, analysis and applications, Proceedings of the IEEE, 77, pp. 541-580, (1989)
  • [3] Petri C.A., Kommunikation mit Automaten. Bonn: Institut für Instrumentelle Mathematik, Communication with Automata New York: Griffiss Air Force Base, (1962)
  • [4] Salimifard K., Wright M., Petri net-based modelling of workflow systems: An overview, Eur. J. Operát. Res, 134, pp. 664-676, (2001)
  • [5] Shahid I.B., Sun H.F., Gao Z.Q., Application of improved production activity control architecture for shop floor information system in digital manufacturing, Chinese J. Mech. Eng, 19, pp. 483-486, (2006)
  • [6] Shean-Shyong C., Yih-Ping L., Architecture design of Shop Floor Information System-Using WWW and 3-tier Architecture, Int. J. Comput. Internet Manage, 9, pp. 1-11, (2001)
1