一种petri网工作流模型存储结构定义方法

机译：一种基于Petri网的工作流过程模型正确性的有效验证方法

机译：一种基于Petri网的工作流过程模型正确性的有效验证方法(英文)

机译：输入和输出约束的工作流系统建模？一种基于Petri网的方法

机译：基于对象Petri网络模型定义工作流程定向图存储结构的研究

机译：在软件定义无线电的范围内，针对设计模型相对于其规格模型的符合性验证：一种模型转换方法。

机译：STAble：一种从头组装RNA-seq数据的新方法及其在基于代谢模型网络的元转录组工作流程中的应用

机译：将多态过程模型转换为Petri网：一种验证基于工作流的Web服务组合的正式方法

机译：WOFLaN：基于petri网的工作流分析器

机译：一种过程优化方法，包括分析过程定义以发现控制序列依赖性，然后将控制序列逐步转换为相应的Petri网络，然后在另一步骤中分析Petri网络

机译：使用Petri网模型映射的实时工作流平台的系统和方法

机译：基于工作流引擎的工作流模型仿真系统和直接模拟过程定义模型的方法