PETRI NETS AND INDUSTRIAL APPLICATIONS - A TUTORIAL

被引:349
作者
ZURAWSKI, R
ZHOU, MC
机构
[1] Laboratory for Robotics & Intelligent Systems, Swiburne University of Technology, Melbourne
[2] Laboratory for Discrete Event Systems, Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark
关键词
D O I
10.1109/41.334574
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This is a tutorial paper on Petri nets. Petri nets, as a graphical and mathematical tool, provide a uniform environment for modelling, formal analysis, and design of discrete event systems. The main objective of this paper is to introduce the fundamental concepts of Petri nets to the researchers and practitioners, both from academia and industry, who are involved in the work in the areas of modelling and analysis of industrial types of systems, as well as those who may potentially be involved in these areas. The paper begins with an overview of applications of Petri nets, mostly industrial ones. Then, it proceeds with a description of Petri nets, properties, and analysis methods. The discussion of properties is put in the context of industrial applications. The analysis methods are illustrated using an example of a simple robotic assembly system. The performance analysis, using Petri nets, is discussed for deterministic and stochastic Petri nets. The presented techniques are illustrated by examples representing simple production systems. In addition, the paper introduces high-level Petri nets, fuzzy Petri nets, and temporal Petri nets. This is done in the context of application prospects. The paper also briefly discusses some of the reasons restricting the use of Petri nets, mostly, to academic institutions.
引用
收藏
页码:567 / 583
页数:17
相关论文
共 113 条
[71]  
Mazigh B., Simon F., Well suited modelling and evaluation techniques based on GSPN for real production systems, Proc. IEEE Int. Workshop on Emerging Technol. and Factory Automat., pp. 169-176, (1993)
[72]  
McCarragher B., Robotic assembly and trajectory planning using discrete-event modelling, Proc. IEEE Int. Workshop on Emerging Technol. and Factory Automat., pp. 187-196, (1993)
[73]  
Molloy M.K., Performance analysis using stochastic Petri nets, IEEE Trans. Comput., 3, 9, pp. 913-917, (1982)
[74]  
Moriguchi S., Shedler G.S., Simulation methods for logistics systems using stochastic Petri nets, Modern Tools for Manufacturing Systems, pp. 289-320, (1993)
[75]  
Morioka S., Yamada T., Performance evaluation of marked graphs by linear programming, Int. J. Syst. Sci., 22, 9, pp. 1541-1552, (1991)
[76]  
Murata T., Petri nets: Properties, analysis, and applications, Proc. IEEE, 77, 4, pp. 541-580, (1989)
[77]  
Murata T., Shenker B., Shatz S., Detection of ADA static deadlocks using Petri net invariants, IEEE Trans. Software Eng., 15, 3, pp. 314-326, (1989)
[78]  
Murata T., Komoda N., Matsumoto K., Haruna K., A Petri net based controller for flexible and maintainable sequence control and its application in factory automation, IEEE Trans. Ind. Electron., 33, 1, pp. 1-8, (1986)
[79]  
Nketsa A., Courvoisier M., A Petri net based single chip programmable controller for distributed local controls, Proc. IECON’90, 1, pp. 542-547, (1990)
[80]  
Pascal J-C., Valette R., Andreu D., Fuzzy sequential control based on Petri nets, Proc. IEEE International Conference on Emerging Technology and Factory Automation, pp. 140-145, (1992)