Oussama Karoui

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 8

Top Topics

Holonic Manufacturing Systems

Discrete Event Systems

Colored Petri Nets

Top Venues

IEEE Trans. Syst. Man Cybern. Syst.

IEEE CAA J. Autom. Sinica

Publications

ShouGuang Wang, Xin Guo, Oussama Karoui, MengChu Zhou, Dan You, Abdullah Abusorrah
A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 53 (1) (2023)
Dan You, Oussama Karoui, Shouguang Wang
Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches. IEEE CAA J. Autom. Sinica 9 (2) (2022)
Ye Guo, Xiaoning Jiang, Chen Guo, Shouguang Wang, Oussama Karoui
Overview of Opacity in Discrete Event Systems. IEEE Access 8 (2020)
Oussama Karoui, Yufeng Chen, Zhiwu Li, Naiqi Wu, Mohamed Khalgui
On Hierarchical Construction of the State Space of an Automated Manufacturing System Modeled With Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 50 (10) (2020)
Wenli Duo, Xiaoning Jiang, Oussama Karoui, Xin Guo, Dan You, Shouguang Wang, Yuan Ruan
A Deadlock Prevention Policy for a Class of Multithreaded Software. IEEE Access 8 (2020)
Oussama Karoui, Mohamed Khalgui, Yufeng Chen, Naiqi Wu, Ateekh-Ur-Rehman, Usama Umer
State Space Characterization of Disjunctive Single-Unit Resource Allocation Systems. IEEE Access 6 (2018)
Oussama Karoui, Zhiwu Li, Naiqi Wu, Mohamed Khalgui, Emad S. Abouel Nasr, Abdul-Aziz Mohammed El-Tamimi
One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy. IEEE Access 6 (2018)
Oussama Karoui, Mohamed Khalgui, Anis Koubâa, Emna Guerfala, Zhiwu Li, Eduardo Tovar
Dual mode for vehicular platoon safety: Simulation and formal verification. Inf. Sci. 402 (2017)