您要查找的是不是：
- Description and Verification of Comprehensive Train Safety Monitoring System by Temporal Petri Nets 行车安全综合监控系统的时序Petri网描述及验证
- Description and Verification of an Online Stock Trading System by Using Temporal Petri Nets 网上证券交易系统的时序Petri网描述及验证
- temporal Petri nets 时序Petri网
- temporal Petri net 时序Petri网
- In this paper, a new temporal model , hierarchically timed petri net (HTPN), is proposed through incorporating the deadline constraints into TPN. 对活动增加截止期限的约束条件并验证可达情况,是人们在实际应用中对工作流系统提出的新要求。 本文提出了一种基于层次时间petri网的工作流模型。
- A new temporal workflow model based on Hierarchically Timed Petri Net(HTPN) was proposed to implement the analysis and verification of Timed Petri Net(TPN) workflow model. The rules and algorithm of transforming TPN model into HTPN model were given. 为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间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网,提出了一种支持嵌入式系统建模的方法体系。
- 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。
- temporal colored fuzzy time Petri net 时序着色模糊时间Petri网
- 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网模型，并用此分析其系统性能。
