Barkaoui, K. and Petrucci, L. (1998) Structural Analysis of Workflow Nets with Shared Resources. In: van der Aalst, W.M.P., De Michelis, G. and Ellis, C.A., Eds., Workflow Management: Net-Based Concepts, Models, Techniques, and Tools (WFM’98): Proceedings of the Workshop, June 22, 1998, Lisbon, Portugal: WFM’98, Proceedings of the Workshop on Workflow Management.
https://api.semanticscholar.org/CorpusID:60056523

has been cited by the following article:

• TITLE: FMS-Workflow Modeling Based on P-Timed Stochastic Petri Net

  AUTHORS: Walid Ben Mesmia, Kamel Barkaoui, Mohamed Escheikh

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

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.16 No.9, September 14, 2023

  ABSTRACT: 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.