Multimedia Information Systems: Towards a Design Methodology Based on Spatio-Temporal Relations, Petri Nets, and ECA Rules. - Sabine Boufenara; Zizette Boufriche-Boufaïda; Mahmoud Boufaïda; Denis Poitrenaud (ADVIS, 2000)

A synchronization schema in activity diagrams via zero-safe-nets. - Sabine Boufenara; Faiza Belala; Chafia Bouanaka (AICCSA, 2009)

On Formalizing UML 2.0 Activities: Stream and Exception Parameters. - Sabine Boufenara; Faiza Belala; Narayan C. Debnath (CAINE, 2009)

Les Zero-Safe Nets pour la Préservation de la TTC dans les Diagrammes d'Activité d'UML. - Sabine Boufenara; Faiza Belala; Chafia Bouanaka (LMO, 2009)

Mapping UML 2.0 Activities to Zero-Safe Nets. - Sabine Boufenara; Faiza Belala; Kamel Barkaoui (J. Softw. Eng. Appl., 2010)

Transactional Petri nets: a semantic framework for UML2 activities. - Sabine Boufenara; Kamel Barkaoui; Faiza Belala; Hanifa Boucheneb (Int. J. Crit. Comput. Based Syst., 2014)