Petri网工具数据库快速概述

下表有助于对现有工具进行概述，并进行粗略比较。

只能使用支持表格（HTML3）的浏览器查看此页面。

概述	特征		环境
概述	支持PN	组件	环境
ALPHA/模拟主页通信。	高级Petri网带时间的Petri网	图形编辑器令牌游戏动画快速模拟简单性能分析	太阳操作系统 Solaris公司微软Windows NT
阿尔皮纳主页免费	高级Petri网	图形编辑器状态空间凝聚态空间简单性能分析交换文件格式	Java语言
ARP协议主页免费	放置/过渡网带时间的Petri网	快速模拟状态空间放置不变量转换不变量结构分析简单性能分析	PC、MS DOS
Artifex公司主页通信（acad.disc.）	面向对象的PN 高级Petri网放置/过渡网带时间的Petri网	图形编辑器令牌游戏动画快速模拟结构分析高级性能分析	太阳、太阳惠普、HP-UX Silicon Graphics，IRIX公司 PC，Linux PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
CoopnBuilder公司主页免费	面向对象的PN 高级Petri网	图形编辑器令牌游戏动画快速模拟代码生成	Java语言
COSA业务流程管理主页通信（acad.disc.）	高级Petri网	图形编辑器代币游戏动画工作流管理系统	太阳、太阳惠普、HP-UX PC，Linux PC，MS Windows 98 PC、MS Windows NT 电脑，MS Windows 2000 PC，MS Windows XP Java语言
Cosmos公司主页免费	放置/过渡网随机Petri网随机对称网	快速模拟交换文件格式罕见事件模拟	PC，Linux Macintosh、Mac OS X
CPN-AMI公司主页免费	高级Petri网放置/过渡网	图形编辑器快速模拟状态空间凝聚状态空间放置不变量转换不变量结构分析交换文件格式 Moduar建模服务	PC，Linux Macintosh、Mac OS
CPN工具主页免费	高级Petri网带时间的Petri网	图形编辑器令牌游戏动画快速模拟状态空间简单性能分析交换文件格式	PC、Linux PC，MS Windows 2000 PC，MS Windows XP
光盘软件平台主页免费	放置/过渡网	图形编辑器结构分析交换文件格式工作流管理系统	Silicon Graphics，IRIX公司 PC，MS Windows XP
ePNK公司主页免费	高级Petri网放置/过渡网可以插入新类型	图形编辑器状态空间模型检查器（用于P/T网络）；可以插入新功能
ExSpect公司主页通信（acad.disc.）	高级Petri网放置/过渡网随机Petri网带时间的Petri网建模层次	图形编辑器令牌游戏动画快速模拟简单性能分析高级性能分析快速原型制作工作流管理系统模拟引擎作为COM组件提供	微软视窗
FLOWer公司主页通信（acad.disc.）	放置/过渡网	图形编辑器快速原型制作工作流管理系统案件处理系统	HP、HP-UX PC，Linux PC，MS Windows 2000 Java语言
流体生存工具主页免费	随机Petri网带时间的Petri网	简单性能分析高级性能分析	PC，Linux
F网络主页通信（acad.disc.）	随机Petri网带时间的Petri网	图形编辑器代币游戏动画快速模拟状态空间放置不变量转换不变量结构分析简单性能分析高级性能分析	微软视窗操作系统/2
GD工具包主页通信（acad.free）	高级Petri网放置/过渡网	自动布局	太阳 Linux操作系统微软视窗
盖斯特3D 主页免费	高级Petri网放置/过渡网带时间的Petri网		PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
GHENeSys公司免费	高级Petri网放置/过渡网带时间的Petri网	图形编辑器令牌游戏动画放置不变量转换不变量简单性能分析	Java语言
GPenSIM卡主页	高级Petri网地点/过渡网带时间的Petri网	状态空间放置不变量转换不变量结构分析简单性能分析高级性能分析
GreatSPN公司主页通信（学术自由）	高级Petri网随机Petri网带时间的Petri网	图形编辑器令牌游戏动画快速模拟状态空间凝聚状态空间放置不变量转换不变量结构分析高级性能分析	太阳 Linux操作系统
海伦娜主页免费	高级Petri网	状态空间凝聚状态空间净减排量	Linux操作系统
HiQPN工具主页免费	高级Petri网随机Petri网	图形编辑器令牌游戏动画状态空间放置不变量转换不变量高级性能分析交换文件格式	太阳
HISIm公司主页免费	高级Petri网放置/过渡网带时间的Petri网混合Petri网	图形编辑器令牌游戏动画快速模拟	Java语言
HPSim公司主页免费	放置/过渡网随机Petri网带时间的Petri网	图形编辑器令牌游戏动画快速模拟简单性能分析	PC，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
HSTPNSim公司主页	放置/过渡网随机Petri网带时间的Petri网概率Petri网	图形编辑器快速模拟	PC，MS Windows XP
INA公司主页免费	高级Petri网放置/过渡网带时间的Petri网	状态空间凝聚状态空间放置不变量转换不变量净减少额结构分析简单性能分析高级性能分析交换文件格式基于CTL的模型检查器	太阳 Linux操作系统微软视窗
收入套房主页通信（学术自由）	高级Petri网放置/过渡网带时间的Petri网	图形编辑器令牌游戏动画快速模拟工作流管理系统	太阳、太阳惠普、HP-UX PC，Linux PC，MS Windows 2000 PC，MS Windows XP Java语言
IOPT工具主页免费	放置/过渡网	图形编辑器令牌游戏动画快速模拟状态空间交换文件格式快速原型制作 C和VHDL代码生成	PC，Linux PC，MS Windows 2000 PC，MS Windows XP Macintosh、Mac OS Macintosh、Mac OS X
ITS工具主页免费	高级Petri网放置/过渡网带时间的Petri网 PNML公司	图形编辑器状态空间凝聚状态空间 LTL、CTL	PC，Linux PC，MS Windows XP Macintosh、Mac OS X
日本退休人员协会主页免费	地点/过渡网	图形编辑器令牌游戏动画状态空间交换文件格式	Java语言
JFern公司主页免费	面向对象的PN 高级Petri网放置/过渡网带时间的Petri网	图形编辑器令牌游戏动画快速模拟状态空间简单性能分析交换文件格式	Java语言
JPetriNet公司主页免费	放置/过渡网带时间的Petri网	图形编辑器结构分析	Java语言
JSARP公司主页免费	面向对象的PN	图形编辑器令牌游戏动画快速模拟结构分析	Java语言
科蒂努姆主页通信（acad.disc.）	高级Petri网带时间的Petri网	图形编辑器简单性能分析工作流管理系统	PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
洛拉主页免费	高级Petri网放置/过渡网	快速模拟状态空间凝聚状态空间	太阳、太阳惠普、HP-UX Silicon Graphics，IRIX公司 PC，Linux PC、MS DOS 电脑，操作系统/2 PC，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
玛丽亚主页免费	高级Petri网放置/过渡网模块化高级网络标签状态转换系统	令牌游戏动画快速模拟状态空间模块化状态空间公平假设下的LTL模型检查器非常高级的数据类型和操作	Sun、SunOS 5.7和5.8（32位和64位）数字，UNIX 4.0 Silicon Graphics，IRIX 6.5（32位和64位） HP-UX 11.22 NetBSD、FreeBSD、OpenBSD PC，Linux PC、MS Windows 95及更高版本苹果，Mac OS X 10.1
水银主页免费	随机Petri网	转换不变量结构分析简单性能分析高级性能分析交换文件格式	Java语言
MISS-RdP公司主页通信。	随机Petri网带时间的Petri网彩色Petri网	图形编辑器快速模拟	太阳、太阳 PC、MS Windows NT PC，MS Windows 2000
薄雾主页免费	地点/过渡网	状态空间凝聚状态空间放置不变量转换不变量净减排量	PC，Linux
薄雾2 主页免费	放置/过渡网	状态空间凝聚状态空间放置不变量净减排量	PC，Linux Macintosh、Mac OS X
MISTA公司主页通信（acad.free）	高级Petri网	图形编辑器令牌游戏动画状态空间可达性分析、测试生成	Java语言
网络实验室主页通信（acad.free）	放置/过渡网 Petri网状态模型的离散部分（P/T网类似信号解释网的输入/输出扩展）	图形编辑器令牌游戏动画快速模拟状态空间凝聚状态空间放置不变量过渡不变量结构分析交换文件格式	PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
内沃德主页通信。	抑制剂Petri网	图形编辑器令牌游戏动画快速模拟	微软DOS
歌剧主页通信。	带时间的Petri网	图形编辑器令牌游戏动画快速模拟状态空间凝聚状态空间放置不变量转换不变量净减排量结构分析简单性能分析高级性能分析交换文件格式	微软DOS
ORIS公司主页免费	随机Petri网带时间的Petri网	图形编辑器状态空间高级性能分析	PC，Linux PC、MS Windows XP Macintosh、Mac OS X Java语言
第3页主页免费	放置/过渡网升级的Petri网	图形编辑器令牌游戏动画快速模拟状态空间凝聚状态空间交换文件格式 Petri网本体	PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC、MS Windows XP
步伐主页通信（acad.disc.）	高级Petri网放置/过渡网随机Petri网带时间的Petri网属性Petri网	图形编辑器令牌游戏动画快速模拟净减排量模糊技术、网络优化	PC，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
压力设备指令主页免费	放置/过渡网	图形编辑器令牌游戏动画	太阳、太阳 PC，Linux
蛋白胨主页免费	高级Petri网放置/过渡网带时间的Petri网	图形编辑器令牌游戏动画状态空间凝聚状态空间放置不变量转换不变量净减少额结构分析交换文件格式模型检查 Petri网生成器	太阳 Linux操作系统
佩蒂佩特里主页免费	放置/过渡网带时间的Petri网	图形编辑器快速原型制作	PC，Linux PC，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP Macintosh、Mac OS Macintosh、Mac OS X
彼得里根主页免费	放置/过渡网	图形编辑器令牌游戏动画合成	PC，Linux PC，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
彼得里·里德主页免费	基本网络	图形编辑器令牌游戏动画快速原型制作	Java语言
Petri网内核主页免费	高级Petri网放置/过渡网黎明-网络用户可定义	图形编辑器令牌游戏动画交换文件格式 INA飞行员用户可定义	Java语言
佩特里。NET模拟器主页通信（acad.disc.）	放置/过渡网带时间的Petri网	图形编辑器令牌游戏动画快速模拟简单性能分析子系统块	PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
Petri网工具箱主页通信（acad.disc.）	放置/过渡网随机Petri网带时间的Petri网广义随机Petri网	图形编辑器令牌游戏动画快速模拟状态空间放置不变量转换不变量结构分析简单性能分析高级性能分析交换文件格式标记图的最大加分析
佩特里西姆主页免费	高级Petri网放置/过渡网带时间的Petri网	图形编辑器快速模拟	毫秒-多斯
裴楚丘主页免费	高级Petri网放置/过渡网随机Petri网带时间的Petri网传输Petri网	图形编辑器令牌游戏动画快速模拟状态空间放置不变量净减排量简单性能分析交换文件格式	太阳、太阳惠普、HP-UX PC，Linux PC，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP Macintosh、Mac OS Macintosh、Mac OS X Java语言
独立于平台的Petri网编辑器2 主页免费	放置/过渡网	图形编辑器令牌游戏动画快速模拟状态空间凝聚态空间放置不变量转换不变量结构分析简单性能分析交换文件格式可扩展分析模块和文件格式	Java语言
PNEditor（PNEditor）主页免费	地点/过渡网	图形编辑器交换文件格式	Java语言
PNetLab（网络实验室）主页免费	高级Petri网放置/过渡网带时间的Petri网	图形编辑器令牌游戏动画放置不变量转换不变量结构分析简单性能分析交换文件格式	PC，MS Windows XP
PNML框架主页免费	PNML核心模型放置/过渡网对称网络高级Petri网用高级符号表示的位置/过渡网	交换文件格式	PC，Linux PC、Windows XP Professional、Vista Professional和Server 2003 Macintosh PPC 32位和Intel 64位，Mac OS X Java语言
PNSim公司主页免费	放置/过渡网	图形编辑器令牌游戏动画结构分析简单网络分析	微软视窗 Java语言
PN-套装主页	地点/过渡网	令牌游戏动画净减排量交换文件格式切片；转型	PC，Linux PC，MS Windows XP Macintosh、Mac操作系统 Macintosh、Mac OS X
PNtalk（PNtalk）主页免费	高级Petri网带时间的Petri网	图形编辑器令牌游戏动画快速模拟简单性能分析	太阳微软视窗
姿势++ 主页免费	高级Petri网	快速模拟	太阳 Linux操作系统微软视窗
捕食者主页免费	放置/过渡网随机Petri网分层Petri网（子网）	图形编辑器放置不变量转换不变量交换文件格式分析模块的动态加载	Java语言
产品主页免费	高级Petri网放置/过渡网	状态空间凝聚状态空间 LTL模型检查、CTL模型检查	太阳、太阳惠普、HP-UX Silicon Graphics，IRIX公司 PC，Linux 电脑，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
ProM框架主页免费	高级Petri网地点/过渡网	状态空间放置不变量转换不变量净减排量结构分析简单性能分析高级性能分析交换文件格式一致性	PC，Linux PC，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP Macintosh、Mac OS Macintosh、Mac OS X Java语言
普罗托斯主页通信（acad.disc.）	放置/过渡网随机Petri网带时间的Petri网	图形编辑器快速模拟结构分析简单性能分析快速原型制作工作流管理系统	PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
PTN引擎主页	放置/过渡网	快速模拟快速原型制作	PC，Linux PC，MS Windows XP
QPME公司主页免费	高级Petri网放置/过渡网随机Petri网（分层）排队Petri网	图形编辑器快速模拟高级性能分析交换文件格式	太阳、太阳惠普、HP-UX PC、Linux PC，MS Windows XP Macintosh、Mac OS X Java语言
续订主页免费	面向对象的PN 高级Petri网放置/过渡网带时间的Petri网	图形编辑器令牌游戏动画快速模拟交换文件格式快速原型制作工作流管理系统	Java语言
罗密欧主页	带时间的Petri网	图形编辑器状态空间	PC，Linux Macintosh、Mac OS X
萨马图利亚塔主页	高级Petri网放置/过渡网	图形编辑器	PC，Linux
东南亚主页免费	高级Petri网带时间的Petri网	图形编辑器代币游戏动画快速模拟抽象图形可视化	太阳
SimHPN公司主页通信（acad.disc.）	混合petri网	图形编辑器快速模拟状态空间放置不变量转换不变量结构分析简单性能分析	MATLAB 7.0或更高版本
Simulaworks，Petri网模拟器主页通信。	地点/过渡网随机Petri网带时间的Petri网	图形编辑器快速模拟	PC，MS Windows 2000 PC，MS Windows XP
SIPN-编辑器主页免费	解释Petri网	图形编辑器 PLC代码生成，转换为SMV代码	Java语言
蛇主页免费	高级Petri网放置/过渡网 PBC和M-nets系列	快速模拟状态空间凝聚状态空间交换文件格式快速原型制作	太阳、太阳惠普、HP-UX Silicon Graphics，IRIX公司 PC，Linux PC、MS DOS PC，OS/2 电脑，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP Macintosh、Mac OS Macintosh、Mac OS X
史努比主页免费	地点/过渡网随机Petri网带时间的Petri网连续Petri网	图形编辑器令牌游戏动画快速模拟	PC、Linux PC，MS Windows 2000 PC，MS Windows XP Macintosh、Mac OS X
SPNP公司主页通信（acad.free）	高级Petri网随机Petri网	高级性能分析	PC，MS Windows 98
StpnPlay游戏主页免费	随机Petri网带时间的Petri网	图形编辑器快速模拟简单性能分析交换文件格式	PC，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
SYROCO公司主页通信（acad.free）	高级Petri网带时间的Petri网网络的动态实例化，与转换和位置相关的C++代码，优先级	图形编辑器快速模拟简单性能分析交换文件格式 C++代码生成	C类++
TAPAAL公司主页免费	放置/过渡网带时间的Petri网	图形编辑器令牌游戏动画高级性能分析交换文件格式	太阳、太阳惠普、HP-UX Silicon Graphics公司，IRIX PC，Linux PC、MS DOS PC，OS/2 PC，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP Macintosh、Mac OS Macintosh、Mac OS X Java语言
模型检查工具包主页免费	高级Petri网放置/过渡网	状态空间凝聚状态空间 CTL-/LTL-模型检查、死锁检查、可达性检查	太阳 Linux操作系统
时间网络主页通信（acad.free）	高级Petri网放置/过渡网随机Petri网带时间的Petri网	图形编辑器令牌游戏动画快速模拟放置不变量结构分析简单性能分析高级性能分析	PC，Linux PC，MS Windows XP
蒂娜主页免费	放置/过渡网带时间的Petri网时间Petri网	图形编辑器令牌游戏动画状态空间凝聚状态空间放置不变量过渡不变量州类空间	太阳、太阳 PC，Linux PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP Macintosh、Mac OS X
可视化对象网++ 主页免费	放置/过渡网带时间的Petri网混合动态网和混合对象网	图形编辑器令牌游戏动画快速模拟结构分析简单性能分析支持对象层次结构	微软视窗
可视化Petri 主页免费	放置/过渡网	图形编辑器令牌游戏动画	PC，MS Windows XP
网站PN 主页免费	随机Petri网非马尔可夫随机Petri网	图形编辑器令牌游戏动画状态空间凝聚状态空间高级性能分析内存策略	PC，Linux Java语言
WINSIM公司主页	扩展高级Petri网	高级性能分析
沃尔夫冈主页免费	高级Petri网地点/过渡网	图形编辑器令牌游戏动画状态空间结构分析交换文件格式符合PNML的工作流网络属性分析	PC，Linux Macintosh、Mac OS X Java语言
WoPeD公司主页免费	放置/过渡网工作流网络	图形编辑器资源编辑器（角色和组）子流程支持令牌游戏动画交换文件格式语义分析（合理性检查） Woflan分析界面定量分析（吞吐量、等待时间）容量规划（资源使用）	Java语言
XRL/花主页免费	高级Petri网 WF网络	工作流管理系统	电脑，MS Windows 2000 Java语言
亚斯珀主页免费	放置/过渡网随机Petri网带时间的Petri网	图形编辑器令牌游戏动画快速模拟净减排量简单性能分析交换文件格式工作流案例区分	PC，MS Windows 2000 PC，MS Windows XP
汪汪叫主页免费	高级Petri网 YAWL支持多实例、OR-join和取消集。	图形编辑器令牌游戏动画交换文件格式工作流管理系统	Java语言

维护人员第页，共页

概述	特征		环境
概述	支持PN	组件	环境
ALPHA/模拟主页通信。	高级Petri网带时间的Petri网	图形编辑器令牌游戏动画快速模拟简单性能分析	太阳操作系统 Solaris公司微软Windows NT
阿尔皮纳主页免费	高级Petri网	图形编辑器状态空间凝聚态空间简单性能分析交换文件格式	Java语言
ARP协议主页免费	放置/过渡网带时间的Petri网	快速模拟状态空间放置不变量转换不变量结构分析简单性能分析	PC、MS DOS
Artifex公司主页通信（acad.disc.）	面向对象的PN 高级Petri网放置/过渡网带时间的Petri网	图形编辑器令牌游戏动画快速模拟结构分析高级性能分析	太阳、太阳惠普、HP-UX Silicon Graphics，IRIX公司 PC，Linux PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
CoopnBuilder公司主页免费	面向对象的PN 高级Petri网	图形编辑器令牌游戏动画快速模拟代码生成	Java语言
COSA业务流程管理主页通信（acad.disc.）	高级Petri网	图形编辑器代币游戏动画工作流管理系统	太阳、太阳惠普、HP-UX PC，Linux PC，MS Windows 98 PC、MS Windows NT 电脑，MS Windows 2000 PC，MS Windows XP Java语言
Cosmos公司主页免费	放置/过渡网随机Petri网随机对称网	快速模拟交换文件格式罕见事件模拟	PC，Linux Macintosh、Mac OS X
CPN-AMI公司主页免费	高级Petri网放置/过渡网	图形编辑器快速模拟状态空间凝聚状态空间放置不变量转换不变量结构分析交换文件格式 Moduar建模服务	PC，Linux Macintosh、Mac OS
CPN工具主页免费	高级Petri网带时间的Petri网	图形编辑器令牌游戏动画快速模拟状态空间简单性能分析交换文件格式	PC、Linux PC，MS Windows 2000 PC，MS Windows XP
光盘软件平台主页免费	放置/过渡网	图形编辑器结构分析交换文件格式工作流管理系统	Silicon Graphics，IRIX公司 PC，MS Windows XP
ePNK公司主页免费	高级Petri网放置/过渡网可以插入新类型	图形编辑器状态空间模型检查器（用于P/T网络）；可以插入新功能
ExSpect公司主页通信（acad.disc.）	高级Petri网放置/过渡网随机Petri网带时间的Petri网建模层次	图形编辑器令牌游戏动画快速模拟简单性能分析高级性能分析快速原型制作工作流管理系统模拟引擎作为COM组件提供	微软视窗
FLOWer公司主页通信（acad.disc.）	放置/过渡网	图形编辑器快速原型制作工作流管理系统案件处理系统	HP、HP-UX PC，Linux PC，MS Windows 2000 Java语言
流体生存工具主页免费	随机Petri网带时间的Petri网	简单性能分析高级性能分析	PC，Linux
F网络主页通信（acad.disc.）	随机Petri网带时间的Petri网	图形编辑器代币游戏动画快速模拟状态空间放置不变量转换不变量结构分析简单性能分析高级性能分析	微软视窗操作系统/2
GD工具包主页通信（acad.free）	高级Petri网放置/过渡网	自动布局	太阳 Linux操作系统微软视窗
盖斯特3D 主页免费	高级Petri网放置/过渡网带时间的Petri网		PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
GHENeSys公司免费	高级Petri网放置/过渡网带时间的Petri网	图形编辑器令牌游戏动画放置不变量转换不变量简单性能分析	Java语言
GPenSIM卡主页	高级Petri网地点/过渡网带时间的Petri网	状态空间放置不变量转换不变量结构分析简单性能分析高级性能分析
GreatSPN公司主页通信（学术自由）	高级Petri网随机Petri网带时间的Petri网	图形编辑器令牌游戏动画快速模拟状态空间凝聚状态空间放置不变量转换不变量结构分析高级性能分析	太阳 Linux操作系统
海伦娜主页免费	高级Petri网	状态空间凝聚状态空间净减排量	Linux操作系统
HiQPN工具主页免费	高级Petri网随机Petri网	图形编辑器令牌游戏动画状态空间放置不变量转换不变量高级性能分析交换文件格式	太阳
HISIm公司主页免费	高级Petri网放置/过渡网带时间的Petri网混合Petri网	图形编辑器令牌游戏动画快速模拟	Java语言
HPSim公司主页免费	放置/过渡网随机Petri网带时间的Petri网	图形编辑器令牌游戏动画快速模拟简单性能分析	PC，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
HSTPNSim公司主页	放置/过渡网随机Petri网带时间的Petri网概率Petri网	图形编辑器快速模拟	PC，MS Windows XP
INA公司主页免费	高级Petri网放置/过渡网带时间的Petri网	状态空间凝聚状态空间放置不变量转换不变量净减少额结构分析简单性能分析高级性能分析交换文件格式基于CTL的模型检查器	太阳 Linux操作系统微软视窗
收入套房主页通信（学术自由）	高级Petri网放置/过渡网带时间的Petri网	图形编辑器令牌游戏动画快速模拟工作流管理系统	太阳、太阳惠普、HP-UX PC，Linux PC，MS Windows 2000 PC，MS Windows XP Java语言
IOPT工具主页免费	放置/过渡网	图形编辑器令牌游戏动画快速模拟状态空间交换文件格式快速原型制作 C和VHDL代码生成	PC，Linux PC，MS Windows 2000 PC，MS Windows XP Macintosh、Mac OS Macintosh、Mac OS X
ITS工具主页免费	高级Petri网放置/过渡网带时间的Petri网 PNML公司	图形编辑器状态空间凝聚状态空间 LTL、CTL	PC，Linux PC，MS Windows XP Macintosh、Mac OS X
日本退休人员协会主页免费	地点/过渡网	图形编辑器令牌游戏动画状态空间交换文件格式	Java语言
JFern公司主页免费	面向对象的PN 高级Petri网放置/过渡网带时间的Petri网	图形编辑器令牌游戏动画快速模拟状态空间简单性能分析交换文件格式	Java语言
JPetriNet公司主页免费	放置/过渡网带时间的Petri网	图形编辑器结构分析	Java语言
JSARP公司主页免费	面向对象的PN	图形编辑器令牌游戏动画快速模拟结构分析	Java语言
科蒂努姆主页通信（acad.disc.）	高级Petri网带时间的Petri网	图形编辑器简单性能分析工作流管理系统	PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
洛拉主页免费	高级Petri网放置/过渡网	快速模拟状态空间凝聚状态空间	太阳、太阳惠普、HP-UX Silicon Graphics，IRIX公司 PC，Linux PC、MS DOS 电脑，操作系统/2 PC，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
玛丽亚主页免费	高级Petri网放置/过渡网模块化高级网络标签状态转换系统	令牌游戏动画快速模拟状态空间模块化状态空间公平假设下的LTL模型检查器非常高级的数据类型和操作	Sun、SunOS 5.7和5.8（32位和64位）数字，UNIX 4.0 Silicon Graphics，IRIX 6.5（32位和64位） HP-UX 11.22 NetBSD、FreeBSD、OpenBSD PC，Linux PC、MS Windows 95及更高版本苹果，Mac OS X 10.1
水银主页免费	随机Petri网	转换不变量结构分析简单性能分析高级性能分析交换文件格式	Java语言
MISS-RdP公司主页通信。	随机Petri网带时间的Petri网彩色Petri网	图形编辑器快速模拟	太阳、太阳 PC、MS Windows NT PC，MS Windows 2000
薄雾主页免费	地点/过渡网	状态空间凝聚状态空间放置不变量转换不变量净减排量	PC，Linux
薄雾2 主页免费	放置/过渡网	状态空间凝聚状态空间放置不变量净减排量	PC，Linux Macintosh、Mac OS X
MISTA公司主页通信（acad.free）	高级Petri网	图形编辑器令牌游戏动画状态空间可达性分析、测试生成	Java语言
网络实验室主页通信（acad.free）	放置/过渡网 Petri网状态模型的离散部分（P/T网类似信号解释网的输入/输出扩展）	图形编辑器令牌游戏动画快速模拟状态空间凝聚状态空间放置不变量过渡不变量结构分析交换文件格式	PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
内沃德主页通信。	抑制剂Petri网	图形编辑器令牌游戏动画快速模拟	微软DOS
歌剧主页通信。	带时间的Petri网	图形编辑器令牌游戏动画快速模拟状态空间凝聚状态空间放置不变量转换不变量净减排量结构分析简单性能分析高级性能分析交换文件格式	微软DOS
ORIS公司主页免费	随机Petri网带时间的Petri网	图形编辑器状态空间高级性能分析	PC，Linux PC、MS Windows XP Macintosh、Mac OS X Java语言
第3页主页免费	放置/过渡网升级的Petri网	图形编辑器令牌游戏动画快速模拟状态空间凝聚状态空间交换文件格式 Petri网本体	PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC、MS Windows XP
步伐主页通信（acad.disc.）	高级Petri网放置/过渡网随机Petri网带时间的Petri网属性Petri网	图形编辑器令牌游戏动画快速模拟净减排量模糊技术、网络优化	PC，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
压力设备指令主页免费	放置/过渡网	图形编辑器令牌游戏动画	太阳、太阳 PC，Linux
蛋白胨主页免费	高级Petri网放置/过渡网带时间的Petri网	图形编辑器令牌游戏动画状态空间凝聚状态空间放置不变量转换不变量净减少额结构分析交换文件格式模型检查 Petri网生成器	太阳 Linux操作系统
佩蒂佩特里主页免费	放置/过渡网带时间的Petri网	图形编辑器快速原型制作	PC，Linux PC，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP Macintosh、Mac OS Macintosh、Mac OS X
彼得里根主页免费	放置/过渡网	图形编辑器令牌游戏动画合成	PC，Linux PC，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
彼得里·里德主页免费	基本网络	图形编辑器令牌游戏动画快速原型制作	Java语言
Petri网内核主页免费	高级Petri网放置/过渡网黎明-网络用户可定义	图形编辑器令牌游戏动画交换文件格式 INA飞行员用户可定义	Java语言
佩特里。NET模拟器主页通信（acad.disc.）	放置/过渡网带时间的Petri网	图形编辑器令牌游戏动画快速模拟简单性能分析子系统块	PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
Petri网工具箱主页通信（acad.disc.）	放置/过渡网随机Petri网带时间的Petri网广义随机Petri网	图形编辑器令牌游戏动画快速模拟状态空间放置不变量转换不变量结构分析简单性能分析高级性能分析交换文件格式标记图的最大加分析
佩特里西姆主页免费	高级Petri网放置/过渡网带时间的Petri网	图形编辑器快速模拟	毫秒-多斯
裴楚丘主页免费	高级Petri网放置/过渡网随机Petri网带时间的Petri网传输Petri网	图形编辑器令牌游戏动画快速模拟状态空间放置不变量净减排量简单性能分析交换文件格式	太阳、太阳惠普、HP-UX PC，Linux PC，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP Macintosh、Mac OS Macintosh、Mac OS X Java语言
独立于平台的Petri网编辑器2 主页免费	放置/过渡网	图形编辑器令牌游戏动画快速模拟状态空间凝聚态空间放置不变量转换不变量结构分析简单性能分析交换文件格式可扩展分析模块和文件格式	Java语言
PNEditor（PNEditor）主页免费	地点/过渡网	图形编辑器交换文件格式	Java语言
PNetLab（网络实验室）主页免费	高级Petri网放置/过渡网带时间的Petri网	图形编辑器令牌游戏动画放置不变量转换不变量结构分析简单性能分析交换文件格式	PC，MS Windows XP
PNML框架主页免费	PNML核心模型放置/过渡网对称网络高级Petri网用高级符号表示的位置/过渡网	交换文件格式	PC，Linux PC、Windows XP Professional、Vista Professional和Server 2003 Macintosh PPC 32位和Intel 64位，Mac OS X Java语言
PNSim公司主页免费	放置/过渡网	图形编辑器令牌游戏动画结构分析简单网络分析	微软视窗 Java语言
PN-套装主页	地点/过渡网	令牌游戏动画净减排量交换文件格式切片；转型	PC，Linux PC，MS Windows XP Macintosh、Mac操作系统 Macintosh、Mac OS X
PNtalk（PNtalk）主页免费	高级Petri网带时间的Petri网	图形编辑器令牌游戏动画快速模拟简单性能分析	太阳微软视窗
姿势++ 主页免费	高级Petri网	快速模拟	太阳 Linux操作系统微软视窗
捕食者主页免费	放置/过渡网随机Petri网分层Petri网（子网）	图形编辑器放置不变量转换不变量交换文件格式分析模块的动态加载	Java语言
产品主页免费	高级Petri网放置/过渡网	状态空间凝聚状态空间 LTL模型检查、CTL模型检查	太阳、太阳惠普、HP-UX Silicon Graphics，IRIX公司 PC，Linux 电脑，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
ProM框架主页免费	高级Petri网地点/过渡网	状态空间放置不变量转换不变量净减排量结构分析简单性能分析高级性能分析交换文件格式一致性	PC，Linux PC，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP Macintosh、Mac OS Macintosh、Mac OS X Java语言
普罗托斯主页通信（acad.disc.）	放置/过渡网随机Petri网带时间的Petri网	图形编辑器快速模拟结构分析简单性能分析快速原型制作工作流管理系统	PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
PTN引擎主页	放置/过渡网	快速模拟快速原型制作	PC，Linux PC，MS Windows XP
QPME公司主页免费	高级Petri网放置/过渡网随机Petri网（分层）排队Petri网	图形编辑器快速模拟高级性能分析交换文件格式	太阳、太阳惠普、HP-UX PC、Linux PC，MS Windows XP Macintosh、Mac OS X Java语言
续订主页免费	面向对象的PN 高级Petri网放置/过渡网带时间的Petri网	图形编辑器令牌游戏动画快速模拟交换文件格式快速原型制作工作流管理系统	Java语言
罗密欧主页	带时间的Petri网	图形编辑器状态空间	PC，Linux Macintosh、Mac OS X
萨马图利亚塔主页	高级Petri网放置/过渡网	图形编辑器	PC，Linux
东南亚主页免费	高级Petri网带时间的Petri网	图形编辑器代币游戏动画快速模拟抽象图形可视化	太阳
SimHPN公司主页通信（acad.disc.）	混合petri网	图形编辑器快速模拟状态空间放置不变量转换不变量结构分析简单性能分析	MATLAB 7.0或更高版本
Simulaworks，Petri网模拟器主页通信。	地点/过渡网随机Petri网带时间的Petri网	图形编辑器快速模拟	PC，MS Windows 2000 PC，MS Windows XP
SIPN-编辑器主页免费	解释Petri网	图形编辑器 PLC代码生成，转换为SMV代码	Java语言
蛇主页免费	高级Petri网放置/过渡网 PBC和M-nets系列	快速模拟状态空间凝聚状态空间交换文件格式快速原型制作	太阳、太阳惠普、HP-UX Silicon Graphics，IRIX公司 PC，Linux PC、MS DOS PC，OS/2 电脑，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP Macintosh、Mac OS Macintosh、Mac OS X
史努比主页免费	地点/过渡网随机Petri网带时间的Petri网连续Petri网	图形编辑器令牌游戏动画快速模拟	PC、Linux PC，MS Windows 2000 PC，MS Windows XP Macintosh、Mac OS X
SPNP公司主页通信（acad.free）	高级Petri网随机Petri网	高级性能分析	PC，MS Windows 98
StpnPlay游戏主页免费	随机Petri网带时间的Petri网	图形编辑器快速模拟简单性能分析交换文件格式	PC，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP
SYROCO公司主页通信（acad.free）	高级Petri网带时间的Petri网网络的动态实例化，与转换和位置相关的C++代码，优先级	图形编辑器快速模拟简单性能分析交换文件格式 C++代码生成	C类++
TAPAAL公司主页免费	放置/过渡网带时间的Petri网	图形编辑器令牌游戏动画高级性能分析交换文件格式	太阳、太阳惠普、HP-UX Silicon Graphics公司，IRIX PC，Linux PC、MS DOS PC，OS/2 PC，MS Windows 95 PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP Macintosh、Mac OS Macintosh、Mac OS X Java语言
模型检查工具包主页免费	高级Petri网放置/过渡网	状态空间凝聚状态空间 CTL-/LTL-模型检查、死锁检查、可达性检查	太阳 Linux操作系统
时间网络主页通信（acad.free）	高级Petri网放置/过渡网随机Petri网带时间的Petri网	图形编辑器令牌游戏动画快速模拟放置不变量结构分析简单性能分析高级性能分析	PC，Linux PC，MS Windows XP
蒂娜主页免费	放置/过渡网带时间的Petri网时间Petri网	图形编辑器令牌游戏动画状态空间凝聚状态空间放置不变量过渡不变量州类空间	太阳、太阳 PC，Linux PC，MS Windows 98 PC、MS Windows NT PC，MS Windows 2000 PC，MS Windows XP Macintosh、Mac OS X
可视化对象网++ 主页免费	放置/过渡网带时间的Petri网混合动态网和混合对象网	图形编辑器令牌游戏动画快速模拟结构分析简单性能分析支持对象层次结构	微软视窗
可视化Petri 主页免费	放置/过渡网	图形编辑器令牌游戏动画	PC，MS Windows XP
网站PN 主页免费	随机Petri网非马尔可夫随机Petri网	图形编辑器令牌游戏动画状态空间凝聚状态空间高级性能分析内存策略	PC，Linux Java语言
WINSIM公司主页	扩展高级Petri网	高级性能分析
沃尔夫冈主页免费	高级Petri网地点/过渡网	图形编辑器令牌游戏动画状态空间结构分析交换文件格式符合PNML的工作流网络属性分析	PC，Linux Macintosh、Mac OS X Java语言
WoPeD公司主页免费	放置/过渡网工作流网络	图形编辑器资源编辑器（角色和组）子流程支持令牌游戏动画交换文件格式语义分析（合理性检查） Woflan分析界面定量分析（吞吐量、等待时间）容量规划（资源使用）	Java语言
XRL/花主页免费	高级Petri网 WF网络	工作流管理系统	电脑，MS Windows 2000 Java语言
亚斯珀主页免费	放置/过渡网随机Petri网带时间的Petri网	图形编辑器令牌游戏动画快速模拟净减排量简单性能分析交换文件格式工作流案例区分	PC，MS Windows 2000 PC，MS Windows XP
汪汪叫主页免费	高级Petri网 YAWL支持多实例、OR-join和取消集。	图形编辑器令牌游戏动画交换文件格式工作流管理系统	Java语言