Modeling a Heterogeneous Embedded System in Coloured Petri Nets | Zendy

Huafeng Zhang | Zendy; Hehua Zhang | Zendy; Ming Gu | Zendy; Jiaguang Sun | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Modeling a Heterogeneous Embedded System in Coloured Petri Nets

Author(s) -

Huafeng Zhang,

Hehua Zhang,

Ming Gu,

Jiaguang Sun

Publication year - 2014

Publication title -

journal of applied mathematics

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.307

H-Index - 43

eISSN - 1687-0042

pISSN - 1110-757X

DOI - 10.1155/2014/943094

Subject(s) - computer science , petri net , interface (matter) , point (geometry) , programming language , distributed computing , state (computer science) , theoretical computer science , parallel computing , mathematics , geometry , bubble , maximum bubble pressure method

Embedded devices are everywhere now and, unlike personalcomputers, their systems differ in implementation languages and behaviors. Interactions of different devices require programmers to masterprogramming paradigms in all related languages. So, a defect may occurif differences in systems' behaviors are ignored. In this paper, a heterogeneoussystem which is composed of two subsystems is introducedand we point out a potential defect in this system caused by an interfacemismatch. Then, a state based approach is applied to verify our analysisof the system

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research