• 伟大的SPN

  • 引用57篇文章[sw00384]
  • 广义随机分布系统Petri网 以及他们的有色的扩展:随机良构... 友好的框架来测试Petri网 基于建模技术。它实现了高效的分析。。。
  • GreatSPN 1.7版

  • 引用41篇文章[sw01562]
  • 广义随机分布系统Petri网 以及他们的有色的扩展。该工具提供。。。友好的框架来测试Petri网 基于建模技术。它实现了高效的分析。。。
  • 检阅

  • 参考11篇文章[sw04390]
  • 层次结构的可执行规范工具有色的 Petri网 ExSpect是一个用于离散。。。
  • CPN单元

  • 1条引用[sw26447]
  • cpntound实用程序转换常规有色的 Petri网 进入之内有色的 Petri网 只使用单位标记。。。求解算法Petri网 用线性齐次丢番图系统表示的状态方程。。。参数:第一个包含原始有色的 Petri网 cpn工具使用的.cpn格式。。。第二个持有转化有色的 Petri网 (如果它没有。。。
  • 鳄鱼

  • 引用2篇文章[sw09769]
  • 高层,例如有色的 Petri网 ,对于复杂系统的建模非常方便。。。
  • 安妮卡

  • 1条引用[sw22198]
  • 特点:验证Petri网 ; 所有有效任务的特征描述;呈现。。。全自动使用工具链;着色 Petri网 有标记的置信水平;着色 Petri网...
  • 等级/CPN

  • 1条引用[sw09752]
  • 测试工具和时序逻辑有色的 Petri网 教学模式。评分几十。。。Petri网 手动建模是一项乏味且容易出错的任务。在本文中。。。支持分级的工具有色的 Petri网 在CPN工具中建模。工具。。。
  • 亚斯帕

  • 引用2篇文章[sw14836]
  • 例如Petri网 分析仪和现成的数据软件(颜色)正在处理。。。
  • 差距

  • 引用了3003篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 岩浆

  • 引用3055篇文章[sw00540]
  • 计算机代数系统(CAS)。岩浆是一个大的。。。
  • 数学软件

  • 参考6129篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 超小卫星

  • 引用549篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 恶心

  • 引用579篇文章[sw00611]
  • 图论程序NAUTY:NAUTY是一个程序。。。
  • 网络X

  • 引用132篇文章[sw00616]
  • NetworkX(NX)是一个Python包,用于。。。
  • R

  • 引用8904篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • 圣哲

  • 引用于1792篇文章[sw00825]
  • Sage(SageMath)是免费的,开源的数学软件。。。
  • 单数

  • 在1441篇文章中引用[sw00866]
  • 奇异是一个计算机代数系统(CAS)为。。。