top-down stepwise refinement 自上而下按步精化
topdown stepwise refinement 自上而下按步精化
stepwise refinement process [计] 逐步求精过程
taopdown stepwise refinement 自顶向下逐步求精
A definition of substitution operation for Petri nets is given in this paper. It is a formal description of the stepwise refinement method for the modeling of systems using Petri nets.
文中给出了Petri的替换运算定义,它是对分层模拟与逐步求精的Petri网建模思想方法的一个形式化描述。
参考来源 - Petri网替换运算 in C·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐