查询词典 Petri dish

The High-level Petri Net Graph is derived from the Predicate/Transition Net by the way of folding, that is, decreasing the number of the graph elements and increasing the information carried by a graph element.

高级Petri网图形是对库所／变迁网图形的折迭，具体方法是减少图元数量而增加图元信息。

Using the subnet models to establish the flexible logistics automated system which is built and study its logistics process control question. Because of using modular modeling method, the model possesses good extensibility and good transplant ability. Furthermore, the model has self-revisionary ability and include discrete system and continuous system as a result of using self-controlled hybrid Petri-nets modeling method.

由于采用模块化建模的方法，建立的柔性物流自动化系统模型具有扩展性和可移植性好的特点，同时，由于采用自控混合Petri网方法建模，该模型是一个包括离散系统和连续系统的模型并具有在运行过程中进行自我修正的能力。

In this paper a production process flow chart of discrete manufacturing is presented by means of petri net, the optimization model of workload-stock is established. An approach of the optimal workloads is provided using analysis integer programming and integer matrices.

本文以Petri网作出一个离散制造中的生产过程流程网，建立起工作量与库存的优化模型，以整数规划与整数矩阵等分析算法给出一个在生产中制定最优工作量规划的方法。

Hybrid systems ;μ calculus ; Game theory ; Zeno reachable ; Control synthesis ; Lyapunov stability ; Sliding mode ; Fault diagnosis ; Discrete event ; Mixed dynamical programming ; Optimal control ; Hybrid automata ; Petri net

国家自然科学基金；高等学校优秀青年教师教学科研奖励计划混杂系统；μ演算；对策论；季诺可达；控制综合； Lyapunov ；稳定性；滑动模；故障诊断；离散事件；混合动态规划；最优控制；混杂自；动机； Petri网

The fuzzy reasoning method based on Petri Nets is usually taking the minimal value of each truth-value of fuzzy conjunctive proposition, while the truth-value of fuzzy disjunctive proposition takes the maximal value.

FRPN的推理方法一般是模糊命题合取式的真值取各子式真值的最小值，析取式的真值取各子式真值的最大值。

Petri Nets is a graphics and digital system modeling tool, which provides an efficient way to describe and analyze the complex system that is concurrency, asynchrony, distributivity, or nondeterminacy.

摘 要：Petri网作为一种图形化、数学化的系统建模工具，为描述和分析具有并发性、异步性、分布式、非确定性等特征的复杂系统提供了强有力的手段。

The requirement of control system specification constantly and diversely changes which results in the problem that the control software is hard to program and test. In order to deal with the problem, the theory of control system design based a high level extended Petri net is discussed in this paper.

为了解决现代控制系统的规模越来越大，柔性要求越来越高，所导致的控制软件的编制和调试越来越难的问题，本文主要探讨了基于一种高级扩展Petri网的控制系统设计理论。

Dubois [23] was the first to model and analyze FMS using timed Petri net.

Dubois和Stecke〔23〕最先采用分时Petri网为FMS建模和分析。

Second, based on binary search, an efficient algorithm is proposed for finding aset of elementary siphons given a set of strict minimal siphons of a Petri net.

第二，在已知Petri网中部分或全部严格极小信标的条件下，提出了一种基于二分法原理确定一组基本信标的快速算法。

Also, the general solutions of the firing vector in the state equation of a Petri net are proposed.

这些方法都是基于网关联矩阵的满秩分解。

More direct, directer ; most direct, directest

径直的，笔直的

Do you know how to use a chain saw?

你知道如何使用链锯吗？