A formal correctness analysis method of EWF _ net was given based on the analysis techniques of Petri-net.

  • 在Petri网分析技术的基础上提出EWF_net的形式化的正确性分析方法.
  • 来源:互联网摘选更新时间:2026-07-13 01:11:46

  • 重点词汇
  • methodn.方法;有条不紊;
  • correctness正确性;
  • netn. 网;网状织物;球网;网罩;
  • EWFabbr.Electrical Wholesalers' Federation <英>电气器材批发商联合会;
  • aart. 一(个);每一(个);任一(个),用于辅音音素开头的单词前
  • techniquesn.技巧( technique的名词复数 );手法;技术;技能;
  • 给的n.specified, specific; customary;
  • theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用,指事物或统称的人;用于姓氏的复数形式前,指家庭或夫妇;(指特定用途的事物)足够,恰好;每,一;当前的,本,此;(重读,表示所指的为知名或重要的人或事物)
  • 相关例句
1、

Petri Nets was raised by Carl Adam Petri in Germany and set forth by Peterson later.

Petri网是由德国的CarlAdamPetri提出,后来由Peterson加以阐述.

互联网摘选

2、

Based on Combination of Object Oriented Technology and Colored Petri Nets: FMS Modeling.

基于面向对象技术与有色Petri网的FMS建模.

互联网摘选

3、

I use a Petri finder, it's close enough to 35 mm to be very useful.

我使用的petri搜索器, 它的足够接近35毫米是非常有益的.

互联网摘选

4、

ETP ( Extended Timed Petri Net ) is an extention of petri net.

ETP ( ExtelqdedtimedPetriNet ) 是Petri同的一种扩充形式.

互联网摘选

5、

By using WFPN developed from Petri net sets up the process model.

利用Petri网 发展起来的工作流网(WFPN)建立过程模型.

互联网摘选

6、

Introduced the Petri net simulation tool VisObjNet, and illustrated the modeling and simulation measures.

介绍了Petri网仿真工具VisObjNet, 并举例说明其建模和仿真方法.

互联网摘选

7、

Besidcs, the reduction of multi-are petri nets and the decomposition of petri nets are briefly discussed.

此外, 本文还就多弧Petri网 的归约问题和Petri网 的分解问题作了简要讨论.

互联网摘选

8、

Batch process fault diagnose with Petri net is a comparatively active research field at present.

Petri网用于间歇工业过程故障诊断是目前较为活跃的研究领域.

互联网摘选

9、

This paper discusses how to simulate Turing machine by Petri net from the viewpointof information transformation.

本文从信息变换的角度来阐明“如何用Petri网模拟Turing机”.

互联网摘选

10、

But when both drugs were present, blue bacteria swept the field-or , rather , the Petri dish.

但当两种抗生素都计入培养基的时候, 蓝色细菌几乎把黄色细菌清出地盘 —— 培养皿.

互联网摘选

11、

Petri dish is a cylindrical container with a lid where biologists use to study cells.

皮氏培养皿是一种有盖的圆柱型容器,生物学家利用这个盖子来研究细胞.

互联网摘选

12、

In Bacteria Art a scientist would grow the different kinds of bacteria a Petri dish.

在细菌艺术创作中,科学家可能会将不同种类的细菌培育在皮氏培养皿中.

互联网摘选

13、

THE population of bugs in a Petri dish typically increases in an S-shaped curve.

细菌培养皿里面的细菌数量呈典型的S曲线分布.

互联网摘选

14、

Firm of Ba Ling petrifaction joined appraisal to meet about the leader.

巴陵石化公司有关领导参加了鉴定会.

互联网摘选

15、

From 1997, wei Changyang enters petrifaction to analyse instrument market all right.

自1997年, 维昌洋行进入石化分析仪器市场.

互联网摘选

16、

The citrus oil is regenerative energy, and can substitute petrifaction fuel.

柑桔油是可再生能源, 能替代石化燃料.

互联网摘选

17、

It will be okay effect extending in petroleum and petrifaction areas.

在石油石化领域推广可收到较好的效果.

互联网摘选

18、

Finally, imitate the life that industry of our country petrifaction grows is periodic, analysed imitate result.

最后, 模拟了我国石化工业发展的寿命周期, 并分析了模拟结果.

互联网摘选

19、

Guangzhou ethylene project invests build jointly by Guangzhou city and Chinese petrifaction head office.

广州乙烯工程是由广州市和中国石化总公司共同投资兴建的.

互联网摘选

20、

MVRDV: we noticed your eyes beginning to sparkle at the word " petrification ".

我们发现在我们提到 “ 固化 ” 这个词的时候你们的眼睛在闪光.

互联网摘选

  • 今日热词
  • 热门搜索

英语网英语词典(dict.25820.com)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈