Efficient Analysis of Asymmetric Distributed Systems : a High Level PN Approach