A Conversion Method from an ETSC to a Timed Petri Net to Improve the Matrix-based Discrete Event Controller and its Unified Support System.