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 ...

Underwater Sensor Networks (UWSNs) employ sensor nodes and acoustic communication to detect physical attributes of water such as temperature, pressure, etc. Research on UWSNs has emerged thanks to their wide spectrum of ...