Author(s)

Walid Ben Mesmia¹, Kamel Barkaoui², Mohamed Escheikh¹

¹Sys’Com-ENIT, Tunisia, ENIT, Le Belvédère, Tunis, Tunisia.
²CEDRIC-CNAM, Paris, France.

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.

WPTSPN, SPN, Workflow, FMS, P-Timed, Specification, Verification, Prediction

Mesmia, W. , Barkaoui, K. and Escheikh, M. (2023) FMS-Workflow Modeling Based on P-Timed Stochastic Petri Net. Journal of Software Engineering and Applications, 16, 443-482. doi: 10.4236/jsea.2023.169022.