%0 Journal Article
%T FMS-Workflow Modeling Based on P-Timed Stochastic Petri Net
%A Walid Ben Mesmia
%A Kamel Barkaoui
%A Mohamed Escheikh
%J Journal of Software Engineering and Applications
%P 443-482
%@ 1945-3124
%D 2023
%I Scientific Research Publishing
%R 10.4236/jsea.2023.169022
%X In this paper, we propose astochastic Petri net model P-timed Workflow (<em>WPTSPN</em>) to specify, verify, and analyze a business process (<em>BP</em>) of a Flexible Manufacturing System (<em>FMS</em>). 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<em> MATLAB</em> simulation through a specific <em>FMS </em>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 <em>FMS </em>workflow.
%K WPTSPN
%K SPN
%K Workflow
%K FMS
%K P-Timed
%K Specification
%K Verification
%K Prediction
%U http://www.scirp.org/journal/PaperInformation.aspx?PaperID=127669