您要查找的是不是：
- nested Petri nets 嵌套网
- Nested Petri nets(NP-nets) 嵌套网
- 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网,提出了一种支持嵌入式系统建模的方法体系。
- So liveness decision problem is one of the most important topics in Petri nets theory too. 因此，活性判定问题是Petri网理论研究的一个重要方面。
- Based on Petri nets,control variable was added to DWF_net and transition was classified as transition entry and transition body. 工作流描述模型在Petri网的基础上增加了控制变量,并将变迁划分为变迁入口和变迁体两部分。
- 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模型。
- We propose a method for evaluating feasibility of Reconfigurable Equipment Behavior (REB) based on the Extendable Petri Nets Framework (EPNF). 中文摘要有效的自动化机台剧本分析，在机台开发期除能于减少确认其剧本所需时间外；
- Knapp, G.M. &Wang, B.“Modeling of Automated Storage/Retrieval System Using Petri Nets”, Journal of Manufacturing Systems, Vol.11, No.1, 1992. 陈燕庆与鹿浩，”神经网路理论及其在控制工程中的应用”，儒林图书有限公司，台北，初版，1992。
- In this paper,the Stochastic Petri Nets model of a master slave distributed system is constructed. The performance of the system is analysed based on the model. 本文建立了主从分布系统的随机Petri网模型，并用此分析其系统性能。
- In OPN both the modularity and flexibility are better than those of ordinary Petri nets, and the state explosion problem is a little more alleviated. 3. OPN可以提高模型的模块性和柔性，在一定程度上能避免一般Petri网建模时出现的状态爆炸问题。
- R.S.Srinivasan, “Modeling and Performance Analysis of Cluster Tools Using Petri Nets,” IEEE Transactions on Vol. 113, Semiconductor Manufacturing , Aug. 1998, pp.394-403. 李金德,“集束型半导体生产设备模式的建立及性能分析”,硕士论文,中原大学机械工程研究所,民国88年。
- This paper discusses how to simulate Turing machine by Petri net from the viewpointof information transformation. 本文从信息变换的角度来阐明“如何用Petri网模拟Turing机”。
- In this paper, a method for describing protocols with Petri nets is introduced, and a Petri net specification for the ISO transport protocol class 3 is provided. 本文介绍了用Petri网描述协议的方法,给出了ISO传输层第三类协议的Petri网说明,并且利用可达树、可达图等分析工具对所给Petri网进行了分析,然后讨论了所给的结果。
- The swallows nested under the eaves. 燕子在屋檐下筑巢。
- 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模型。
