费尔南多·罗莎·维拉尔多;Maria Martos-Salgado 用于验证具有名称绑定的深度有界进程的多集重写。 （英语） Zbl 1277.68204号 Inf.计算。 215, 68-87 (2012).MSC公司：68问题85 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Rosa-Velardo}和\textit{M.Martos-Algado}，Inf.Compute。21568--87（2012；Zbl 1277.68204） 全文： DOI程序
费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格 具有无序数据的Petri网的可判定性和复杂性。 （英语） Zbl 1231.68172号 西奥。计算。科学。 412，第34号，4439-4451（2011）. 审核人：Maciej Koutny（泰恩河畔纽卡斯尔） MSC公司：68问题85 60年第68季度 65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Rosa-Velardo}和\textit{D.de Frutos-Escrig}，Theor。计算。科学。412，第34号，4439-4451（2011；Zbl 1231.68172） 全文： DOI程序
费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格 具有名称创建和复制的Petri网受限模型的可判定性结果。 （英语） Zbl 1242.68185号 Franceschinis，Giuliana（编辑）等人，《Petri网的应用和理论》。第30届国际会议，PETRI NETS 2009，巴黎，法国，2009年6月22-26日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02423-8/pbk）。计算机科学讲座笔记560663-82（2009）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Rosa-Velardo}和\textit{D.de Frutos-Escrig}，莱克托。票据计算。科学。560663-82（2009年；Zbl 1242.68185） 全文： DOI程序