• 伊纳

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

  • 17条引用[sw04387]
  • 仅限于,参考.Petri网 是描述并发系统的一种成熟的方法。。。
  • 威普托尔

  • 在14篇文章中引用【sw13755】
  • 使用位置/转换验证系统Petri网 (p/t网络)。它实现了所做的研究。。。通过评估部分有序的信息系统Petri网 跑步)是由德国人赞助的。。。业务流程的概念由Petri网 ,这是基于一代人。。。
  • 引用15篇文章[sw12372]
  • 特殊情况下的结构Petri网 ,彩色Petri网 ,颂歌和连续时间。。。
  • 裴楚丘

  • 引用15篇文章[sw04394]
  • 微积分过程到位/过渡Petri网 . 我们的翻译利用了受限制的名字建立的联系。。。平稳性描述了映射到有限的过程. 我们提供了结构平稳性的精确条件。。。进程,称为有限处理程序进程。我们的Petri网 翻译有助于自动验证。。。
  • 政治公众人物

  • 在14篇文章中引用【sw16547】
  • 然后政治公众人物系统生成Petri网 从这些程序中。。。Petri网 验证理论和仿真目的。一个关键特征是灵活性;它的模块化。。。
  • APNN工具箱

  • 参考11篇文章[sw06976号]
  • 通用交换接口,所谓抽象Petri网 净值符号(APNN)。工具箱里有一个清晰的。。。图形用户界面(APNNed)指定Petri网 并控制后续分析。其他建模。。。分析包括检查经典Petri网 活泼,但也为计算模型检查。。。
  • rbminer公司

  • 参考12篇文章[sw00783]
  • rbminer:发现的工具Petri网 从过渡系统的区域理论。。。将自动机转换为Petri网 . 从非常有限的初始要求来看,理论。。。
  • M网络

  • 参考11篇文章[sw09132]
  • :高级代数Petri网 ,以及对语义的应用。。。本文描述了一个高层Petri网 模型名为M-(对于模块化多重标记。。。
  • 海伦娜

  • 参考11篇文章[sw04384]
  • 高水平Petri网 海伦娜分析。本文提出了高层次Petri网 ...
  • 网论

  • 引用9篇文章[sw04380]
  • Petri网 工具数据库。Petri网 是一个图形和数学建模工具。Petri网 ...
  • DSPNexpress

  • 引用15篇文章[sw07931]
  • 具有确定性和随机性的计算机系统Petri网 (DSPNs).DSPNexpress有一个用户友好的图形。。。
  • 生产

  • 在10篇文章中引用[sw03154]
  • 广义随机问题的GreatSPN工具Petri网 (GSPN)和随机良形(SWN)解决方案。。。GreatSPN格式转换为高级Petri网 是验证的有效输入。。。
  • 叙利亚

  • 引用8篇文章[sw04389]
  • 面向对象方法和Petri网 净值理论。他们每个人都证明了。。。二者的语用特征Petri网 和面向对象的方法通过彻底的集成。。。基本思想是Petri网 将数据对象作为标记处理,而行为。。。活动对象由Petri网 . 本文还提出了一个合作对象。。。
  • 双关语

  • 在10篇文章中引用[sw04416]
  • 双关语-Petri网 展开器。PUNF构建一个安全的有限且完整的前缀Petri网...
  • 参考6篇文章[sw09476]
  • 快速原型设计petri网 带着工具的蛇。本文介绍的工具包蛇。。。快速成型问题Petri网 工具。尤其是,蛇应该。。。关于Petri网 待使用。目标。。。适合任何种类的蛇Petri网 模型,包括新的。。。
  • 预兆2

  • 参考12篇文章[sw08403]
  • 变换系统Petri网 . 新发展的主要原因。。。
  • 玛西

  • 引用8篇文章[sw12882]
  • 广义随机分析Petri网 这可以通过奖励来增加。支持的分析。。。MARCIE的有界分析引擎Petri网 模型基于区间决策图。。。
  • 检阅

  • 参考11篇文章[sw04390]
  • 分层着色的可执行规范工具Petri网 ExSpect是一个用于离散。。。