Oussama Karoui

According to our database, Oussama Karoui authored at least 8 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets.

ShouGuang Wang, Xin Guo, Oussama Karoui, MengChu Zhou, Dan You, Abdullah Abusorrah

IEEE Trans. Syst. Man Cybern. Syst., 2023

2022

Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches.

Dan You, Oussama Karoui, Shouguang Wang

IEEE CAA J. Autom. Sinica, 2022

2020

On Hierarchical Construction of the State Space of an Automated Manufacturing System Modeled With Petri Nets.

Oussama Karoui, Yufeng Chen, Zhiwu Li, Naiqi Wu, Mohamed Khalgui

IEEE Trans. Syst. Man Cybern. Syst., 2020

Overview of Opacity in Discrete Event Systems.

Ye Guo, Xiaoning Jiang, Chen Guo, Shouguang Wang, Oussama Karoui

IEEE Access, 2020

A Deadlock Prevention Policy for a Class of Multithreaded Software.

Wenli Duo, Xiaoning Jiang, Oussama Karoui, Xin Guo, Dan You, Shouguang Wang, Yuan Ruan

IEEE Access, 2020

2018

One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy.

Oussama Karoui, Zhiwu Li, Naiqi Wu, Mohamed Khalgui, Emad S. Abouel Nasr, Abdul-Aziz Mohammed El-Tamimi

IEEE Access, 2018

State Space Characterization of Disjunctive Single-Unit Resource Allocation Systems.

Oussama Karoui, Mohamed Khalgui, Yufeng Chen, Naiqi Wu, Ateekh-Ur-Rehman, Usama Umer

IEEE Access, 2018

2017

Dual mode for vehicular platoon safety: Simulation and formal verification.

Oussama Karoui, Mohamed Khalgui, Anis Koubâa, Emna Guerfala, Zhiwu Li, Eduardo Tovar

Inf. Sci., 2017