博齐安，Z。;芬克尔，A。 交换半群和可逆Petri网的等价问题在对数线性可约的指数空间中是完全的。 （英语） Zbl 0964.03040号 Shum，Kar Ping（编辑）等人，《半群》。半群及其相关主题国际会议论文，中国昆明，1995年8月18日至23日。新加坡：斯普林格。63-76 (1998).MSC公司：2015年3月1日 03D40号 2014年11月20日 2005年5月20日 65年第68季度 2017年第68季度 68问题85 03年3月 PDF格式BibTeX公司 XML格式引用 \textit{Z.Bouziane}和\textit{A.Finkel}，in：半群。半群及其相关主题国际会议论文，中国昆明，1995年8月18-23日。新加坡：斯普林格。63-76（1998年；兹bl 0964.03040）
扎卡里亚·布齐安内;阿兰·芬克尔 循环Petri网可达性集是可有效构造的半线性集。 （英语） Zbl 0907.68131号 Moller，Faron（编辑），无限状态系统的验证，Infinity’97。1997年7月11日至12日在意大利博洛尼亚举行的第二届国际研讨会上的论文选集。阿姆斯特丹：爱思唯尔，《理论计算机科学电子笔记》。第9、10页（1997年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Z.Bouziane}和\textit{A.Finkel}，in：无限状态系统的验证，Infinity’97。1997年7月11日至12日在意大利博洛尼亚举行的第二届国际研讨会论文选集。阿姆斯特丹：爱思唯尔。10页（1997；Zbl 0907.68131）