A characterization of independence for competing Markov chains with applications to stochastic Petri nets
Richard J. Boucherie · IEEE Transactions on Software Engineering · 1994
This paper shows that some of the recently obtained product form results for stochastic Petri nets can be obtained as a special case of a simple exclusion mechanism for the product process of a collection of Markov chains.>