×

兹马思-数学第一资源

SNAKES:一个灵活的高级Petri网库(工具纸)。(英语) Zbl 1432.68316
Devillers,Raymond(ed.)等人,Petri网和并发的应用和理论。第36届国际会议,2015年6月21日至26日,比利时布鲁塞尔,PETRI网,会议记录。查姆:斯普林格。选择。笔记计算。科学。9115254-265(2015年)。
简介:SNAKES(SNAKES是编辑器和模拟器的网络代数工具包)是一个通用的Petri网库,主要用于Python编程语言,但也可移植到其他语言。它定义了Python着色Petri网的一个非常通用的变体,可以通过库创建和操作它,也可以执行它来探索状态空间。多亏了各种插件,SNAKES可以处理Petri网的扩展,特别是Petri网的代数。SNAKES附带了一个ABCD语言的编译器,正是这种代数。最后,我们可以使用配套的工具Neco,它将Petri网编译成一个优化的库,从而可以高效地计算其状态空间或执行LTL模型检查(参见,例如[Ł. 弗龙茨A、 杜雷特·卢茨,选择。笔记计算。科学。8172451–454(2013年;Zbl 1410.68226)]). 本文介绍了蛇的结构和特征。
整个系列请参见[Zbl 1312.68006].
理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
68牛顿 编译理论
68Q60型 规范和验证(程序逻辑、模型检查等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部