A characterization of independence for competing Markov chains with applications to stochastic Petri nets | IEEE Journals & Magazine | IEEE Xplore