1)Petri Net modelPetri网模型
1.Studies of a Class of S-Composition Petri Net Model and Its Structure;一类s-组合Petri网模型及其结构分析研究
2.Reachability tree is used to check deadlock in the Petri net model and the method to eliminate deadlock is also presented.提出了一种基于Petri网模型的多个移动机器人协作控制方法 。
3.By using all link-road synthesis,the Petri net model about the waiting of the whole concurrency process is built,and a sufficient a.为此通过引入Petri网,给出了分布式系统局部并发进程等待的Petri网模型及死锁检测方法,提出了全链路合成的概念,利用全链路合成技术组装了全局并发进程等待的Petri网模型,给出了判断整个系统是否出现死锁的充分必要条件。
英文短句/例句
1.Study of Grid Resource Scheduling Based on Model of Petri Net;基于Petri网模型的网格资源调度的研究
2.Petri Net Models of High Performance Network Protocols;高性能网络协议的Petri网模型
3.The Study of Petri Net Model for Grid Task Scheduling Model and Algorithm;网格任务调度模型及算法的Petri网模型研究
4.Research on Object-Oriented Algebra Petri Net Model;面向对象代数Petri网模型研究
5.The Study of Automated Resolution Reasoning Based on Model of Petri Net;基于Petri网模型的归结自动推理研究
6.Application Research in Case-Based Reasoning Based on Colored Petri Nets Model;基于着色Petri网模型的案例推理研究
7.Vertification of OSPF Protocol Based on Coloured Petri Net;基于着色Petri网模型的OSPF协议验证
8.An Extended Petri Net and Its Application;一种扩展Petri网模型及应用研究
9.The Research on Logistics System Modeling by Colored Petri Nets;物流系统着色Petri网模型研究
10.An Object-Oriented Petri Net Model for Brigade (Group) Anti-Air Artillery Operation;高炮旅(团)作战面向对象Petri网模型
11.The Knowledge Flow Petri Network Model in the Aviation Industry;航空企业的知识流Petri网模型
12.Realization the Processes of Business Process Reengineering Based on Workflow Net Modeling;基于扩展Petri网模型的BPR过程的实现
13.On-the-fly Model Checking Based on Petri Nets;基于Petri网的on-the-fly模型检测
14.Dynamic task allocation model of protocol nets based on Petri nets基于Petri网的合同网任务动态分配模型
15.Study of Modeling and Analysis of Workflow Using Petri Nets;工作流的Petri网建模及模型分析
16.Spatial modeling of coal and gas outburst based on fuzzy Petri net基于模糊Petri网的瓦斯突出空间模型
17.Petri Net Workflow Modeling StudyPetri网的工作流模型建模研究
18.Fuzzy Model of Interval Speed Continuous Petri Nets区间速率连续Petri网的模糊模型
相关短句/例句
Petri-net modelPetri网模型
1.In this paper, the production process in manufacturing cell (MC) is modeled based on the Petri－net theory, the Petri－net model′s incident matrix is produced to represent the basic structure.建立了制造单元加工过程的Petri网模型,采用关联矩阵来表征Petri网模型结构,并由之获得可达标识并进而得到由初始标识到最终的不同的变迁序列,根据变迁序列和加工过程的对应关系得到优化的加工顺序。
2.Introduces how to create a manufacturer model of e-business and to translate it into a Petri-net model.把一个电子商务模型转换成 Petri网模型 ,就可以利用 Petri网的建模优势来分析一个电子商务模型的性能 ,更好地从模型概念层次上验证电子商务模型在实现过程中的动态行为。
3)petri netPetri网模型
4)Class Petri Net Model类Petri网模型
5)Model of PERT-PetriPERT-Petri网模型
6)model/Petri net model模型/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。
