A characterization of independence for competing Markov chains with applications to stochastic Petri nets | IEEE Conference Publication | IEEE Xplore