Physical Sciences and Mathematics Commons^™

Simulation And Numerical Solution Of Stochastic Petri Nets With Discrete And Continuous Timing, Robert Linzey Jones Iii

Dissertations, Theses, and Masters Projects

We introduce a novel stochastic Petri net formalism where discrete and continuous phase-type firing delays can appear in the same model. By capturing deterministic and generally random behavior in discrete or continuous time, as appropriate, the formalism affords higher modeling fidelity and efficiencies to use in practice. We formally specify the underlying stochastic process as a general state space Markov chain and show that it is regenerative, thus amenable to renewal theory techniques to obtain steady-state solutions. We present two steady-state analysis methods depending on the class of problem: one using exact numerical techniques, the other using simulation. Although regenerative …