文件名称：PIPE:PIPE-独立于平台的Petri Net编辑器
文件大小：686KB
文件格式：ZIP
更新时间：2024-06-02 07:27:15
Java
管5 从迁移而来的用于创建和分析Petri网的工具。 您可以在找到有关如何使用PIPE 5功能的用户指南。 由于完全重写了后端，因此PIPE 5目前处于beta阶段，因此缺少大多数分析模块。 如果您需要Petri网分析，请使用PIPE 4。 新增（2015年3月） 支持的alpha版本正在开发中，并且可以在和的分层网分支中。 它由PIPECore项目中的业务逻辑（以及PIPE中的一些兼容性更改）组成，尚不具有用户界面支持。 关于PIPE PIPE是一个开放源代码，平台无关的工具，用于创建，模拟和分析Petri网，包括广义随机Petri网。 Petri网是在分布式系统中建模并发和同步的一种流行方法，要了解有关Petri网的更多信息，可以先阅读2006/7 MSc。 项目报告可。 如何引用PIPE 如果您在研究中使用PIPE，请引用相关出版物，我们将不胜感激： NJ Dingle，