Petri Net to Automaton Converter (GAP)
您将能够在 5 秒内下载。
关于 Petri Net to Automaton Converter (GAP)
用于将 Petri 网络转换为有限状态自动机和转换半组的小型 GAP 封装。
相关软件
-
Teachers Helper 免费
教师帮助者将帮助任何教师计划、跟踪、管理项目、学生、家庭作业和课堂作业。
-
ICE Cafe 免费
冰咖啡馆是开放酸味序列克罗马特格拉姆阿尔金纳和观众。此软件的第一个目的是通过比较基因组序列与 RNA 序列,或使用铃木实验室开发的 ICE 方法,找到 RNA 编辑,东京大学化学与生物技术公司
-
TesT & RedactoR 7 免费试用
用于创建和通过测试/考试/测验的程序。包括两个应用程序:TesT - 程序测试 ( 免费软件 ) RedactoR - 程序用于创建和编辑测试 (共享软件与试用期 ) 图形图像,照片,视频和音频文件可用于测试。您还可以为整个测试或每个问题设置时间限制。根据您的愿望,您可以设置密码进行测试保护。问题可以是:用一个正确答案的变体;与一些正确的变种;建议在定义的序列中选择变体;建议用户键入他的答案。您可以将每个答案变体与一些点对应,并且不仅将测试结果视
-
YAUCP, Yet Another uController Project 免费
yaucp, 还有一个 uController 项目。是一组工具和代码源以及信息,用于开发 Linux 下的 AVR 微控制器系列,仅使用 GPL 兼容的工具,这些工具、代码和源码和信息在 GPL 下发布。
-
Inwicast Mediacenter 免费
Inwicast Mediacenter 为 Claroline 和 Moodle 添加了多媒体功能,以便教师可以轻松地以各种格式发布、管理和共享音频和视频播客。Inwicast Mediacenter 也可以管理托管在 Youtube 等服务器上的视频。
-
EQUIL 免费
EQUIL(实验室用户电子排队)是一个系统,旨在使在实验室会议中管理学生的工作更加高效、有序和民主。
-
PhyloView 免费
Phyloview 是基于 perl 的 CGI 脚本,用于可视化蛋白质植物遗传树的分类特性。
-
BioImageXD 免费
BioImageXD - 用于分析、处理和3D渲染来自显微镜和其他来源的多维、多数据通道、时间序列图像数据的自由开源软件。
-
Gastropod IR RT operator 免费
Gastropod 是 Fortran 90 转发和梯度例程库,用于高光谱分辨率红外卫星探测仪的快速辐射传输计算。
-
AutoShim 免费
通过 PLS 回归与迭代训练和姿势选择构建分子对接活动预测模型的工具。描述符包括 (i) 停靠分数(s),(ii) 药理量特征,(iii) 决策树学习的多特征描述符。