机译:BPRN:基于Petri-Net和工作流模型扩展的业务流程中资源消耗的正式模型
机译:基于工作流的Web服务组合物的QoS测量使用彩色Petri网
机译:工作流Petri网的优化和形式验证方法
机译:基于Petri网的工作流程组成,工作流程视图定义和工作流标准化的正式基础
机译:网格流:具有Petri网接口的基于网格的科学工作流程系统。
机译:使用彩色Petri网的基于工作流的Web服务组合的QoS度量
机译:将多态过程模型转换为Petri网:一种验证基于工作流的Web服务组合的正式方法
机译:WOFLaN:基于petri网的工作流分析器