H. Boucheneb

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Time based deadlock prevention for Petri nets Automatica	2022-01-31	Paper
scientific article; zbMATH DE number 7345209 (Why is no real title available?)	2021-05-06	Paper
scientific article; zbMATH DE number 7345209 (Why is no real title available?) (available as arXiv preprint)	2021-05-06	Paper
On persistency in time Petri nets	2018-12-06	Paper
Delay-dependent partial order reduction technique for real time systems 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 IEEE Transactions on Computers	2017-07-27	Paper
On Synthesizing a Consistent Operational Transformation Approach IEEE Transactions on Computers	2017-05-16	Paper
Partial order reduction for checking soundness of time workflow nets Information Sciences	2017-02-07	Paper
Delay-Dependent Partial Order Reduction Technique for Time Petri Nets Lecture Notes in Computer Science	2015-08-06	Paper
Covering steps graphs of time Petri nets Electronic Notes in Theoretical Computer Science	2015-03-19	Paper
Maximally permissive controller synthesis for time Petri nets International Journal of Control	2014-01-09	Paper
Contraction of the ITCPN state space Electronic Notes in Theoretical Computer Science	2013-08-15	Paper
On Multi-enabledness in Time Petri Nets Application and Theory of Petri Nets and Concurrency	2013-06-28	Paper
Relevant timed schedules/clock vectors for constructing time Petri net reachability graphs Discrete Event Dynamic Systems	2011-05-30	Paper
TCTL model checking of time Petri nets Journal Of Logic And Computation	2010-01-14	Paper
On-the-fly \(TCTL\) model checking for time Petri nets Theoretical Computer Science	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 Lecture Notes in Computer Science	2008-12-02	Paper
Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties Formal Aspects of Computing	2008-04-09	Paper
CTL* model checking for time Petri nets Theoretical Computer Science	2006-04-28	Paper

Research outcomes over time

This page was built for person: H. Boucheneb