Distributed Planning; Distributed model checking; Factored planning; Networks of automata; Petri nets;
机译:分解式规划:从自动机到Petri网
机译:下推自动机,多集自动机和Petri网
机译:考虑人为因素的基于模糊Petri网的拆卸计划
机译:因素规划:从自动机到Petri网
机译:通过Petri Net方法进行拆卸计划和成本核算。
机译:基于定时Petri网和系统布局规划的工厂设施布局规划研究
机译:因素规划:从automata到petri网