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