哈尼法·布切内布;卡梅尔·巴考伊 实时系统的时滞相关部分降阶技术。 （英语） Zbl 1484.68138号 实时系统。 54，第2期，278-306（2018）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Boucheneb}和\textit{K.Barkaoui}，实时系统。54，第2号，278--306（2018；Zbl 1484.68138） 全文： 内政部 哈尔
帕里萨·海达里;哈尼法·布切内布 时间Petri网的最大允许控制器综合。 （英语） Zbl 1278.93114号 国际J.控制 86，第3期，493-511（2013）.MSC公司：93亿B50 93元65角 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{P.Heidari}和\textit{H.Boucheneb}，国际期刊控制86，第3期，493--511（2013；Zbl 1278.93114） 全文： 内政部
哈尼法·布切内布;莱姆，迪迪埃;奥利维尔·H·鲁克斯。 关于时间Petri网的多能性。 （英语） Zbl 1381.68196号 Colom，José-Manuel（编辑）等人，《Petri网和并发的应用和理论》。第34届国际会议，PETRI NETS 2013，意大利米兰，2013年6月24日至28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38696-1/pbk）。计算机科学课堂讲稿7927130-149（2013）。MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Boucheneb}等人，Lect。注释计算。科学。7927、130-149（2013年；Zbl 1381.68196） 全文： 内政部
哈尼法·布切内布;卡梅尔·巴考伊 用于构建时间Petri网可达性图的相关时序表/时钟向量。 （英语） Zbl 1231.05255号 离散事件动态。系统。 21，第2期，171-204（2011）. 审核人：I.M.Erusalimskiy（罗斯托夫·翁·登） MSC公司：05C90年 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Boucheneb}和\textit{K.Barkaoui}，离散事件动力学。系统。21，第2号，171--204（2011；Zbl 1231.05255） 全文： 内政部
哈尼法·布切内布;卡梅尔·巴考伊 时间Petri网的覆盖步骤图。 （英语） Zbl 1347.68254号 Habermehl，P.（ed.）等人，第八、第九和第十届无限状态系统验证国际研讨会会议记录（INFINITY 2006、2007、2008），德国波恩，2006年8月26日，葡萄牙里斯本，2007年9月8日，加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记239155-165（2009）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Boucheneb}和\textit{K.Barkaoui}，电子。注释Theor。计算。科学。239155--165（2009年；Zbl 1347.68254） 全文： 内政部
哈尼法·布切内布;纪尧姆·加迪;奥利维尔·H·鲁克斯。 时间Petri网的TCTL模型检验。 （英语） Zbl 1188.68182号 J.日志。计算。 19，第6期，1509-1540（2009）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Boucheneb}等人，J.Log。计算。19，第6号，1509-1540（2009；Zbl 1188.68182） 全文： 内政部 哈尔
拉希德·哈吉吉;哈尼法·布切内布 时间Petri网的即时（TCTL）模型检查。 （英语） Zbl 1186.68292号 西奥。计算。科学。 410，第42号，4241-4261（2009）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛R.Hadjidj｝和\textit｛H.Boucheneb｝，Theor。计算。科学。410，编号424241-4261（2009年；兹bl 1186.68292） 全文： 内政部
哈尼法·布切内布 区间时间有色Petri网：保持线性性质的状态类空间的有效构造。 （英语） Zbl 1141.68045号 正式Asp。计算。 20，第2期，225-238（2008）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Boucheneb}，正式Asp。计算。20，第2号，225--238（2008；Zbl 1141.68045） 全文： 内政部
哈尼法·布切内布;拉希德·哈吉吉 时间Petri网的CTL*模型检查。 （英语） Zbl 1088.68101号 西奥。计算。科学。 353，编号1-3，208-227（2006）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Boucheneb}和\textit{R.Hadjidj}，Theor。计算。科学。353，编号1--3，208-227（2006；Zbl 1088.68101） 全文： 内政部