Modeling a Heterogeneous Embedded System in Coloured Petri Nets
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'...
Saved in:
Main Authors: | Huafeng Zhang, Hehua Zhang, Ming Gu, Jiaguang Sun |
---|---|
Format: | Article |
Language: | English |
Published: |
Wiley
2014-01-01
|
Series: | Journal of Applied Mathematics |
Online Access: | http://dx.doi.org/10.1155/2014/943094 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking
by: Wenjie Zhong, et al.
Published: (2023-02-01) -
Using Coloured Petri Nets for Evaluating the Power Consumption of Wireless Sensor Networks
by: Antônio Dâmaso, et al.
Published: (2014-06-01) -
A Graphical Approach for Hybrid Simulation of 3D Diffusion Bio-Models via Coloured Hybrid Petri Nets
by: Amr Ismail, et al.
Published: (2020-01-01) -
Reliability Model of the Fly-By-Wire System Based on Stochastic Petri Net
by: Zhong Lu, et al.
Published: (2019-01-01) -
On Categories of Fuzzy Petri Nets
by: Arun K. Srivastava, et al.
Published: (2011-01-01)