查询词典 Petri dish

Based on equivalent analysis theory, a practical performance of workflow system is simplified and analogized by four basic modules of random Petri net, and some functional parameters are obtained.

文中选用了基于随机Petri网的工作流系统模型性能等价分析理论，针对一个具体的流程实例，利用随机Petri网的四种基本模型对此流程进行了逐步地化简和分析，最后得到了一些性能指标参数。

The paper proposed a new method by compartmentalizing the whole start-up process into several parts based on control task. Then, the paper proposed a method by using timed Petri net to model the start-up process.

在此基础上，基于控制任务对精馏塔开车过程进行划分，并使用赋时Petri网对划分后的精馏塔开车过程建模，并进行仿真分析。

The key technology for reconstructing the simulation models based on Petri net into HLA federates is discussed in order to explore developing the environment of integrating the simulation models based on PetriNet into HLA federation.

探讨了Petri网仿真模型改造为HLA成员的关键技术，为后续开发HLA环境下的Petri网仿真模型集成环境进行了初步的探索工作。

In organization level, design activity fragmentizing strategy and negotiation mechanism are applied to schedule the collaborative design process. To present the uncertainty in design, resource sharing, message passing and real-timed interaction between programs, the integrated control Petri net is adopted to model and simulate the collaborative level. Control level is realized by workflow model, which control the tasks in collaborative design by means of user management, access control and task control rules.

本文通过细化设计活动策略和协商机制，实现了组织级的协同设计过程规划；针对常用的有色Petri网方法不能解决实际系统运行中出现的不确定性、资源共享、信息传递和外部程序的实时交互等问题，通过对有色Petri网的扩充，提出了采用集控Petri网方法，用于协调级的建模和仿真；采用工作流模型为控制级实现，从用户管理、访问控制模型、协同任务控制规则三个方面实现协同设计过程的任务流控制。

In this paper, a structural methodology for bottom-up synthesis of Petri Nets for IC Flexible Manufacturing Systems is presented for the first time. With the help of a guarantying policy of liveness, a live, bounded and reversible final model can be obtained by merging different submodels through what is called autonomy subnet sharing among them. To demonstrate the application of the method, a flexible manufacturing system of integrated circuits is modeled and analyzed using the proposed theory.

本文首次提出了一种面向集成电路柔性制造系统的基于共享&自治子网&融合和活性保证策略的&至底向上&的Petri网结构化建模方法，在理论上证明了该方法保证所得模型的活性、有界性和可逆性，并且利用该方法与着色Petri网结合，对一个集成电路柔性制造系统进行了全面的建模和分析。

Based on our previous work, we distinguish emptiable siphons in a plant Petri net model by elementary and dependent ones.

根据我们以前的工作，将Petri网中可被清空的信标分为基本信标和从属信标。

Importantly, the concept of redundant strict minimal siphons is put forward, which can greatly simplify the synthesis and analysis of Petri net model of the system considered.

同时，提出了非冗余严格极小信标的概念，大大简化了系统的分析与设计。

Also this research presents an analysis to show the advantages of elementary siphons in the design of liveness-enforcing Petri net supervisors.

而且在研究中我们分析了此种算法在设计Petri网活性监督器时的一些优点。

The investigation of redundant strict minimal siphons made Petri nets more powerful in modeling complex automated manufacturing systems.

对冗余严格极小信標的研究，提高了Petri网复杂自动製造係统的建模能力。

The role of elementary siphons is fully and gradually recognized in simplifying thestructural complexity of liveness-enforcing Petri net supervisors.

基本信标理论在简化活性Petri控制器结构方面的作用正在日益深入地得到了解和认识。

Methods Clinical data of 3 cases of bile duct injury during laparoscopic cholecystectomy were analyzed retrospectively.

回顾总结3例LC术中胆管损伤的临床资料，分析3例胆管损伤的原因及对策。

These techniques are applied to the gobang.

本文将这些技术用于五子棋中。