P/T Petri process net; Well-formed process net; Property preservation; PLACE_SUBST transformation; Parallel systems modeling;
机译:从高级业务流程到Petri网络映射的静态分析和流程模型转换
机译:将业务流程模型和注释模型转换为Petri网及其分析:
机译:RTS调度分析要求从UML / MARTE到动态优先级时间Petri网的转换过程
机译:P / T Petri过程网的PLACE_SUBST变换及其性质
机译:将核心方案模型和活动图转换为Petri网。
机译:机械加工的34CrMo4钢的相变和力学性能
机译:P / T Petri过程网的PLACE_SUBST转换及其性质