蛇 swMATH ID: 9476 软件作者： 弗兰克·波默罗 说明： 使用SNAKES快速原型化petri网工具。本文介绍了工具包SNAKES，旨在为快速原型化Petri网工具的问题提供灵活的解决方案。特别是，对于要使用的特定Petri网变体，SNAKES的内置限制应尽可能少。目标是使SNAKES适用于任何类型的Petri网模型，包括没有可用工具的新模型。为此，SNAKES被设计为一个非常通用的Petri网核心库，其中包含一组扩展模块，以提供专门的功能。一方面，核心库是通用的，因为它定义了一个通用的Petri网结构，其中所有计算方面都委托给一种解释性编程语言。另一方面，扩展模块提供了足够的灵活性，允许轻松地重新定义基本Petri网模型的任何部分。SNAKES是在GNU LGPL下发布的，可以在⟨下载http://www.univ-paris12.fr/lacl/pommereau/soft/snakes⟩API文档和教程。 主页： http://dl.acm.org/citation.cfm？id=1416244 相关软件： TINA公司;海伦娜;ITS工具;查理;清爽;安迪;CPN/工具;CosyVerif验证;赛马拉松;SWIG（开关）;格拉夫维兹;PNTooL公司;尼科;neco点;斑点;NetworkX公司;SymmSpin公司 引用于： 7文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 SNAKES：一个灵活的高级Petri网库（工具文件）。 Zbl 1432.68316号法兰克·波默罗 2015 全部的 前5名14位作者引用 三 法兰克·波默罗 1 胡里奥·卡拉斯克尔。 1 亚历山大·杜雷特·卢茨 1 弗龙克，乌卡斯 1 塞德里克·高切雷尔 1 汉娜·克劳代尔 1 伊纳州科赫 1 马西耶·库特尼 1 罗伯特·洛伦茨。 1 哈利勒·梅切拉奥伊 1 伊丽莎白·佩尔兹 1 沃尔夫冈·雷西格 1 福尔克·施赖伯 1 科林托马斯 2篇连载文章中引用 1 计算生物学 1 Modelirovanie i Analiz信息系统 在4个字段中引用 6 计算机科学（68至XX） 2 生物学和其他自然科学（92-XX） 1 总体主题；集合（00-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文