Arrival theorems for product-form stochastic Petri nets