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

来源：

IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS | 1994年 / 41卷 / 06期

关键词：

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 条

[61]

Lafitts S., Proth J-M., Xie X.L., Marking optimization in timed event graphs, Advances in Petri Nets, 674, pp. 281-299, (1993)

[62]

Lakos C.A., Keen C.D., Modelling layered protocols in LOOP, Proc. 4th IEEE Int. Workshop on Petri Nets and Performance Models, pp. 106-115, (1991)

[63]

Lee D.Y., DiCesare F., Scheduling flexible manufacturing systems using Petri nets and heuristic search, IEEE Trans. Robotics and Automat., 10, 2, (1994)

[64]

Lendon W.W., Vidale R.F., Analysis of an Ada system using coloured Petri nets and occurrence graphs, Applications and Theory of Petri Nets, 616, pp. 384-388, (1992)

[65]

Leveson N.G., Stolzy J.L., Safety analysis using Petri nets, IEEE Trans. Software Eng., 13, 3, pp. 386-397, (1987)

[66]

Loony C.J., Fuzzy Petri nets for rule-based decision making, IEEE Trans. Man, (1988)

[67]

Marsan A.M., Signore V., Timed Petri net performance of fibre optics LAN architectures, Proc. IEEE Int. Workshop on Petri Nets and Performance Models, (1987)

[68]

Marsan A.M., Balbo G., Conte G., Performance Evaluation of Multiprocessor Systems using Petri Nets. Cambridge, (1986)

[69]

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems, ACM Trans. Comput. Syst., 2, 2, pp. 93-122, (1984)

[70]

Martinez J., Muro P., Silva M., Modeling, validation and software implementation of production systems using high level Petri nets, Proc. IEEE Int. Conf. Robotics and Automat., pp. 1180-1185, (1987)

← 2 3 4 5 6 7 8 9 10 11 →