www.prismmodelchecker.org
[CT96] G. Ciardo and M. Tilgner. On the Use of Kronecker Operators for the Solution of Generalized Stocastic Petri Nets. ICASE Report 96-35, Institute for Computer Applications in Science and Engineering. 1996. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications