您要查找的是不是：
- Abstract Regard to the discrete events during the continuous chemical process , a new method of using hybrid Petri net was proposed in this paper. 摘要 针对连续化工生产过程中混杂的离散事件,提出了基于混合佩特里网的建模方法。
- Timed Hybrid Petri Net(THPN),one of the Hybrid Petri Net models, were first put forward by David ,and an efficient way for analyses of THPN properties is the construction of the THPN developing graph. 时延混合Petri网(THPN)是由David最早提出的一类混合Petri网模型;而构造时延混合Petri网的演变图是对其性质进行分析的有效方法.
- Hybrid Petri Nets (HPN) 混合Petri网
- Hybrid Petri Net(HPN) 混合Petri网
- Behavioral Properties and Determining Methods of Hybrid Petri Net Model of Hybrid System 混和系统Petri网模型的行为特性及判定方法
- Modeling and Simulating Micro-switch Manufacturing System Using Hybrid Petri Net 用混合Petri网对微开关加工系统建模和仿真
- First-order hybrid petri nets 一阶混杂Petri网
- Hybrid Petri nets 混合Petri网
- hybrid Petri net 混杂Petri网
- From beginning to the end in this paper,the Time Petri Net(TPN) based on, we have researched the theory of Hybrid Dynamic Petri Net and its methods on modeling and analyzing in CIMS. 本文自始至终以时间Petri网为基础，研究了混合动态Petri网理论以及在CIMS中的建模方法及分析方法。
- The article also in detail introduced the Petri net elementary knowledge, including the PN basic concept, the net nature and the analysis method as well as the related knowledge about hybrid PN. 其次，详细地介绍了Petri网的基本知识，包括PN的基本概念、网的性质和分析方法以及混杂PN的相关知识。
- 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模型。
