Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models

This publication has 10 references indexed in Scilit:

• Generalized stochastic Petri nets for the performance evaluation of FMS
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Coloured Petri net models for automated manufacturing systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Stochastic Petri net analysis of a replicated file system
  IEEE Transactions on Software Engineering, 1989
• Safety Analysis Using Petri Nets
  IEEE Transactions on Software Engineering, 1987
• Applications of petri net based models in the modelling and analysis of flexible manufacturing systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1986
• Models for simulation and discrete control of manufacturing systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1986
• A Petri net approach to the modelling and analysis of flexible manufacturing systems
  Annals of Operations Research, 1985
• Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system
  Published by Springer Nature ,1985
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
  ACM Transactions on Computer Systems, 1984
• System Deadlocks
  ACM Computing Surveys, 1971