www.prismmodelchecker.org
[IT90] O. Ibe and K. Trivedi. Stochastic Petri Net Models of Polling Systems. IEEE Journal on Selected Areas in Communications, 8(9), pages 1649--1657. 1990. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications