收录：
摘要：
基于概率时间自动机应用于智能工厂流程的设计方法属于计算机工业物联网领域，通过需求分析、基于概率时间自动机建模、建立工作流引擎、设计工作流系统平台的总体思路，形成一套完整的工作流引擎平台。(1)通过对概率时间自动机这一概念进行深入学习与研究，并对工业物联网流程分析以及相关文献进行广泛调研分析，提出了基于工业物联网的概率时间自动机的工作流引擎的功能需求(2)对工业物联网流程进行建模分析，即将工业物联网的流程映射为概率时间自动机中的事件、变量以及流程、权限等模块和流程管理引擎并且建立角色和事务模型(3)建模分析完成后根据UPPAAL流程仿真工具对流程的正确性进行验证并设计工作流引擎。
关键词：
通讯作者信息：
电子邮件地址：
