Petri net; polynomial-time; reachability; well-structured; workflow net;
机译:非循环扩展自由选择工作流网对非循环结构良好的工作流网的重构问题
机译:非循环扩展自由选择工作流网对非循环结构良好的工作流网的重构问题
机译:非循环结构良好的数据流程序网MaxPARAdeg的近似计算
机译:在无线结构井结构流动网中的可达性
机译:Petri网可达性分析的非循环变换技术。
机译:逻辑Petri工作流网和工作流网之间的等效性
机译:非循环扩展自由选择工作流网到非循环结构良好的工作流网的重构问题