Figure 2From: A Formal Model for Performance and Energy Evaluation of Embedded Systems CPN model for the LPC2106 architecture (High-level view). Back to article page