Research and application of workflow engine based on probabilistic timed automata of industrial Internet of things | IEEE Conference Publication | IEEE Xplore