www.prismmodelchecker.org
[TMR18] Pedro J. Rivera Torres, E. I. Serrano Mercado and E. I. Serrano Mercado. Probabilistic Boolean Network Modeling of an Industrial Machine. Journal of Intelligent Manufacturing. 2018. [Uses Probabilistic Boolean Networks to model manufacturing processes, and analyses models using PRISM.]
Links: [Google] [Google Scholar]

Publications