Petri nets and industrial applications: A tutorial
- 1 December 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Industrial Electronics
- Vol. 41 (6) , 567-583
- https://doi.org/10.1109/41.334574
Abstract
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 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.<>Keywords
This publication has 79 references indexed in Scilit:
- Implementation of a Petri net controller for a machining workstationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Specification of FMS real-time control based on Petri nets with objects and process failure monitoringPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Modeling and evaluating the DQDB protocol with stochastic timed Petri netsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- GSPN models of concurrent architectures with mesh topologyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Autonomous and timed continuous Petri netsPublished by Springer Nature ,1993
- Stochastic well-formed colored nets and symmetric modeling applicationsIEEE Transactions on Computers, 1993
- Properties and performance bounds for timed marked graphsIEEE Transactions on Circuits and Systems I: Regular Papers, 1992
- Modeling, Control, and Performance Analysis of Automated Manufacturing Systems Using Petri NetsPublished by Elsevier ,1991
- Knowledge representation using fuzzy Petri netsIEEE Transactions on Knowledge and Data Engineering, 1990
- System DeadlocksACM Computing Surveys, 1971