• 蒂娜

  • 引用42篇文章[sw03280]
  • 状态空间Petri网 时间 Petri网 . 除了图形编辑。。。行为Petri网 时间 Petri网 . 各种技术被用来提取视图。。。状态空间的性质。Petri网 ,这些抽象有助于防止组合爆炸,依靠。。。覆盖步骤和/或持久集。时间 Petri网 ,它们通常具有无限状态。。。
  • 伟大的SPN

  • 引用57篇文章[sw00384]
  • 广义随机Petri网 以及它们的有色扩展:随机良形. 该工具提供。。。友好的实验框架定时 Petri网 基于建模技术。它实现了高效的分析。。。
  • GreatSPN 1.7版

  • 引用的第41条[sw01562]
  • 图形编辑器和分析器定时随机的Petri网 . 本文介绍了中国的大。。。广义随机分布系统Petri网 以及它们的彩色延伸。该工具提供。。。友好的实验框架定时 Petri网 基于建模技术。它实现了高效的分析。。。
  • 罗密欧

  • 引用25篇文章[sw00812]
  • 罗密欧:分析的工具时间 Petri网 . 在本文中,我们介绍了。。。罗密欧,a时间 Petri网 净值(TPN)分析仪。罗密欧工具允许状态空间计算。。。从TPN到定时保持行为语义的自动机(TAs)(定时双重相似性。。。还处理时间 Petri网 (计划TPN)其估值。。。
  • 塔帕尔

  • 引用15篇文章[sw00947]
  • 编辑、模拟器和验证人定时-弧Petri网 . TAPAAL是一个新的独立平台。。。建模、仿真和验证定时-弧Petri网 . TAPA-AAL提供独立编辑器。。。验证模块翻译时定时-弧Petri网 网络模型定时自动机。。。
  • 塞萨尔

  • 在154篇文章中引用[sw08510]
  • 分支公式时间逻辑,其时间运算符可以迭代计算。。。说明程序A解释Petri网 净值表示它并评估规范的每个公式。。。
  • 时间网

  • 引用28篇文章[sw00965]
  • 随机性评价Petri网 非指数分布射击时代. 时光网已经发展。。。
  • 参考第14条[sw12372]
  • Petri网 ,彩色Petri网 ,ODEs和continuous-时间同时给出了马尔可夫链。。。
  • 奥里斯

  • 引用2篇文章[sw07669]
  • 各种类型的分析定时扩展Petri网 . 作为最具特色的特征,奥里斯。。。抢占的符号状态空间分析时间 Petri网 ,这使得可调度性分析成为现实。。。欠优先级抢占调度;以及随机性时间 Petri网 ,从而实现了一种集成的方法。。。
  • 沃夫兰

  • 引用36篇[sw07028]
  • 沃夫兰:APetri网--基于工作流分析器。灵活的工作流程管理技术保证了。。。设计-时间不会被检测到,并且在运行时会导致非常昂贵的故障-时间. 沃夫兰。。。独特的功能。最先进的Petri网--基于分析技术的部署,以验证。。。
  • 部分

  • 引用2篇文章[sw03123]
  • 时机这些系统的性质。零件工具集使用Petri网--基于可达性分析。。。子集。我们的简单时间 Petri网 特别是为了方便-时间分析。。。
  • ITPN性能绑定

  • 1条引用[sw02721]
  • 区间性能约束工具时间 Petri网 ITPN性能绑定是一种工具。。。区间建模与分析时间 Petri网 (ITPN),即Petri网 在哪儿。。。
  • 查理

  • 引用3篇文章[sw12881]
  • 地点/过渡的结构和行为特性Petri网 ,辅以明确的CTL和LTL模型。。。结构缩减和时间-从属Petri网 . 查理的主要精力是教学。为此目的。。。
  • 引理

  • 1条引用[sw22003]
  • 相同的时间高水平定时 Petri网 建立了相应的模型。。。
  • DSPNexpress

  • 引用15篇文章[sw07931]
  • 具有确定性和随机性的计算机系统Petri网 (DSPNs).DSPNexpress有一个用户友好的图形。。。CPU少了四个数量级时间比以前推出的其他软件包。。。
  • 催眠

  • 引用4篇文章[sw00422]
  • 要模拟的源工具定时离散、连续和混合Petri网 . 它已经被开发。。。
  • 斯普尼卡

  • 引用3篇文章[sw14799号]
  • 原型工具。随机的Petri网 (SPN)一般点火时间考虑分配。一般情况下定时...
  • pntool公司

  • 引用2篇文章[sw21085]
  • 工具箱五种类型Petri网 (不定时,过渡-定时,地点-定时随机和广义随机。。。可覆盖树,结构属性(包括不变量),时间-相关性能指标,最大值加状态空间表示。。。探索动态的仪器Petri网 模型,以及动画设施。。。
  • 莫比

  • 1条引用[sw31032号]
  • MOBY是面向对象的Petri网 净值基于Smalltalk 80的分析工具。莫比(模特儿。。。系统层次分析法定时高水平Petri网 有对象。工具包括。。。