说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> Petri网规约
1)  Petri-Net reduction
Petri网规约
2)  rule petri net
规则Petri网
1.
Expression and Extract of Knowledge Based on Rule Petri Net;
基于规则Petri网知识的表达与提纯
3)  timing constraint Petri nets
时间约束Petri网
4)  the Petri-net to control resource
Petri资源约束网
5)  Petri net
Petri网
1.
Function/data analysis method based on Petri net;
一种基于Petri网的功能/数据分析方法
2.
Description of a certain naval gun s filling and feeding process with Petri net;
某型舰炮补供弹过程的Petri网描述
3.
Controller of discrete event system Petri net with uncontrollable transition;
具有不可控变迁的离散事件系统Petri网控制器的研究
6)  Petri Nets
Petri网
1.
The Application of Petri Nets in Packaging and Printing Production;
Petri网在包装印刷生产中的应用
2.
An improved algorithm for the generation of MCS based on Petri nets;
一种基于Petri网模型进行故障树分析的改进算法
3.
Application of Petri nets rules representation in operation order sheets expert system;
Petri网规则表示方法在操作票专家系统中的应用
补充资料:Petri网


Petri网


现死锁问题是可解的;另外,Petn网所产生的语言类的性质也得到了考察.这个语言类真包含于递归可枚举语言类中,又真包括正规语言类,并同上下无关语言类部分相交.第二个方向是将1〕etri网作为信息技术、经济、数字工程等学科中的离散动力系统模型的基础. Pelri网与有限自动机(automa10n,细ite)不同,后者是用来描述系统状态的全局变化,而前者集中刻画局部事件(与转换对应)、局部条件(与位置对应)以及两者的局部连接.因此,可以以氏创网的术语对分布式异步系统给出比用自动机更适宜的模拟.【补注】作为并行计算的基本模型,氏tri网近年来得到十分广泛的研究.现在,每年有一个关于Pe川网的年会.这个会议的论文集由Sprl刀罗r出版社出版,它包含了目前热门研究的最佳展望.专著王AI]有Petri网的简要介绍;文献【31是氏州网的一本人门教科书关于Petri网在分析并发进程中的应用请参考【AZ」.【译注】几州网又称为位置/转换网〔p」ace/廿出巧itionnet).关于Petri网中转换的点火问题,有些学者认为多个转换可以同时J旬火,只要他们都满足点火条件.】、匀i网〔h州械;lle冲“ce、1 包括相应数据系统在内的种种离散动态系统(并行程序、操作系统、计算机及相应设备和计算机网络)的数学模型,用于这些系统的定性分析和综合(发现系统种种死锁或冲突的各种情况以及各种瓶颈,进行并行程序和计算机部件的辅助综合等等).这一概念由C.几俪于20世纪印年代引人.一个几侧网为一个四元组N二(T,尸,F,M。),其中T是有限符号集,其元素称为转换(扛al‘ ition),P也是有限符号集,其元素称为位置(内ce),尸自T“力,F是一个关联函数: F:Tx尸日尸xT~毛O,1},M。为初始标记(而tial Tnark吨) M。:p~{o,一,一}. 一般来讲,氏tri网是一个带标号的有向图,它的结点集为T口尸(如图所示).夕 一条弧(由直线、折线或弧线表示)从一个位置结点(由圆圈表示)p〔尸出发,到达一个转换结点(由矩形表示)作T,当且仅当 F(P,t)=1(p称为t的输人位置;图中尸之{pl,pZ,p3},T二{“,b,。,心),一条弧从一个转换结点t出发,到达一个位置结点p,当且仅当 F(t,P)=l(p称为t的输出位置).开始时,位置p可以标上标记M。(夕),如果M。(夕)不为0的话.M。(尸)代表该位置的记号个数. 模拟系统的动态变化由Petri网的运行来刻画.网络按离散时间运作,其状态从一个标记变化为另一个标记.每个标记是一个函数M:尸~{0,l,,,l,标记的改变(初始为M。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条