联盟首页 协同开发 共创软件 开放源码 软件工程 共创论坛 关于联盟
  您的位置 » 开放源码库【成熟 - 项目摘要 首页 | 分类源码 | 提交源码 | 下载统计 | 原创源码 | 成熟源码 | 代码片断
 
 Platform Independent Petri Net Editor - 项目摘要
摘要 | 管理 | 论坛
文档 | 软件包

源码库中源码数量为19219
有贡献人员名单:

-= 更多 =-
  • ffdshow
  • jasperreports
  • PoolMan
  • Air Traffic Controller
  • virtualdub-win
  • CppUnit
  • Apache-SSL-Jserv
  • FCK editor
  • Async Professional
  • GLgraph
  • -= 更多 =-

    项目描述:
    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 下载

    原始下载连接(国外) http://switch.dl.sourceforge.net/sourceforge/petri-net/pipe-beta-1.0.zip

      » 合 作 伙 伴