Presents a complete prototyping flow for concurrent control systems implemented in programmable devices. Demonstrates the implementation of dynamic and static partial reconfiguration of concurrent control systems in programmable devices. Introduces new algorithms related to perfect graphs, hypergraphs, covering, and decomposition of concurrent control systems described by Petri nets. Explains how to estimate the computational complexity of algorithms

Describes a variety of methodologies for modern embedded systems design

Implements methodologies presented on FPGAs

Covers a wide variety of applications for reconfigurable embedded systems, including Bioinformatics, Communications and networking, Application acceleration, Medical solutions, Experiments for high energy physics, Astronomy, Aerospace, Biologically inspired systems and Computational fluid dynamics