查询词典 Petri

In order to extend simple logic constraint relations of single place versus transitions to complex cooperated constraint relations of multiple places versus transitions, the cooperation inhibit arc is presented. And it is combined to differential Petri net for modeling hybrid system with state feedback.

为使Petri网中单个库所对变迁的简单逻辑约束关系扩展到多个库所对变迁复杂的协同约束关系，提出了协同约束弧的概念，并将它与微分Petri网相结合，用以对具有状态反馈控制的混杂系统建模。

Analyzing the steps of process modeling by means of Petri net and the principle of TO...

在分析Petri网流程建模思路和约束理论基本原理的基础上，提出了基于Petri网和约束理论的业务流程重组方法，并进行了实证研究。

Some references indicated that the reachability of a Petri net can be analyzed by solving its state equation and judging whether or not there exists a legal firing sequence whose firing number vector is a solution of the state equation, but it is somewhat difficult to achieve.

已有文献提出通过解petri网的状态方程并判定是否存在以它的某个解为发生数向量的合法引发序列来分析petri网的可达性，这往往有一定的困难。

The relationship between stochastic Petri Nets and basic stochastic process is analyzed.

分析了随机Petri网和基本随机过程的关系，讨论了各类随机Petri网的求解方法。

Process expression of a Petri net is a regular expression with the basic subprocess set of the net system as alphabet.

要把进程表达式的概念推广到无界Petri网，会遇到两方面的困难。一方面，由于正规表达式的字母表必须是一个有限字符集，是否可以把一个无界Petri网的各种可能的运行情况都归结为有限个基本子进程的组装？

We prove the equivalence of coloured petri net and extented coloured petri net in teachability space.

针对有色Petri网在建模能力方面的限制进行若干扩展，提出了一种扩展有色Pertri网，增加了容量限制及阈值弧函数，这将丰富CPN模型的语义，增强CPN对系统的描述能力，有助于大型复杂系统的建模，在此基础上证明了ECPN与CPN从可达空间的角度来说两者之间的等价性。

To address this problem, a new method of security analysis of QKD protocols is introduced. Based on the equivalence attack model of QKD protocols which is refered to Biham's proving, the protocol is divided into two parts: the body and the attack, then a Petri-net model of BB84 is obtained, and a security analysis is followed.

为了简化量子密码协议的安全性证明以及建立一种通用的证明方法，基于Petri 网提出一种量子密钥分配协议的形式化分析方法，根据Biham 的等效对称化攻击模型，将协议分为主体模型和攻击模型两部分，建立了BB84 协议的Petri 网模型，然后对模型进行安全性分析，分析结果表明， BB84协议是无条件安全的。

In building the simulation models for manufacturing missions, based on the combination with the multi-agent method and the GOOPN method, the compoundable method is presented, which makes the models more intelligent. Based on the result above, combined with the GOOPN models and the GERTS model, we put forward EPN-GERTS model through embedding Petri net into GERTS model, which can simplify the complexity in building models, and also improve the defects of GERTS model in describing resource conflicts and Petri net model in building models. In building the simulation models for development missions, the improved GERTS model is present to describe the development processes in QRMS. Through dynamically computing the redo times in GERTS, the improved model can reflect the operation character of development process. The simulation results are more precise when we use the models above.

针对构建快速研制系统的仿真对象问题，提出了基于多Agent的快速研制系统可靠性复合仿真建模方法，增强了仿真模型的智能性；在此基础上，针对制造任务，将Petri网嵌入到GERTS网中，提出了用于快速研制系统制造任务可靠性仿真的EPN-GERTS模型，简化了建模过程，同时也能考虑任务之间的资源冲突；针对研制任务，提出了用于快速研制系统研制任务可靠性仿真的改进GERTS模型，该模型可以描述设计迭代过程的动态运行特点，使仿真结果更加准确。

Based on invariants of Petri nets, an approach to the enforcement of fairness and liveness is presented for classic automated manufacturing systems.

摘要基于Petri网的不变式理论，针对典型的自动制造系统，提出了Petri模型强制公平性和活性的方法。

Workflow modeling based on the activity network is straight and wieldy. Petri network modeling has rigorous mathematics logic, firstly, this paper compares the two modeling method, secondly, this paper completes a modeling implement.

基于活动网络的工作流建模直观、易使用，Petri网的建模有严密的数学逻辑，在比较了二者的优缺的基础上，本文的工作流建模工具在表示方式上采用了活动网络的建模方式，在计算方法上采用了Petri网的建模方法。

In the United States, chronic alcoholism and hepatitis C are the most common ones.

在美国，慢性酒精中毒，肝炎是最常见的。

If you have any questions, you can contact me anytime.

如果有任何问题，你可以随时联系我。