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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Kamel Barkaoui