![](/images/graphics-bg.png)
Modeling a Heterogeneous Embedded System in Coloured Petri Nets
المؤلفون المشاركون
Zhang, Hehua
Zhang, Huafeng
Gu, Ming
Sun, Jiaguang
المصدر
Journal of Applied Mathematics
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-8، 8ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-03-31
دولة النشر
مصر
عدد الصفحات
8
التخصصات الرئيسية
الملخص 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.
نمط استشهاد جمعية علماء النفس الأمريكية (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
نمط استشهاد الجمعية الأمريكية للغات الحديثة (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
نمط استشهاد الجمعية الطبية الأمريكية (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
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-510175
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)