In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a different formulation using labeled automata, a generalization which encompasses a bigger class of productform solutions, and a new proof based on the solution of the system of global balance equations. We show that our result may have practical applications in the performance evaluation of complex software and hardware architectures and can be the base for the development of new analysis tools or the extension of existing ones. Categories and Subject Descriptors C.4 [PERFORMANCE OF SYSTEMS]: Modeling techniques General Terms Performance Keywords Queuing theory, Product form solutions.