• 塞萨尔

  • 在154篇文章中引用[sw08510]
  • 解释程序说明Petri网 净值表示它并评估规范的每个公式。。。
  • 呵欠

  • 引用了60篇文章[sw04388]
  • 基于Petri网 以及对现有工作流程的严格分析。。。不同于传统系统和(高层)Petri网 它为大多数。。。
  • 蒂娜

  • 引用42篇文章[sw03280]
  • 抽象状态空间的构造Petri网 还有时间Petri网 . 此外。。。行为的表征Petri网 还是时间Petri网 . 使用了各种技术。。。状态空间的性质。Petri网 ,这些抽象有助于防止组合爆炸,依靠。。。步骤和/或持久集。为了时间Petri网 ,它们通常有无限的状态空间。。。
  • 伟大的SPN

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

  • 引用48篇文章[sw07933]
  • SPNP:随机Petri网 . 随机的Petri网 净值软件包(SPNP)[2]是一个多功能的建模。。。随机解的工具Petri网 净值(SPN)型号。介绍了SPN模型。。。
  • GreatSPN 1.7版

  • 引用41篇文章[sw01562]
  • 定时随机分析仪Petri网 . 本文介绍了greatspn1.7软件包。。。广义随机分布系统Petri网 以及它们的彩色延伸。该工具提供。。。友好的框架来测试Petri网 基于建模技术。它实现了高效的分析。。。
  • PNML公司

  • 引用了40篇文章[sw03257]
  • 的可扩展引用实现Petri网 标记语言。国际标准Petri网 ... 标准。它为开发人员提供Petri网 方便快捷的工具。。。
  • 石化

  • 在26篇文章中引用[sw09784]
  • 合成工具Petri网 以及异步控制器。石化读取Petri网... 生成另一个双类Petri网 这比最初的描述要简单。最初,石化执行。。。初始令牌流分析Petri网 产生一个过渡系统。。。获得Petri网 . 石化能够获得Petri网 带着。。。
  • 沃夫兰

  • 引用36篇[sw07028]
  • 沃夫兰:APetri网--基于工作流分析器。工作流管理技术保证了一个灵活的解决方案。。。独特的功能。最先进的Petri网--基于分析技术的部署,以验证。。。
  • 罗密欧

  • 引用25篇文章[sw00812]
  • 罗密欧:分析时间的工具Petri网 . 在本文中,我们介绍了。。。罗密欧,一段时间Petri网 净值(TPN)分析仪。罗密欧工具允许状态空间计算。。。处理时间的延长Petri网 (计划TPN)其估值。。。
  • 夏普

  • 在39篇文章中引用[sw03100]
  • 随机报酬模型Petri网 . 稳态、瞬态和间隔测量。。。
  • CPN/工具

  • 27条引用[sw01261]
  • 用于编辑和模拟彩色的工具Petri网 . 与TACAS相关的ETAPS工具演示。CPN/工具。。。彩色图像的状态空间分析Petri网 . 新的界面是基于高级交互。。。
  • 设计/CPN

  • 引用了37篇文章[sw01952]
  • 密码协议的彩色验证Petri网 和设计/CPN。。。
  • BPEL2PN

  • 引用18条[sw06954]
  • 将Web服务转换为Petri网 根据Petri网 语义学。。。BPEL2PN的输出格式是Petri网 的数据格式Petri网... 的标准交换格式Petri网 ,的Petri网 净值标记语言。。。
  • 史努比

  • 引用31篇文章[sw04386]
  • 动画层次图等Petri网 . 这个工具已经开发出来了-而且仍然是。。。
  • 时间网

  • 引用的第28条[sw00965]
  • 随机性建模与评价Petri网 具有非指数分布的发射时间。时光网。。。
  • BPEL2oWFN公司

  • 27条引用[sw06956]
  • 执行语言)到oWFN(开放式工作流)中净值). 这个oWFN可以用来:检查。。。检查是否存在死锁或其他情况Petri网 属性,或者检查任何时序逻辑公式。。。
  • 玛丽亚

  • 引用18条[sw04127]
  • Maria:代数系统的模可达性分析器Maria进行模拟,详尽的可达性分析。。。高层模型检查Petri网 有公平约束。代数包含强大的构造。。。输出到低级Petri网 以及标记的过渡系统。翻译程序允许玛丽亚。。。
  • 伊纳

  • 17条引用[sw30145]
  • 支持分析的包Petri网 和彩色的Petri网 ...
  • 恰当的

  • 引用13篇文章[sw23176]
  • 分析Petri网 以及标记的过渡系统。欢迎来到APT。这是为了。。。各种分析方法Petri网 以及标记的过渡系统。本指南解释了最多。。。艾克·贝斯特,乌利·施拉赫特:分析Petri网 系统和过渡。。。综合:乌利·施拉赫特:Petri网 净值限制类的综合. Petri网 ...