FMS-Workflow Modeling Based on P-Timed Stochastic Petri Net

作     者：Walid Ben Mesmia Kamel Barkaoui Mohamed Escheikh Walid Ben Mesmia;Kamel Barkaoui;Mohamed Escheikh

作者机构：Sys’Com-ENIT Tunisia ENIT Le Belvédère Tunis Tunisia CEDRIC-CNAM Paris France 

出 版 物：《Journal of Software Engineering and Applications》 (软件工程与应用（英文）)

年 卷 期：2023年第16卷第9期

页      面：443-482页

学科分类：07[理学] 0701[理学-数学] 070101[理学-基础数学] 

主　　题：WPTSPN SPN Workflow FMS P-Timed Specification Verification Prediction 

摘      要：In this paper, we propose astochastic Petri net model P-timed Workflow (WPTSPN) to specify, verify, and analyze a business process (BP) of a Flexible Manufacturing System (FMS). After formalizing the semantics of our model, we illustrate how to verifysome of its properties (reachability, safety, boundedness, liveness, correctness, alive tokens, and security) in the P-Timed context. Next, we validate the relevance of the proposed model with MATLAB simulation through a specific FMS case study. Finally, we use a generalized truncated density function to predict the duration of a token’s sojourn (residence) in a timed place with respect to the sequence states of the global FMS workflow.