维克托·科门科；罗兰·梅耶；Hüchting，雷纳 （pi）-演算FCPS到安全Petri网的多项式转换。 （英语） Zbl 1274.68239号 日志。方法计算。科学。 9，第3号，第18号文件，第36页（2013年）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Khomenko}等人，日志。方法计算。科学。9，第3号，第18号论文，36页（2013；Zbl 1274.68239） 全文： DOI程序
费尔南多·罗莎·维拉多；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程序
罗兰·梅耶；维克托·科门科；雷纳·Hüchting （pi）-演算（FCP）到安全Petri网的多项式转换。 （英语） Zbl 1364.68292号 Koutny，Maciej（编辑）等人，CONCUR 2012——并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454，440-455（2012）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Meyer}等人，Lect。注释计算。科学。7454440-455（2012年；Zbl 1364.68292） 全文： DOI程序 arXiv公司 链接
罗兰·梅耶；维克托·科门科；蒂姆·斯特拉兹尼 使用网络展开验证移动系统的实用方法。 （英语） Zbl 1183.68403号 芬丹。通知。 94，编号3-4，439-471（2009）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Meyer}等人，Fundam。通知。94，编号3-4439-471（2009年；兹bl 1183.68403） 全文： DOI程序
保罗·巴尔丹；菲利波·邦奇；法比奥·加杜奇 使用开放的Petri网编码异步交互。 （英语） Zbl 1254.68161号 Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710，99-114（2009）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人，Lect。注释计算。科学。5710，99-114（2009；Zbl 1254.68161） 全文： DOI程序
罗兰·梅耶 微积分中的一种结构平稳性理论。 （英语） Zbl 1165.68053号 学报信息。 46，第2期，87-137（2009）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Meyer}，Acta Inf.46，No.2，87-137（2009；Zbl 1165.68053） 全文： DOI程序
纳迪亚·布西；罗伯托·戈里埃里 基于带抑制剂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） 全文： DOI程序
罗兰·梅耶；维克托·科门科；蒂姆·斯特拉兹尼 使用网络展开验证移动系统的实用方法。 （英语） Zbl 1143.68460号 van Hee，Kees M.（编辑）等人，《Petri网的应用和理论》。2008年6月23日至27日，第29届国际会议，PETRI NETS 2008，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68745-0/pbk）。计算机科学课堂讲稿5062327-347（2008）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Meyer}等人，Lect。注释计算。科学。5062327--347（2008年；Zbl 1143.68460） 全文： DOI程序