您要查找的是不是:
- timed place Petri nets 赋时位置Petri网
- timed place petri net 库所含时间因素的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)。
- Petri net becomes the extended Petri net (EPN) by introducing the extended description of timed places and tokens. 通过导入“时间Place”和“象征”的附加描述,使Petri网成为扩充的Petri网(EPN);
- Based on timed Petri nets and Colored Petri nets, we presented an extended Petri net (EPN). A job-shop scheduling(JSS) problem was modeled with this extended Petri net. 在时间Petri网和着色Petri的基础上,提出了一种新的扩展Petri网(EPN)模型,利用该扩展Petri网,建立了车间调度EPN模型。
- In this paper, a new temporal model , hierarchically timed petri net (HTPN), is proposed through incorporating the deadline constraints into TPN. 对活动增加截止期限的约束条件并验证可达情况,是人们在实际应用中对工作流系统提出的新要求。 本文提出了一种基于层次时间petri网的工作流模型。
- The characters of the system software safety analysis with Petri nets are summedup. 总结了基于Petri网的系统软件安全性分析的特点。
- We redefine the correctness of a personal process and address the verification method based on Petri Nets. 我们重新定义了个人工作流的正确性,并且提出在派翠网上的检验方法。
- Besidcs,the reduction of multi -are petri nets and the decomposition of petri nets are briefly discussed. 此外,本文还就多弧 Petri 网的归约问题和 Petri 网的分解问题作了简要讨论。
- Petri Nets was raised by Carl Adam Petri in Germany and set forth by Peterson later. Petri网是由德国的Carl Adam Petri提出,后来由Peterson加以阐述。
- An embedded system modeling approach based on Unified Modeling Language (UML) and Petri nets was proposed in the paper. 本文结合统一建模语言(UML)和Petri网,提出了一种支持嵌入式系统建模的方法体系。
- The distribution of disease (time place and person) is similar to another that has been explained. 疾病分布(时间、地点和人)类似于另一种已被解释清楚的疾病。
- So liveness decision problem is one of the most important topics in Petri nets theory too. 因此,活性判定问题是Petri网理论研究的一个重要方面。
- Two people meet, no matter time place, without giving thought to friendship depth, first a word with respect to adulterate:" Ate? 两人一见面,不论时间地点,不管交情深浅,头一句话就搀假:"吃了吗?
- Based on Petri nets,control variable was added to DWF_net and transition was classified as transition entry and transition body. 工作流描述模型在Petri网的基础上增加了控制变量,并将变迁划分为变迁入口和变迁体两部分。
- It is easy to wear cap, helmet frowsty bad hair, send the pore muscle that time place bears a label or helmet oppresses to cause trichomadesis easily flabbily especially. 戴帽子、头盔轻易闷坏头发,尤其是发际处受帽子或头盔压迫的毛孔肌肉轻易松弛引起脱发。
- The purpose of this paper is to study the Petri Nets (PN) model of anti-air combating process of combined-arms of missile and flack (CAMF). 摘要研究建立弹炮结合武器系统防空作战过程的PN模型。
- Arranges the time place after “Mr./Mrs. Wang”, the body belt photographs surreptitiously machine reporter and another female student start “the interview”. 由“王老师”定好时间地点后,身带偷拍机的记者和另一名女生开始“面试”。