克里斯蒂亚诺·布拉加；布鲁诺·洛佩斯 用重写逻辑实现动态逻辑中的推理：Petri-PDL案例。 （英语） Zbl 1335.68165号 Cornélio，Márcio（编辑）等人，《形式方法：基础和应用》。2015年9月21日至22日，巴西贝洛奥里藏特，第18届巴西研讨会，SBMF 2015。诉讼程序。商会：施普林格出版社（ISBN 978-3-319-29472-8/pbk；978-3-319-29473-5/ebook）。计算机科学讲义9526，74-89（2016）。MSC公司：68问题85 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Braga}和\textit{B.Lopes}，莱克特。注释计算。科学。9526、74-89（2016年；Zbl 1335.68165） 全文： DOI程序
费尔南德斯·维内罗（Fernández Venero）、米尔塔·利纳（Mirtha Lina）；弗拉维奥·索雷斯·科雷亚·达席尔瓦 关于使用SPIN研究嵌套Petri网的行为。 （英语） Zbl 1409.68185号 Iyoda，Juliano（编辑）等人，《形式方法：基础和应用》。2013年9月29日至10月4日在巴西巴西利亚举行的第16届巴西研讨会，SBMF 2013。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8195, 83-98 (2013).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Fernández Venero}和\textit{F.Soares Corría da Silva}，莱克托。注释计算。科学。8195，83-98（2013；Zbl 1409.68185） 全文： DOI程序
特夫霍斯特特勒；亚历克西斯·马雷沙尔；阿尔班·利纳德；里索尔迪，马特奥；迪迪埃·布克斯 使用AlPiNA进行高级Petri网模型检查。 （英语） Zbl 1248.68332号 芬丹。通知。 113，编号3-4，229-264（2011）. 审核人：克里斯特尔·拜尔（德累斯顿） MSC公司：60年第68季度 68号30 68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{T.Hostettler}等人，Fundam。通知。113，第3-4、229--264号（2011；Zbl 1248.68332） 全文： 链接
奥赞·卡拉马诺·乌拉尔 关于线性逻辑规划和并发。 （英语） Zbl 1192.68644号 Inf.计算。 207，第11期，1229-1258（2009）.MSC公司：68T20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{O.Kahramanoullar}，信息计算。207，第11号，1229--1258（2009；Zbl 1192.68644） 全文： DOI程序
费尔南多·罗莎·维拉多 将移动同步Petri网编码为重写逻辑。 （英语） Zbl 1277.68145号 Fernández，M.（ed.）等人，第七届基于规则编程国际研讨会会议记录（rule 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第1期，83-98（2007）。MSC公司：60年第68季度 2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Rosa-Velardo}，电子。注释Theor。计算。科学。174，编号1，83--98（2007；Zbl 1277.68145） 全文： DOI程序
Ölveczky、Peter Csaba；何塞·梅塞盖尔 重写逻辑中实时和混合系统的规范。 （英语） Zbl 1001.68061号 西奥。计算。科学。 285，第2期，359-405（2002）.MSC公司：2012年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Ølveczky}和\textit{J.Meseguer}，Theor。计算。科学。285，第2号，359--405（2002；Zbl 1001.68061） 全文： DOI程序