Kamel Barkaoui

Available identifiers

zbMath Open barkaoui.kamelMaRDI QIDQ497949

List of research outcomes

Publication	Date of Publication	Type
Adaptive supervisory control for a class of Petri nets with bimodal transitions	2023-11-01	Paper
On liveness in extended non self-controlling nets	2022-08-16	Paper
An unreliable single server retrial queue with collisions and transmission errors	2022-05-30	Paper
Time based deadlock prevention for Petri nets	2022-01-31	Paper
\(M/M/1\) retrial queue with collisions and transmission errors	2020-05-04	Paper
Formal verification of complex business processes based on high-level Petri nets	2020-02-06	Paper
A survey of siphons in Petri nets	2019-12-13	Paper
On liveness and controlled siphons in Petri nets	2019-05-02	Paper
On persistency in time Petri nets	2018-12-06	Paper
Delay-dependent partial order reduction technique for real time systems	2018-06-28	Paper
On the enforcement of a class of nonlinear constraints on Petri nets	2018-01-12	Paper
Partial order reduction for checking soundness of time workflow nets	2017-02-07	Paper
Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems	2015-09-25	Paper
Delay-Dependent Partial Order Reduction Technique for Time Petri Nets	2015-08-06	Paper
Necessary and sufficient liveness condition of GS3PR Petri nets	2015-06-03	Paper
Covering steps graphs of time Petri nets	2015-03-19	Paper
Maximally permissive Petri net supervisors for flexible manufacturing systems with uncontrollable and unobservable transitions	2015-03-10	Paper
Robustness of deadlock control for a class of Petri nets with unreliable resources	2014-04-16	Paper
On structural analysis of interacting behavioral Petri nets for distributed causal model-based diagnosis	2013-06-06	Paper
Relevant timed schedules/clock vectors for constructing time Petri net reachability graphs	2011-05-30	Paper
Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs	2008-12-02	Paper
Applications and Theory of Petri Nets 2005	2005-12-14	Paper
On concurrency control in multidatabase systems with an extended transaction model	2003-07-01	Paper
Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems	1990-01-01	Paper
Composantes préconservatives minimales d'un réseau de Petri : étude structurelle	1987-01-01	Paper

Research outcomes over time

This page was built for person: Kamel Barkaoui