Publications

Captarencu, O.O. (2024). Verification of Correctness and Data-Flow Properties for Workflow Processes in Maude. In: Filipe, J., Śmiałek, M., Brodsky, A., Hammoudi, S. (eds) Enterprise Information Systems. ICEIS 2023. Lecture Notes in Business Information Processing, vol 519. Springer, Cham. https://doi.org/10.1007/978-3-031-64755-0_7
Captarencu, O. (2023). The Analysis of Data-Flow and Control-Flow in Workflow Processes Using Maude. In Proceedings of the 25th International Conference on Enterprise Information Systems - Volume 2: ICEIS; ISBN 978-989-758-648-4; ISSN 2184-4992, SciTePress, pages 373-384. DOI: 10.5220/0011844800003467
O.Captarencu: "Modelling and Verification of Interorganizational Workflows with Security Constraints: A Petri Nets-Based Approach". Advanced Information Systems Engineering Workshops – (EOMAS workshop, CAiSE 2012) Gdańsk, Poland, June 25-26, 2012. Lecture Notes in Business Information Processing LBNIP 112, pp. 486-493, ISBN 978-3-642-31068-3 2008. Springer 2012
O. Prisecaru: The analysis of resource constrained workflows using Petri nets (2010)Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, in Conjunction with ICEIS 2010
O. Prisecaru: "A Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows with Dynamic Structure". In proc. of MSVVEIS 2009, pp. 24-33
O. Prisecaru: "Resource workflow nets: an approach to workflow modelling and analysis". Enterprise Information Systems, Taylor & Francis, Vol. 2, Issue 2, pp. 101-120, 2008.
O. Prisecaru: "A Petri net based approach for modelling resource constrained interorganizational workflows". In: Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2008) ISI Proceedings, pp. 29-38, Barcelona, Spain, 12-13 June 2008
O. Prisecaru and T. Jucan: "Interorganizational Workflow Nets: a Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows". In: Proceedings of the 4th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS-2008), Montpellier, France, June 16-17, 2008, CEUR Workshop Proceedings, ISSN 1613-0073 (Best Paper Award, EOMAS 2008).
O. Prisecaru: "Resource Workflow Nets:a Petri Net Formalism for Workflow Modelling". In Proc. of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems -- MSVVEIS 2007, pp. 11-21, Portugalia, 2007
O. Prisecaru: "Resource Workflow Nets: an Approach to Workflow Modelling and Analysing". In Journal of Entreprise Information Systems (in curs de aparitie)
O. Prisecaru, C. Vidrascu: "Modelling and Analysis of Workflows Using Petri Nets". In Proc. of the 5th International Conference on Microelectronics and Computer Science - ICMCS 2007 (Volume 1), Technical University of Moldova, Chisinau, pp. 289-294, September 19-21 2007
T. Jucan, O. Captarencu - "Three level Petri Nets" - Scientific Annals of the "Al. I. Cuza" University, Iasi, Computer Science Section, vol XIII, Iasi, 2002
O. Captarencu, T.Jucan - "Interorganizational Workflows - an approach based on level Petri Nets" Scientific Annals of the "Al. I. Cuza" University, Iasi, Computer Science Section, vol XIII, Iasi, 2003
O. Prisecaru, T.Jucan, I. Camerzan - "Time Interval Workflow Nets", Scientific Annals of the "Al. I. Cuza" University, Iasi, Computer Science Section, vol XIII, Iasi, Iasi, 2005

Participations at Graduated Schools

2004: International Summer School 2004 on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany

Prizez

Best Paper Award (Paper title : "Interorganizational Workflow Nets: a Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows", the 4th International Workshop on Enterprise& Organizational Modeling and Simulation (EOMAS-2008), Montpellier, France, June 16-17, 2008, in conjunction with CAISE 2008).
Best Paper Award (Paper title: "A Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows with Dynamic Structure", the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Milano,2009)

Research Projects

POS CCE - Axa 2 Project (no. 558/03.09.2013) : PROject Advice SRL-D – INovare, Optimizare şi Valoare Adăugată în prestarea serviciilor de Management de Proiect (PRO INOVA MP) (grant director)
CNCSIS TD-PN II Grant (no.414/2007) : Modelarea sistemelor distribuite cu retele Petri (grant director).
CNCSIS grant (no. 9/600 / 2002) : Studiul retelelor Petri de nivel inalt, cu aplicatii in modelarea si analiza sistemelor concurente si distribuite