PetriKit: Petri Net Analysis Toolkit 1.0
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/petrikit/files/petrikit/1.0/PetriKit-1.0.zip/download
关于 PetriKit: Petri Net Analysis Toolkit
PetriKit 是用于 Petri Net 分析的模块化工具包。它允许提取基本属性、提取不变量和生成可伸缩性图。结果可以以纯文本、HTML 或 XML 文件格式化。
相关软件
-
Vocatra 免费
Vocatra 是一个基于控制台的词汇培训师。它需要一个或多个词汇文件,查询每个单词,并允许您尝试给出正确的答案。
-
While Interpreter 免费
而口译员是用于学习目的的 WHILE 编程语言的口译员。它几乎没有构造和简单的语义。
-
RubyMoss 免费
RubyMoss 是一个基于 Web 的框架,使用 Ruby 在 Rails 上编写,旨在支持莫斯鲍尔光谱学的所有分析和数据处理。在 BSD 许可证下编写。
-
Peter Pig s Money Counter 免费试用
在智者彼得·皮格的帮助下,孩子们练习分拣和数硬币,为他们的"银行"赚钱——同时学习有关美国货币的有趣事实。他们学会根据价值识别和排序硬币,加起来多枚硬币和更多硬币。这个游戏是由实用金钱技能的生活为小学生4-7。 ©实用金钱技能的生活
-
Nfrequencies 免费
根据DNA序列数据中的核苷酸频率进行多变量分析。
-
NetBuilder' - Apostrophe 免费
NetBuilder' 是构建、可视化和模拟多层生物网络的工具,其结构为分层 Petri-net。它有一个内置的随机模拟器,但也提供了易于访问其他模拟和分析。
-
DFWiki 免费
DFWiki 是一个维基模块,设计用于在情绪 LMS 环境中工作。它旨在为电子学习、内容创建和协作工作项目提供维基功能。未来的版本也将工作 utside moodle 。
-
lib3d_mec_GiNaC 免费
lib_3d_mec_ginac是一个符号多体系统动力学库。它可以独立使用,尽管它将是未来版本3.0的内核替代3d_mec(http://www.imac.unavarra.es/3d_mec)。
-
JCadServices 免费
联合提交团队开发 CORBA 接口,允许机械 CAD 系统交换几何和拓扑。
-
GEGIS 免费
基于谷歌地球构建网络 GIS。只需 7 个步骤来使 WebGIS Web 应用程序复杂化!