Khalil Mecheraoui; Irina A. Lomazova; Nabil Belala A Petri net extension for systems of concurrent communicating agents with durable actions. J. of Parallel and Distributed Computing 155: 14-23 (2021)

Roumeissa Khennaoui; Nabil Belala Towards a Formal Context-Aware Workflow Model for Ambient Environment. 18th Int. Conf. on Smart Homes and Health Telematics (ICOST'20): 415-422 (2020)

Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni A timed semantics for web services composition. Int. J. of Business Process Integration and Management (IJBPIM) 8(1): 64-79 (2017)

	Said Layadi; Ilham Kitouni; Nabil Belala; Djamel Eddine Saidouni Relative time rates in dynamic timed automata. Int. J. of Communication Networks and Distributed Systems (IJCNDS) 17(4): 412-432 (2016)
	Khalil Mecheraoui; Nabil Belala; Djamel Eddine Saidouni Towards a Comprehensive Formal Model for Business Processes. 22nd Int. Conf. Information and Software Technologies (ICIST'16): 174-186 (2016)

	Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni Formalizing Timed BPEL by D-LOTOS. Int. J. of Embedded and Real-Time Communication Systems (IJERTCS) 5(2): 1-21 (2014)
	Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni FMEBP: A Formal Modeling Environment of Business Process. 20th Int. Conf. Information and Software Technologies (ICIST'14): 211-223 (2014)
	Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni Formalization and analysis of timed BPEL. 15th IEEE Int. Conf. on Information Reuse and Integration (IRI'14): 483-491 (2014)
	Imed Eddine Chama; Nabil Belala; Djamel Eddine Saidouni Formal Modeling and Analysis of Business Process Timed Constraints. 2nd Workshop on Formal Methods Integration (FMI'14): 149-172 (2014)

Nabil Belala; Djamel Eddine Saïdouni; Radja Boukharrou; Ahmed-Chawki Chaouche; Adel Seraoui; Asma Chachoua Time Petri Nets with Action Duration: A True Concurrency Real-Time Model. Int. J. of Embedded and Real-Time Communication Systems (IJERTCS) 4(2): 62-83 (2013)

Djamel Eddine Saidouni; Nabil Belala; Messaouda Bouneb Using maximality-based labelled transition system as a model for petri nets. Int. Arab J. of Information Technology (IAJIT) 6(5): 441-447 (2009)

Djamel Eddine Saidouni; Adel Benamira; Nabil Belala; Farid Arfi FOCOVE: Formal Concurrency Verification Environment for Complex Systems. 1st Mediterranean Conf. on Intelligent Systems and Automation (CISA’08): 375-380 (2008)

Djamel Eddine Saidouni; Nabil Belala Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification. Int. Arab J. of Information Technology (IAJIT) 2(3): 199-205 (2005)