M-timed Petri nets, priorities, preemptions, and performance evaluation of systems

This publication has 17 references indexed in Scilit:

• Modelling scheduling problems with timed petri nets
  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
• Modeling and Verification of End-to-End Protocols
  Published by Springer Nature ,1982
• Special Feature: Putting Petri Nets to Work
  Computer, 1979
• The Operational Analysis of Queueing Network Models
  ACM Computing Surveys, 1978
• Recoverability of Communication Protocols--Implications of a Theoretical Study
  IEEE Transactions on Communications, 1976
• Fundamental operational laws of computer system performance
  Acta Informatica, 1976
• Limitations of Dijkstra's Semaphore Primitives and Petri nets
  ACM SIGOPS Operating Systems Review, 1973