Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings | IEEE Conference Publication | IEEE Xplore