-
蒂娜
- 引用了45篇文章[sw03280]
- 抽象状态空间的构造Petri网 网还有时间Petri网 网. 此外。。。行为的表征Petri网 网还是时间Petri网 网. 使用了各种技术。。。状态空间的性质。为Petri网 网，这些抽象有助于防止组合爆炸，依靠。。。步骤和/或持久集。为了时间Petri网 网，它们通常有无限的状态空间。。。
-
呵欠
- 引用了60篇文章[sw04388]
- 基于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网-网-基于分析技术的部署，以验证。。。
-
罗密欧
- 在26篇文章中引用[sw00812]
- 罗密欧：分析时间的工具Petri网 网. 在本文中，我们介绍了。。。罗密欧，一段时间Petri网 净值（TPN）分析仪。罗密欧工具允许状态空间计算。。。处理时间的延长Petri网 网（计划TPN）其估值。。。
-
夏普
- 引用42篇文章[sw03100]
- 马尔可夫报酬模型及随机性Petri网 网. 稳态、瞬态和间隔测量。。。
-
CPN/工具
- 27条引用[sw01261]
- 用于编辑和模拟彩色的工具Petri网 网. 与TACAS相关的ETAPS工具演示。CPN/工具。。。彩色图像的状态空间分析Petri网 网. 新的界面是基于高级交互。。。
-
BPEL2PN
- 引用18条[sw06954]
- 将Web服务转换为Petri网 网根据Petri网 网语义学。。。BPEL2PN的输出格式是Petri网 网的数据格式Petri网... 的标准交换格式Petri网 网，的Petri网 净值标记语言。。。
-
恰当的
- 17条引用[sw23176]
- 分析Petri网 网以及标记的过渡系统。欢迎来到APT。这是为了。。。各种分析方法Petri网 网以及标记的过渡系统。本指南解释了最多。。。艾克·贝斯特，乌利·施拉赫特：分析Petri网 网系统和过渡。。。综合：乌利·施拉赫特：Petri网 净值限制类的综合网. 在Petri网 网...
-
BPEL2oWFN公司
- 引用28篇文章[sw06956]
- 执行语言）到oWFN（开放式工作流）中净值)。此oWFN可用于：检查。。。检查是否存在死锁或其他情况Petri网 网属性，或者检查任何时序逻辑公式。。。
-
塔帕尔
- 17条引用[sw00947]
- 定时电弧模拟器与验证器Petri网 网. TAPAAL是一个新的独立于平台的工具。。。定时电弧的仿真与验证Petri网 网. TAPAAL提供了一个独立的编辑器。。。验证模块转换定时弧Petri网 网时间自动机网络模型和使用。。。
-
玛丽亚
- 引用19篇文章[sw04127]
- Maria：代数系统的模可达性分析器网Maria进行模拟，详尽的可达性分析。。。高层模型检查Petri网 网有公平约束。代数包含强大的构造。。。输出到低级Petri网 网以及标记的过渡系统。翻译程序允许玛丽亚。。。
