查询词典 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网结合，对一个集成电路柔性制造系统进行了全面的建模和分析。

In both those cases, after all, an undeniable reductiveness is going on, a shriveling of the complexity of the human body to the certainty of a single cell in a Petri dish.

毕竟在这两种情况下，简化法无可避免地发生了。它把人体的复杂性简化成皮氏培养皿中的一个确定的单细胞。

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控制器结构方面的作用正在日益深入地得到了解和认识。

And a stochastic Petri net model is upbuilt to describe the process of Grid service with churns.On the other hand,service management strategies are classified and researche...

之后文章对服务管理策略进行了分类研究，并根据SPN模型的仿真计算结果，对各类策略对网格服务的干扰情况的影响以及对网格服务可管理性的量化评价结果进行了比较和分析，为具有高可管理性的策略的设计提供依据。

Liapunov—Schmidt method is one of the most important method in the bifurcation theory.

Liapunov—Schmidt方法是分叉理论的最重要方法之一。

Be courteous -- even when people are most discourteous to you .

要有礼貌──即使当別人对你最不礼貌的时候。