H. Boucheneb

Available identifiers

zbMath Open boucheneb.hanifaMaRDI QIDQ507758

List of research outcomes

Publication	Date of Publication	Type
Time based deadlock prevention for Petri nets	2022-01-31	Paper
https://portal.mardi4nfdi.de/entity/Q3388709	2021-05-06	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
Optimal reachability in cost time Petri nets	2017-12-01	Paper
Efficient Reachability Analysis for Time Petri Nets	2017-07-27	Paper
On Synthesizing a Consistent Operational Transformation Approach	2017-05-16	Paper
Partial order reduction for checking soundness of time workflow nets	2017-02-07	Paper
Delay-Dependent Partial Order Reduction Technique for Time Petri Nets	2015-08-06	Paper
Covering Steps Graphs of Time Petri Nets	2015-03-19	Paper
Maximally permissive controller synthesis for time Petri nets	2014-01-09	Paper
Contraction of the ITCPN state space	2013-08-15	Paper
On Multi-enabledness in Time Petri Nets	2013-06-28	Paper
Relevant timed schedules/clock vectors for constructing time Petri net reachability graphs	2011-05-30	Paper
TCTL model checking of time Petri nets	2010-01-14	Paper
On-the-fly \(TCTL\) model checking for time Petri nets	2009-10-09	Paper
A more efficient time Petri net state space abstraction useful to model checking timed linear properties	2009-02-12	Paper
Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs	2008-12-02	Paper
Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties	2008-04-09	Paper
CTL* model checking for time Petri nets	2006-04-28	Paper

Research outcomes over time

This page was built for person: H. Boucheneb