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
应用推荐