您要查找的是不是:
- W.M.Zuberek, W.Kubiak “Timed Petri Net Models of Flexible Manufacturing Cells”, Proceedings of the 36th Midwest Symposium on Circuits and Systems, Vol. 2, pp. 922 - 925, Aug. 1993. 李金德,集束型半导体生产设备模式的建立及性能分析,私立中原大学机械工程研究所硕士论文,民88年。
- timed Petri net model 记时prtri网模型
- 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 controller enforced a set of inequality constraints on the reachable markings of the Petri net model. 提出了一种加入线性不等式约束的卡尔曼滤波方法,并用于涡扇发动机的健康状况估计。
- Firstly,it deals with how to use UML to build the structural model and the action model of the ISCM system,and how to use APN to build the Petri Net model of the ISCM system. 首先用UML方法构建ISCM库存系统的结构模型和行为模型,用APN方法构建库存系统的Petri网模型;
- 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网的演变图是对其性质进行分析的有效方法.
- 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中的建模方法及分析方法。
- This paper first presents a virtual community service architecture based on the Open Grid Service Architecture (OGSA). A stochastic high-level Petri net model is given to realize the Quality of Service (QoS) based scheduling of community service resoures. 针对这些问题提出了基于开放网格服务结构(OGSA)的虚拟社区服务网格体系结构;并给出随机高级Petri网模型;以实现一个基于服务质量(QoS)的社区服务资源调度.
- According to the description of library/transition decision system inference from decision-making organizations at brigade and battalion levels, a Petri net model of air defense decision system is established. 对基于旅营两级决策组织导出的库所/变迁系统进行了描述,建立了防空C3I决策系统的Petri网模型。
- At the same time Petri Net is a kind of abstract mathematics sign, and does not keep problem field a intuitionistic view.It is hard to comprehend, commune and discus for laypeople. 同时Petri网是一种抽象的数学符号,并不是对问题领域的直观的表示,对非专业人员来说难以理解、交流和讨论。
- Through reachability tree and event graph analysis, It is shown that the proposed Petri net model is live, bounded, safe and conservation, proving that the asynchronous parallel communication protocol is reliable. 通过可达树和事件图分析,得到了该Petri网模型是活的、有界的、安全的、守恒的,证明了IEEE4 88总线的异步并行通信协议的可靠性。
- 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,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网模型,并用此分析其系统性能。
- agent-oriented colored timed Petri net 面向代理的着色赋时Petri网
- Abstract The Petri net models of the clauses for logical inference using fixpoint are studied and the four-valued logic and the conflict transition concept are introduced. 逻辑推演是人工智能的基础之一;推演过程就是确定一个给定的命题是否由所收集的一组事实和子句规则所蕴含.;在推理研究中;已有多种模型方法来表示知识和推理过程
- Object oriented colored timed Petri net 面向对象着色赋时Petri网
- ARP Spoofing and Its Petri Net Model ARP欺骗及其PETRI网模型
- temporal colored fuzzy time Petri net 时序着色模糊时间Petri网
