From UML Sequence Diagrams to Labeled Generalized Stochastic Petri Net Models Using Graph Transformation. - Mouna Bouarioua; Allaoua Chaoui; Raida Elmansouri (ICeND, 2011)

A high-level Petri net based model for web services composition and verification. - Sofiane Chemaa; Mouna Bouarioua; Allaoua Chaoui (Int. J. Comput. Appl. Technol., 2015)