查询词典 Petri dish

A method to describe coordination policy is presented, which is based on the coloured Petri net.

在计算机支持的协同工作中，协调技术一直是研究的重点之一[1～ 5] 。

Based on the condition,the structure uniqueness and content compatibleness are proved,and the conventional synthesis of Petri nets in this framework is also discussed.

给出一种较弱的唯一性条件，及基于该条件的结构唯一性和内容兼容性的证明，并讨论在此框架体系中融合传统Petri网综合方法。

Third, by studying structural properties, extended complementary set of a siphonand extended complementary matrix of an ES3PR net, a subclass of Petri nets, arenewly defined.

第三，通过对ES3PR子类的结构分析，提出扩展补集和扩展补集矩阵的概念，同时证明了扩展补集矩阵的秩等于基本信标数目的结论。

In this paper, using time Petri nets as specification models, system functionality and timeliness are first verified. Then a heuristic algorithm is proposed to optimize the system energy, which is driven by subtasks' energy-gradients and can be further simplified in the case that TPNs are composable. The experimental results show that the proposed methods can support the high-level low-power synthesis of real-time systems with results close to the optimum one, but with very low time complexities.

以时间Petri网为模型，验证系统功能性和实时性，在此基础上，提出了一种由子任务的能耗变化率驱动的启发式能耗优化算法，并针对一类特殊形式的网模型———可组合时间Petri网，设计了相应的简化算法·实验说明，上述算法时间复杂度低，且优化效果接近最优值，能够为实时系统低能耗高层综合提供有力支持

Petri net ; ECA rule ; compound event

而且规则的触发事件可以是原子事件，也可以是复合事件。另

To solve the difficult depiction about the underwater counterwork system's static structure and dynamic process by traditional model at one time, and to meet the requirements of modeling for layering and extension, the model based on Object Petri Net was proposed.

针对通常的模型不能同时描述水下对抗系统的静态结构和动态过程，而且在层次化、可扩充性等方面也不能满足建模需求的问题，采用对象Petri网建立了水下对抗系统的模型。

One is by knowledge Petri net First AND/OR graph was evolved by calculating cut set of relationship Matrix of parts which shows the assembly relation between the parts. Then the KPN was generated with AND/OR graph automatically. Running the KPN, an optimum assembly sequences was obtained last. The other is by Hopfield neural network.

一是利用知识PETRI网对装配过程进行建模，并自动规划出最佳装配序列的方法；这种方法首先根据产品装配的关联图，利用割集计算，自动生成产品装配的与/或图，由产品装配的与/或图转化成知识PETRI网，然后，运行此知识PETRI网，便可得产品的最佳装配序列。

A deadlock detection method for command control information system based on Petri net is proposed in this paper.

提出一种基于Petri网的指控信息系统死锁的检测方法。

Reachability is one of the most basic and important dynamic properties of Petri nets. But the reachability decidability problem has at least exponential space complexity and no effective algorithm is found by now.

可达性是Petri网最基本最重要的动态性质之一，但一般Petri网的可达性判定问题至少具有指数空间复杂度，且目前尚无有效的判定算法。

The method based on UML activity diagram and Petri net is presented in the view of navigation for the whole procedure and decision making in the part.

在此基础上，以全局导航、局部决策的思想，提出基于UML活动图和Petri网的分层建模方法。

More direct, directer ; most direct, directest

径直的，笔直的

Do you know how to use a chain saw?

你知道如何使用链锯吗？