TY - SER AU - Campos, Javier AU - Silva, Manuel AU - Donatelil, Susanna TI - Structured Solution of Asynchronously Communicating Stochastic Modules KW - Petri Net Models KW - Performance Analysis KW - Structural Decomposition ER -