没有合适的资源?快使用搜索试试~ 我知道了~
Petrinets:可视化和分析Petrinets的应用程序
需积分: 10 3 下载量 109 浏览量
2021-02-20
18:06:17
上传
评论
收藏 803KB ZIP 举报
温馨提示
Petrinet申请 用Java编程语言开发的应用程序是一种工具,通过它可以显示给定的Petri网,并且可以将用于计算某些特征的算法应用于该工具。 该程序提供了从PNML-Files加载Petri网,相应地拾取数据结构并使它们在图形用户界面中可用的可能性。 加载的Petri网可由用户根据用户界面进行编辑。 同样,可以动态切换转换,以检查网络的动态。 Petri网的核心属性(有界性)可以通过图形方式进行,也可以作为大量网的文本批处理来执行。 该程序基于库,该库用于显示Petri网及其关联的(部分)可达性图。 在完全自行开发的数据结构上读取Petri网络,该结构提供了执行约束分析的所有功能。 该代码由JavaDoc注释和描述。 用法 图形用户界面是控制程序所有操作的中心。 它由一个菜单栏,一个工具栏,两个主框架和一个用于显示相关信息的文本区域组成。 菜单栏的文件按钮包含以下各项: 打开文
资源推荐
资源评论
资源评论
蒋叶婷
- 粉丝: 34
- 资源: 4578
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功