您要查找的是不是:
- high level Petri net 高级佩特里网
- Besidcs,the reduction of multi -are petri nets and the decomposition of petri nets are briefly discussed. 此外,本文还就多弧 Petri 网的归约问题和 Petri 网的分解问题作了简要讨论。
- This paper discusses how to simulate Turing machine by Petri net from the viewpointof information transformation. 本文从信息变换的角度来阐明“如何用Petri网模拟Turing机”。
- The research will develop B/S two level CMI system structure into C/S multi level structure. 并且对于IEEE LTSC中对CMI系统只准对B/S两层结构的设计拓广到C/S多层结构的设计。
- Petri Net, Finite State Automata (FSA), IDEF3 and State Charts are traditionally used for behavior modeling. Petri Net、有限自动机、IDEF3和状态图是常用的行为建模方法。
- This research focuses on multi level set associative TLB performance of the general purpose microprocessor. 本文针对超深亚微米通用微处理器中的多级TLB设计开展研究 .
- Petri net becomes the extended Petri net (EPN) by introducing the extended description of timed places and tokens. 通过导入“时间Place”和“象征”的附加描述,使Petri网成为扩充的Petri网(EPN);
- The second one is reduction verification, whose research results on Petri net and workflow graph are given. 讨论了过程合理性验证和化简验证技术等;
- A MLAP, short for a multi level affiliate program, is a relatively new type of affiliate program offered by some innovative web merchants. 一个海洋低温碱性蛋白酶;短一个多层次从属节目是一个比较新的节目类型下属提供一些创新网上商家.
- The controller enforced a set of inequality constraints on the reachable markings of the Petri net model. 提出了一种加入线性不等式约束的卡尔曼滤波方法,并用于涡扇发动机的健康状况估计。
- Petri net is a kind of model which can be used to analyze many kinds of systems. 随著资讯时代的进步,各类系统愈来愈复杂,分析这些系统正确性的方法好坏变得很重要。
- This paper extends the concept of multi level bitmap catalogue proposed in paper, by introducing multi word bit operation into the algorithms related to the catalogue structure. 本文推广文提出的多级位示图目录的概念,在其有关算法中引入多倍字位操作,讨论存储池溢出的处理方法。
- TENET: helping the oversea chinese make a better evolution both in Canada and China, and promoting intercommunion allround between multi level of both sides. 宗旨:协助华人在中加两地更好地发展,同时推动中加之间多方面,多层次的交流。
- Finally, Utilizing Petri Net comprehensive technology amalgamate each coloured Petri Net module, and become a large-scale comprehensive Petri Net. 最后利用Petri 网综合技术将各个替代子网模块合并成为一个大型的综合Petri 网。
- In view of real situations in multi level underground mines, a computer simulation model of reliablity of mining haulage system with two ore bins has been establised. 针对我国多水平开采矿井的实际情况,建立了具有两级缓冲仓柔性连接运输系统可靠性的计算机模拟模型。
- The performance evaluation on a triple layered LEO/MEO/GEO satellite network is carried out by Petri Net based analysis and software simulation. 基于Petri网模型方法和仿真方法 ;对一种低轨 /中轨 /同步地球轨 (LEO/MEO/GEO)三层卫星网络进行了性能分析 .
- Multi factor flow chart(MFFC)and multi level document(MLD)are used to represent the process knowledge in this method.The whole acquiring process is from generalization to detail. 该方法使用了多因素流程图 ( MFFC)和多层次文本 ( MLD)两种工具对过程性知识进行表示。
- In addition, the mapping relationship between main processes of CSP(Communicating Sequential Processes) and petri net is proposed. 此外,我们还分析和提出了CSP(通信顺序进程)理论中主要进程与Petri网之间的映射关系。
- In this paper, Petri net is defined by net graph, and by introducing the "time place" and "token", Petri net becomes enlarged Perti net (EPN). 本文以图的形式给出 Petri网的定义 ,通过导入“时间Place”和“标记”的附加描述 ,使 Petri网成为扩充的 Petri网 (EPN)。
- In this paper, a new temporal model , hierarchically timed petri net (HTPN), is proposed through incorporating the deadline constraints into TPN. 对活动增加截止期限的约束条件并验证可达情况,是人们在实际应用中对工作流系统提出的新要求。 本文提出了一种基于层次时间petri网的工作流模型。
