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 条
[91]  
Shih H., Sehiguchi T., A time Petri net and beam search based on-line FMS scheduling system with routing flexibility, Proc. IEEE Conf. on Robotics and Automat., (1991)
[92]  
Shapiro R.M., Validation of VLSI chip using hierarchical coloured Petri nets, Proc. 11th Int. Conf. Applicat. and Theory of Petri Nets, (1990)
[93]  
Shatz S., Mai K., Black C., Tu S., Design and implementation of a Petri net based toolkit for Ada tasking analysis, IEEE Trans. Parallel Dist., 1, 4, pp. 424-441, (1990)
[94]  
Sibertin-Blanc C., High level Petri nets with data structures, Proc. 6th European Workshop on Applicat. and Theory of Petri Nets, (1985)
[95]  
Sifakis J., Use of Petri nets for performance evaluation, Measuring. Modelling, pp. 75-93, (1977)
[96]  
Srinivasan V.S., Jafari M.A., Fault detection/monitoring using time Petri nets, IEEE Trans. Syst. Man, 23, 4, (1993)
[97]  
Suzuki l., Lu H., Temporal Petri nets and their application to modelling and analysis of a handshake daisy chain arbiter, IEEE Trans. Comput., 38, 5, pp. 696-704, (1989)
[98]  
Suzuki I., Formal analysis of the alternating bit protocol by temporal Petri nets, IEEE Trans. Software Eng., 16, 11, pp. 1273-1281, (1990)
[99]  
Suzuki T., Shatz S., Murata T., A protocol modelling and verification approach based on specification language and Petri nets, IEEE Trans. Software Eng., 16, 5, pp. 523-536, (1990)
[100]  
Tsai C-J., Fu L-C., Modular approach for Petri net modelling of flexible manufacturing systems adaptable to various task-flow requirements, Proc. of 1992 IEEE Conf. Robotics and Automat., pp. 1043-1048, (1992)