petri网的执行规则定义7。在一个具有标志μ的petri网C=(P, T, I, O)中，一个转移tj∈T是能行的(enable)，如果对所有pi∈P μ(pi) ≥ #(pi, I(tj))。
C++ 17 次浏览
ESA Petri 网开发工具是一款专门用于构建和分析混合 Petri 网的应用程序。
Perl 18 次浏览
Parikh映射是一种将有限域中的包与向量之间建立自然对应关系的方法。对于有限域D中的每个包B和一个n-向量f=(f1, ..., fn)，Parikh映射定义了向量fi = #(di, B)，其中#(di, B)表示包B中元素di的数量。这个向量被称为Parikh映射。
C++ 23 次浏览
Temporal_ESA_PetriNet 是一款专门用于 Petri 网建模的强大工具，为用户提供创建、模拟和分析 Petri 网模型的平台。该工具支持多种 Petri 网变体，并具备丰富的功能，例如： 图形化界面，方便用户直观地构建和编辑 Petri 网模型； 时间语义支持，允许用户对模型中的
Perl 20 次浏览
该工作流系统采用 Petri 网理论构建，与 OpenFlow 和 Galaxia 工作流引擎一样基于活动。然而，radicore 工作流引擎通过多层体系分离实现了系统与业务系统的松散耦合，即工作流系统无需了解业务系统，反之亦然。
PHP 17 次浏览
这是一个Node.js模块，提供了一个简单的Petri网类，用于对序列进行建模。模块导出两个主要类：RunPetri和pNode。RunPetri类允许通过定义的网络模型存储和使用网络模型，并提供了方法来添加资源和运行转换。pNode类提供默认的Petri网行为，跟踪和更新令牌计数。通过子类化pNo
Nodejs 22 次浏览