Text this: XT-Hypergraph-Based Decomposition and Implementation of Concurrent Control Systems Modeled by Petri Nets.