Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification.

Filipe Moutinho Luís Gomes

Published in: DoCEIS (2013)

Keyphrases

embedded systems
embedded devices
low cost
computing power
processing power
embedded software
real time image processing
high level
resource limited
cooperative
computing environments
software systems
real time systems
field programmable gate array
hardware software
real time
learning objects
multi agent
case study