Three Level Petri Nets Rule Based Reduction. - Toader Jucan; Oana Captarencu (Sci. Ann. Cuza Univ., 2002)

Interorganizational Workflows - an approach based on Level Petri Nets. - Oana Captarencu; Toader Jucan (Sci. Ann. Cuza Univ., 2003)

Modelling and Verification of Interorganizational Workflows with Security Constraints: A Petri Nets-Based Approach. - Oana Otilia Captarencu (CAiSE Workshops, 2012)

The Analysis of Data-Flow and Control-Flow in Workflow Processes Using Maude. - Oana Otilia Captarencu (ICEIS (2), 2023)

Verification of Correctness and Data-Flow Properties for Workflow Processes in Maude. - Oana Otilia Captarencu (ICEIS (Revised Selected Papers 2), 2023)