Platform Independent Petri Net Editor - 项目摘要 |
摘要
| 管理 |
论坛 文档
| 软件包 |
|
|
|
项目描述: |
Create Petri Nets quickly, efficiently and effectively. Six analysis modules (so far) including Invariant Analysis, State-Space Analysis (deadlock, etc) & Simulation Analysis. New analysis modules easily written. Conforms fully with PNML.
Platform Independent Petri Net Editor这个项目可以快速高效地创建Petri网。 (目前)六个分析模块包括:常量分析、状态空间分析(死锁,等等),模拟分析。编写新的分析模块。遵守PNML。
来源: http://sourceforge.net/projects/petri-net/ |
类别: |
|
发布者:
cbd007
|
|
最新发布源码包 |
软件包 |
版本号 |
日期 |
本地下载 |
Beta 1.0 (binaries, source & d |
 Beta 1.0 (binaries, source & documentation  |
2004-09-16 |
下载 |
|
|