纳迪亚·布西;罗伯托·戈里埃里 基于带抑制剂ARCS的Petri网的\（\pi\）-演算的分布式语义。 （英语） Zbl 1169.68031号 J.日志。阿尔盖布。程序。 78，第3期，138-162（2009）.MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.Busi}和\textit{R.Gorrieri}，J.Log。阿尔盖布。程序。78，第3号，138--162（2009；Zbl 1169.68031） 全文： 内政部
鲍尔丹，P。;北布西。;科拉迪尼，A。;G.M.品娜。 具有读弧和抑制弧的Petri网的域和事件结构语义。 （英语） Zbl 1078.68103号 西奥。计算。科学。 323，编号1-3，129-189（2004）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人，Theor。计算。科学。323，编号1--3，129--189（2004；Zbl 1078.68103） 全文： 内政部
纳迪亚·布西 用约束弧分析Petri网中的问题。 （英语） Zbl 1026.68097号 西奥。计算。科学。 275，编号1-2，127-177（2002）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \提奥，textit{N.Busi}。计算。科学。275，编号1--2，127-177（2002；Zbl 1026.68097） 全文： 内政部
纳迪亚·布西;G.Michele Pinna 具有抑制剂弧的网络合成。 （英语） Zbl 1512.68162号 Mazurkiewicz，Antoni（编辑）等人，CONCUR’97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1243, 151-165 (1997).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Busi}和\textit{G.M.Pinna}，莱克特。注释计算。科学。1243515-165（1997年；兹bl 1512.68162） 全文： 内政部
纳迪亚·布西;G.Michele Pinna 上下文P/T网络的非顺序语义。 （英语） Zbl 1418.68136号 Billington，Jonathan（编辑）等人，《Petri网的应用和理论》，1996年。第17届国际会议，1996年6月24日至28日，日本大阪。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1091, 113-132 (1996).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.Busi}和\textit{G.M.Pinna}，莱克特。注释计算。科学。109113-132（1996年；Zbl 1418.68136） 全文： 内政部