The following pages link to Kamel Barkaoui (Q497949):
Displayed 25 items.
- Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems (Q497950) (← links)
- Partial order reduction for checking soundness of time workflow nets (Q507759) (← links)
- Relevant timed schedules/clock vectors for constructing time Petri net reachability graphs (Q539486) (← links)
- On concurrency control in multidatabase systems with an extended transaction model (Q1395714) (← links)
- On persistency in time Petri nets (Q1631221) (← links)
- Delay-dependent partial order reduction technique for real time systems (Q1645216) (← links)
- On the enforcement of a class of nonlinear constraints on Petri nets (Q1689357) (← links)
- Time based deadlock prevention for Petri nets (Q2071966) (← links)
- \(M/M/1\) retrial queue with collisions and transmission errors (Q2176377) (← links)
- A survey of siphons in Petri nets (Q2279728) (← links)
- Formal verification of complex business processes based on high-level Petri nets (Q2292988) (← links)
- Robustness of deadlock control for a class of Petri nets with unreliable resources (Q2446458) (← links)
- Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems (Q2641226) (← links)
- Composantes préconservatives minimales d'un réseau de Petri : étude structurelle (Q3026353) (← links)
- Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs (Q3543303) (← links)
- On liveness and controlled siphons in Petri nets (Q4633154) (← links)
- ON STRUCTURAL ANALYSIS OF INTERACTING BEHAVIORAL PETRI NETS FOR DISTRIBUTED CAUSAL MODEL-BASED DIAGNOSIS (Q4923296) (← links)
- An unreliable single server retrial queue with collisions and transmission errors (Q5079843) (← links)
- On liveness in Extended Non Self-Controlling Nets (Q5096358) (← links)
- Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions (Q5177180) (← links)
- Covering Steps Graphs of Time Petri Nets (Q5179058) (← links)
- Necessary and sufficient liveness condition of GS<sup>3</sup>PR Petri nets (Q5252903) (← links)
- Delay-Dependent Partial Order Reduction Technique for Time Petri Nets (Q5500554) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713527) (← links)
- Adaptive supervisory control for a class of Petri nets with bimodal transitions (Q6058299) (← links)