For the most recent entries see the Petri Nets Newsletter.

Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets.

Junior, Meuse N. O.; Neto, Silvino; Maciel, Paulo; Lima, Ricardo; Ribeiro, Angelo; Barreto, Raimundo; Tavares, Eduardo; Braga, Frederico

In: Lecture Notes in Computer Science : Petri Nets and Other Models of Concurrency - ICATPN 2006, Volume 4024, 2006, pages 261-281. 2006. URL:

Abstract: This paper presents an approach for analyzing embedded systems' software energy consumption and performance based on probabilistic modeling. Such an approach applies Coloured Petri Net modeling language (CPN) for supporting simulation and analysis. The proposed approach offers three basic contributions for embedded system analysis field:(i)code modeling, a probabilistic model for scenarios exploration being presented, (ii) formalism, a formal and widespread modeling language (CPN) being applied, with previously validated engines and algorithms for simulation;(iii) flexibility, the proposed approach enabling modeling of different micro-controllers at different abstraction levels.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography