Discrete-Time Markovian Stochastic Petri Nets

This publication has 8 references indexed in Scilit:

• A characterization of the stochastic process underlying a stochastic Petri net
  IEEE Transactions on Software Engineering, 1994
• Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets
  Published by Springer Nature ,1993
• Stochastic Petri net analysis of a replicated file system
  IEEE Transactions on Software Engineering, 1989
• Numerical transient analysis of markov models
  Computers & Operations Research, 1988
• Means and variances of time averages in Markovian environments
  European Journal of Operational Research, 1987
• Randomization Procedures in the Computation of Cumulative-Time Distributions over Discrete State Markov Processes
  Operations Research, 1984
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
  ACM Transactions on Computer Systems, 1984
• Complete model for representing the coordination of asynchronous processes
  Published by Office of Scientific and Technical Information (OSTI) ,1974