纳维尔·加尔比;克劳德·杜泰利特;马利卡·尤瓦拉伦 用于多类再审系统建模和分析的有色随机Petri网。 （英语） Zbl 1165.90361号 数学。计算。建模 49，编号7-8，1436-1448（2009）.MSC公司：90B15号机组 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Gharbi}等人，《数学》。计算。建模49，编号7--8，1436--1448（2009；Zbl 1165.90361） 全文： 内政部
纳维尔·加尔比 随机Petri网在分析具有不同休假策略的多服务器重试系统中的适用性。 （英语） Zbl 1183.68040号 Cha，Sungdeok（Steve）（编辑）等人，《验证和分析自动化技术》。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311289-302（2008）。MSC公司：68M10个 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Gharbi}，莱克特。注释计算。科学。5311、289--302（2008年；Zbl 1183.68040） 全文： 内政部
纳维尔·加尔比;马利卡·尤瓦拉伦 基于广义随机Petri网的重试排队系统性能分析。 （英语） Zbl 1270.68051号 Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记65，第6期，86-100（2002）。MSC公司：68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Gharbi}和\textit{M.Ioualen}，电子。注释Theor。计算。科学。65，第6号，86--100（2002；Zbl 1270.68051） 全文： 内政部
卡塞利，S。;孔戴，G。;马伦佐尼，P。 一种分布式GSPN可达图生成算法。 （英语） Zbl 0973.68260号 J.平行分布计算。 61，第1期，79-95（2001）.MSC公司：68宽10 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Caselli}等人，J.平行分布计算。61，第1号，79--95（2001；Zbl 0973.68260） 全文： 内政部