Compiling Techniques for the Analysis of Stochastic Petri Nets

This publication has 7 references indexed in Scilit:

• Timed Petri net model for the accurate performance analysis of CSMA/CD bus LANs
  Computer Communications, 1987
• An accurate performance model of CSMA/CD bus LAN
  Lecture Notes in Computer Science, 1987
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
  ACM Transactions on Computer Systems, 1984
• Multidimensional Height-Balanced Trees
  IEEE Transactions on Computers, 1984
• Performance Analysis Using Stochastic Petri Nets
  IEEE Transactions on Computers, 1982
• Queuing Networks with Multiple Closed Chains: Theory and Computational Algorithms
  IBM Journal of Research and Development, 1975
• Marked directed graphs
  Journal of Computer and System Sciences, 1971