阿尔皮纳

AlPiNA代表代数Petri网分析器,是代数Petri网的模型检查器。它是由SMV集团开发的,100%是用Java编写的,并根据GNU通用公共许可证的条款提供。


zbMATH中的参考文献(引用于,第1条标准)

显示第1到第4个结果,共4个。
按年份排序(引用)

  1. 科顿,法布里斯;林纳德,阿尔班;布克斯,迪迪埃;科朗格,马克西米利安;伊万杰利斯塔,萨米;兰普卡,凯;洛曼,尼尔斯;帕维奥阿德特,埃曼纽尔;蒂埃里米格,扬;温梅尔,哈罗:2011年(2012年)在Petri网举行的模型检查比赛报告ioport公司
  2. Teve Hostettler;Marechal,Alexis;Linard,Alban;Risoldi,Matteo;Buchs,Didier:用AlPiNA进行高级Petri网模型检查(2011)
  3. Buchs,Didier;Hostettler,Steve;Marechal,Alexis;Risoldi,Matteo:AlPiNA:一个象征性的模型检验师(2010)
  4. Buchs,Didier;Hostettler,Steve;Marechal,Alexis;Risoldi,Matteo:AlPiNA:代数Petri网分析仪(2010)ioport公司