Using Petri nets to represent production processes
- 1 January 1983
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 1062-1067
- https://doi.org/10.1109/cdc.1983.269683
Abstract
A preliminary investigation, and extension of the power, of timed Petri nets to describe, model, and analyze production processes is reported. In particular, insights into real-time control aspects as well as the performance of flexible manufacturing systems are sought. Comparisons with previous investigative models are made. New and general modeling conventions are provided, which extend the realm of Petri net modeling capabilities. Various realistic aspects of manufacturing processes are modeled. Efficient algebraic tools to analyze a certain class of Petri nets are described [1]. We show that, under some structural assumptions, timed Petri net models of manufacturing processes translate into linear equations in a (max, +)- based algebra. Efficient algorithms can solve these equations for the purposes of both performance evaluation and real-time control.Keywords
This publication has 8 references indexed in Scilit:
- Perturbation analysis and optimization of queueing networksJournal of Optimization Theory and Applications, 1983
- A linear-system-theoretic view of discrete-event processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1983
- Modeling and analysis of communication and cooperation protocols using petri net based modelsComputer Networks (1976), 1982
- Stationary Properties of Timed Vector Addition SystemsPublished by Springer Nature ,1982
- Loading and control policies for a flexible manufacturing systemInternational Journal of Production Research, 1981
- Performance Evaluation of Asynchronous Concurrent Systems Using Petri NetsIEEE Transactions on Software Engineering, 1980
- Analytical performance evaluation for the design of flexible manufacturing systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1978
- A new approach to optimization of sequencing decisionsAnnual Review in Automatic Programming, 1970