Methodological construction of product-form stochastic Petri nets for performance evaluation
Keywords: شبکه های پتری; Performance evaluation of software architectures; Stochastic modelling; Product-form solutions; Petri nets; Modular specification