用SNAKES快速原型化petri网工具。针对Petri网工具的快速原型问题,提出了一种灵活的解决方案。特别是,对于要使用的Petri网的特定变体,SNAKES应该具有尽可能少的内置限制。其目标是使SNAKES适用于任何类型的Petri网模型,包括没有可用工具的新Petri网模型。为此,SNAKES被设计成一个非常通用的Petri网核心库,它丰富了一组扩展模块来提供专门的特性。一方面,核心库是通用的,因为它定义了一个通用的Petri网结构,其中所有的计算方面都委托给一种解释的编程语言。另一方面,扩展模块提供了足够的灵活性,可以方便地重新定义基本Petri网模型的任何部分。SNAKES是在gnulgpl下发布的,可以在http://www.univ-paris12.fr/lacl/pommereau/soft/snakesAPI文档和教程。

这个软件也是同行评审按日记帐汤姆斯.