查询词典 Petri dish

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网理论及其它在电信和计算机领域里的应用。

Petri net is a kind of model which can be used to analyze many kinds of systems.

派翠网是一种可以被用来分析许多系统的模型，而发生图是派翠网的状态图。

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网的软件开发模型。

According to my definition, the Manchurian Candidate is an experimentally created dissociative identity disorder that meets the following four criteria

根据我的定义，满州候选人是一个创造分离身份混乱的实验，它符合下述的4条标准

I'd be chuffed to play at a World Cup, but I have many years ahead of me in the game so I hope to have more opportunities.

我会chuffed发挥在世界杯，但我有很多年的比赛在我前面，所以我希望有更多的机会。