Stojic, Ivan <1982>
(Università Ca' Foscari Venezia, 2017-03-01)
Stochastic Petri nets (SPN) are a Markovian formalism for qualitative and quantitative analysis of discrete event dynamic systems. Among other uses, they have been used extensively in performance evaluation of telecommunication ...