Applications of petri net based models in the modelling and analysis of flexible manufacturing systems

This publication has 13 references indexed in Scilit:

• Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system
  Published by Springer Nature ,1985
• PSI: A petri net based simulator for flexible manufacturing systems
  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
• Modeling and analysis of communication and cooperation protocols using petri net based models
  Computer Networks (1976), 1982
• Performance Analysis Using Stochastic Petri Nets
  IEEE Transactions on Computers, 1982
• Models for Understanding Flexible Manufacturing Systems
  A I I E Transactions, 1980
• Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
  IEEE Transactions on Software Engineering, 1980
• Timed Petri nets and preliminary performance evaluation
  Published by Association for Computing Machinery (ACM) ,1980
• Special Feature: Putting Petri Nets to Work
  Computer, 1979
• A Synthesis Rule for Concurrent Systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1978