Non-Markovian Petri Nets (Panel)

  title={Non-Markovian Petri Nets (Panel)},
  author={Kishor S. Trivedi and Andrea Bobbio and Mikl{\'o}s Telek and Reinhard German and Gianfranco Ciardo and Antonio Puliafito},
Non-Markovian models allow us to capture a very wide range of circumstances in which it is necessary to model phenomena whose times to occurrence is not exponentially distributed. Events such as timeouts in a protocol, service times at a machine performing the same task on each part, and memory access or instruction execution in a low-level h/w or s/w model, have durations which are constant or with a very low variance. Phase-type distributions can be used to approximate a non-exponential, but… CONTINUE READING