PETRI NETS AND INDUSTRIAL APPLICATIONS - A TUTORIAL

被引:348
作者
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 条
[1]  
Adamou M., Bourljault A., Zerhouni S., Modelling and control of flexible manufacturing assembly systems using object oriented Petri nets, Proc. IEEE Int. Workshop on Emerging Technol. and Factory Automation, pp. 164-168, (1993)
[2]  
Ben S.A., Moalla M., Courvoisier M., Valette R., Flexible manufacturing production system modelling using object Petri nets and their analysis, IMACS Symp. MCTS, pp. 553-560, (1991)
[3]  
Akaza M., Lee D-I., Kumagai S., Kodama S., Application of timed marked graphs to a scheduling problem of production systems including repetitive processes with set-up times, Modern Tools for Manufacturing Systems, pp. 263-277, (1993)
[4]  
Al-Jaar R.Y., Desrochers A.A., Performance evaluation of automated manufacturing systems using generalized stochastic Petri nets, IEEE Trans. Robotics and Automat., 6, 6, pp. 621-639, (1990)
[5]  
Amar S., Craye E., Gentina J.-C., A method for hierarchical specification and prototyping of flexible manufacturing systems, Proc. IEEE Workshop on Emerging Technol. and Factory Automation, pp. 44-59, (1992)
[6]  
Ammar H.H., Islam S.M., Deng S., Performability analysis of parallel and distributed algorithms, Proc. IEEE Int. Workshop on Petri Nets and Performance Models, (1989)
[7]  
Banaszak Z.A., Krogh B.H., Deadlock avoidance in flexible manufacturing systems with concurrency competing process flows, IEEE Trans. Robotics Automat., 6, 6, pp. 724-734, (1990)
[8]  
Barakat O., Paris L., Bourrieres J., Lhote F., Object oriented modelling of assembly tasks, IMACS Symp. MCTS, pp. 638-643, (1991)
[9]  
Barbeau M., Bochman G., A subset of Lotos with the computational power of place/transition-nets, Advances and Theory of Petri Nets, 691, pp. 49-68, (1993)
[10]  
Bastide R., Silbertin-Blanc C., Modelling of flexible manufacturing system by means of cooperative objects, Computer Applications in Production and Engineering. G. Doumeingts, pp. 593-600, (1991)