Open Access
2014 Modeling a Heterogeneous Embedded System in Coloured Petri Nets
Huafeng Zhang, Hehua Zhang, Ming Gu, Jiaguang Sun
J. Appl. Math. 2014(SI11): 1-8 (2014). DOI: 10.1155/2014/943094


Embedded devices are everywhere now and, unlike personal computers, their systems differ in implementation languages and behaviors. Interactions of different devices require programmers to master programming paradigms in all related languages. So, a defect may occur if differences in systems' behaviors are ignored. In this paper, a heterogeneous system which is composed of two subsystems is introduced and we point out a potential defect in this system caused by an interface mismatch. Then, a state based approach is applied to verify our analysis of the system.


Download Citation

Huafeng Zhang. Hehua Zhang. Ming Gu. Jiaguang Sun. "Modeling a Heterogeneous Embedded System in Coloured Petri Nets." J. Appl. Math. 2014 (SI11) 1 - 8, 2014.


Published: 2014
First available in Project Euclid: 1 October 2014

Digital Object Identifier: 10.1155/2014/943094

Rights: Copyright © 2014 Hindawi

Vol.2014 • No. SI11 • 2014
Back to Top