鳄鱼

鳄鱼:一个符号/符号工具,用于分析有袋对称网。使用高级网,如有色Petri网,可以非常方便地对复杂系统进行建模,以获得紧凑、可读和结构化的规范。为了解决这一问题,引入了带袋对称网(SNB),而不因状态空间的潜在复杂性而带来负担。bags的结构允许利用对称性来提供一个紧凑的商状态空间表示(类似于GreatSPN中提出的结构)。在本文中,我们介绍了第一个用于SNB的建模环境和模型检查器的实现。它的目标是首先证明商图技术与层次集决策图一起实验的概念。第二个目标是使用Petri网进行建模。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考文献2条)

显示结果1到2,共2个。
按年份排序(引文)

  1. 科顿,法布里斯;利纳德,阿尔班;布克斯,迪迪埃;科朗格,马克西米利恩;福音派,萨米人;兰普卡,凯;罗曼,尼尔斯;艾曼纽艾德帕维奥阿德特;蒂埃里·米格,扬;Wimmel,Harro:2011年(2012年)Petri网模型检查竞赛报告ioport公司
  2. 科朗格,M。;巴力尔。;科尔顿,F。;Thierry Mieg,Y.:鳄鱼:一种用于分析带袋对称网的符号/符号工具(2011)