费尔南德斯·维内罗(Fernández Venero)、米尔塔·利纳(Mirtha Lina);弗拉维奥·索雷斯·科雷亚·达席尔瓦 关于使用SPIN研究嵌套Petri网的行为。 (英语) Zbl 1409.68185号 Iyoda,Juliano(编辑)等人,《形式方法:基础和应用》。2013年9月29日至10月4日在巴西巴西利亚举行的第16届巴西研讨会,SBMF 2013。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。8195, 83-98 (2013). 摘要:嵌套Petri网已被用于建模交互协议、移动性、自适应系统和组织间工作流。然而,关于使用自动化工具分析这些网络行为的结果却鲜有报道。本文提出了一种从递归嵌套Petri网的子类到PROMELA的转换,并解释了如何使用SPIN模型检查器来研究这些网的一些属性。有关整个系列,请参见[Zbl 1291.68024号]. 引用于1文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:嵌套Petri网;模型检查;自旋蛋白 软件:普罗米拉;自旋蛋白;莫德 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Fernández Venero}和\textit{F.Soares Corría da Silva},莱克托。票据计算。科学。8195,83-98(2013;Zbl 1409.68185) 全文: 内政部