Markov Regenerative Stochastic Petri Nets

[1]  Kishor S. Trivedi,et al.  The Completion Time of Programs on Processors Subject to Failure and Repair , 1993, IEEE Trans. Computers.

[2]  Christoph Lindemann.  An Improved Numerical Algorithm for Calculating Steady-State Solutions of Deterministic and Stochastic Petri Net Models , 1993, Perform. Evaluation.

[3]  Hoon Choi,et al.  Transient Analysis of Deterministic and Stochastic Petri Nets , 1993, Application and Theory of Petri Nets.

[4]  Hoon Choi,et al.  Sensitivity Analysis of Deterministic and Stochastic Petri Nets , 1993, IEEE/ACM International Symposium on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems.

[5]  M. Malhotra,et al.  Selecting and implementing phase approximations for semi-Markov models , 1993 .

[6]  M. Ajmone Marsan.  Application and theory of Petri nets 1993 : 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993 : proceedings , 1993 .

[7]  Hoon Choi,et al.  Performance and reliability modeling using Markov regenerative stochastic Petri nets , 1993 .

[8]  William H. Sanders,et al.  Performability modeling with UltraSAN , 1991, IEEE Software.

[9]  Kishor S. Trivedi,et al.  GSPM models: sensitivity analysis and applications , 1990, ACM-SE 28.

[10]  Kishor S. Trivedi,et al.  GSPN Models: Sensitivity Analysis and Applications , 1990 .

[11]  Marco Ajmone Marsan,et al.  The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets , 1989, IEEE Trans. Software Eng..

[12]  P. Haas,et al.  Stochastic petri nets with timed and immediate transitions , 1989 .

[13]  Stanislaw Budkowski,et al.  An Introduction to Estelle: A Specification Language for Distributed Systems , 1987, Comput. Networks.

[14]  Marco Ajmone Marsan,et al.  On Petri nets with deterministic and exponentially distributed firing times , 1986, European Workshop on Applications and Theory of Petri Nets.

[15]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[16]  Kishor S. Trivedi,et al.  Extended Stochastic Petri Nets: Applications and Analysis , 1984, Performance.

[17]  D. Jagerman.  An inversion technique for the Laplace transform , 1982, The Bell System Technical Journal.

[18]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[19]  Erhan Çinlar,et al.  Introduction to stochastic processes , 1974 .