期刊
IEEE ACCESS
卷 10, 期 -, 页码 42983-43002出版社
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/ACCESS.2022.3168000
关键词
Internet of Things; Manufacturing; Analytical models; Petri nets; Stochastic processes; Production; Process control; Formal verification; colored generalized stochastic Petri net; timed and stochastic process; process manufacturing model; BPMN
资金
- Postdoctoral Fellowship (Ratchadaphiseksomphot Endowment Fund) of Chulalongkorn University
This paper proposes a quantitative verification approach for analyzing and optimizing IoT manufacturing design models. The approach combines the use of BPMN and CGSPN representations to help designers identify and fix issues in manufacturing models.
Internet of Things (IoT) technologies have been increasingly developed for real-time application in manufacturing processes to address heterogeneous devices and software effectively. Although almost all activities in a manufacturing process can perform an action when data objects arrive at the activity, physical devices or activities have process involving the operation of chance over time and probabilistic function for proceeding with their operations. Therefore, the formal verification of an IoT process design model have to consider the timed constraints, probabilistic tasks and dependencies between activities. This paper proposes a quantitative verification approach for analyzing and optimizing IoT manufacturing design models that are designed in business process model and notation (BPMN) representation. The transformation rules of BPMN element into the colored generalized stochastic Petri net (CGSPN) are proposed, and the stepwise approaches for refining and verifying the components of the CGSPN models are illustrated. Our framework helps the designers to automate the CGSPN model and to localize the operational gaps, time and flaws of the process manufacturing models.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据