A Lightweight Model-driven MES Simulation Framework Based On Probabilistic Finite Automata | IEEE Conference Publication | IEEE Xplore