1) in-stockroom operation
入库操作
3) embedding operations
嵌入操作
1.
In this paper,four kinds of embedding operations of Petri nets are proposed.
本文定义Petri网嵌入操作的概念，讨论了嵌入操作对于系统行为（语言）以及性质（如活性，公平性，安全性和回归性）的保持关系，得到了一组充要条件，给出基于嵌入操作的并发系统递阶设计方法。
4) push operation
推入操作
补充资料：入库
1.旧谓没收入官。 2.谓把财物送入库房储存。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条