Capacitated stochastic coloured Petri net-based approach for computing two-terminal reliability of multi-state network | BIAI Journals & Magazine | IEEE Xplore