![](/images/graphics-bg.png)
Modeling a Heterogeneous Embedded System in Coloured Petri Nets
Joint Authors
Zhang, Hehua
Zhang, Huafeng
Gu, Ming
Sun, Jiaguang
Source
Journal of Applied Mathematics
Issue
Vol. 2014, Issue 2014 (31 Dec. 2014), pp.1-8, 8 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2014-03-31
Country of Publication
Egypt
No. of Pages
8
Main Subjects
Abstract EN
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.
American Psychological Association (APA)
Zhang, Huafeng& Zhang, Hehua& Gu, Ming& Sun, Jiaguang. 2014. Modeling a Heterogeneous Embedded System in Coloured Petri Nets. Journal of Applied Mathematics،Vol. 2014, no. 2014, pp.1-8.
https://search.emarefa.net/detail/BIM-510175
Modern Language Association (MLA)
Zhang, Huafeng…[et al.]. Modeling a Heterogeneous Embedded System in Coloured Petri Nets. Journal of Applied Mathematics No. 2014 (2014), pp.1-8.
https://search.emarefa.net/detail/BIM-510175
American Medical Association (AMA)
Zhang, Huafeng& Zhang, Hehua& Gu, Ming& Sun, Jiaguang. Modeling a Heterogeneous Embedded System in Coloured Petri Nets. Journal of Applied Mathematics. 2014. Vol. 2014, no. 2014, pp.1-8.
https://search.emarefa.net/detail/BIM-510175
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-510175