On-the-Fly Solution Techniques for Stochastic Petri Nets and Extensions

Daniel D. Deavours, William H. Sanders. On-the-Fly Solution Techniques for Stochastic Petri Nets and Extensions. IEEE Trans. Software Eng., 24(10):889-902, 1998. [doi]

Abstract

Abstract is missing.