Timed Petri net: An expeditious tool for modelling and analysis of manufacturing systems

  • Authors:

  • G. B. Reddy;S. S. N. Murty;K. Ghosh

  • Affiliations:

  • Industrial Engineering Department, Ecole Polytechnique Montreal, Quebec, H3C 3A7, Canada;Mechanical Engineering Department I.I.T, Kharagpur, India 721302;Industrial Engineering Department, Ecole Polytechnique Montreal, Quebec, H3C 3A7, Canada

  • Venue:
  • Mathematical and Computer Modelling: An International Journal
  • Year:
  • 1993

Quantified Score

Hi-index 0.98

Visualization

Abstract

The manufacturing systems used in the modern industry are usually composed of complex and sophisticated processing equipment which are integrated by automated material handling means and by advanced networks for information transfer. To understand many asynchronous and concurrent transactions in such manufacturing systems, appropriate mathematical models are needed. In this paper, timed Petri nets have been applied to model the production systems, and their usefulness to describe and analyze such systems has been presented. Furthermore, the modelling capabilities of timed Petri nets have been extended. To demonstrate the potential use of Petri nets, they are applied to model a simple fixed route FMS and a flow shop manufacturing system. An algorithm for the qualitative and quantitative analysis of timed Petri net models of manufacturing systems is presented. The criteria used for performance evaluation of the modelled system are the cycle time and the production rate. Methods to improve the performance of the system are suggested. The proposed algorithm is also able to identify the critical resources in the system, so that greater control and supervision can be provided over these critical resources and tasks. The dynamic behavior of the system can be viewed in terms of reachable states and from the firing diagram of the timed Petri net model.