查询词典 Petri

Reachability is one of the most basic properties of Petri nets .

可达性是Petri网的最基本的动态性质之一。

This paper studies workflow modeling and analysis techniques based on Petri nets.

本文主要研究基于Petri网的工作流建模和分析方法。

By analyzing the Petri Net model, it is proved to be safe and reliable.

经过对具体模型实例的分析可以得出，由这种方法得到的Petri网是安全可行的。

One of the most well-known formulation methods is Petri nets.

Petri网是形式化软件开发的重要方法之一。

ABSTRACT Stochastic Petri Nets theory and its application in telecommunications and computer field are studied in this thesis.

本文研究了随机Petri网理论及其它在电信和计算机领域里的应用。

Both can be realized by the Petri net.

两者都可以用Petri网来实现。

The workflow modeling method adopted in this paper is based on Petri nets.

本文采用的工作流建模方式是基于Petri网的建模方式。

This paper focuses on process model and its modeling method based on Petri nets.

摘 要：文章论述了基于Petri网的事务流程模型和流程建模方法。

In the paper, we put forward a modeling and verification method based on temporal Petri nets.

本文基于时序Petri网，提出了相应的分析和验证方法。

A kind of web models of software developing based on improved Petri Net is introduced.

依据网络的并发性以及任务的流程性，提出一种基于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.

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