Figure 11From: A Formal Model for Performance and Energy Evaluation of Embedded SystemsMultiprocessor case study. Multiprocessor environmentMultiprocessor CPN modelBack to article page