您要查找的是不是：
- timed transition Petri nets (TTPN) 时延变迁Petri网
- Timed Transition Petri net 赋时变迁Petri网
- A directed graph, in which there are two types of nodes, one represents position with circle, another represents transition with square. It is also known as Petri net. 一种有向图,其中有两类结点,一种用圆表示位置,另一种用正方形表示迁移。位置迁移网也称为Petri网。
- Petri net becomes the extended Petri net (EPN) by introducing the extended description of timed places and tokens. 通过导入“时间Place”和“象征”的附加描述,使Petri网成为扩充的Petri网(EPN);
- 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. 逻辑推演是人工智能的基础之一;推演过程就是确定一个给定的命题是否由所收集的一组事实和子句规则所蕴含.;在推理研究中;已有多种模型方法来表示知识和推理过程
- In this paper, a new temporal model , hierarchically timed petri net (HTPN), is proposed through incorporating the deadline constraints into TPN. 对活动增加截止期限的约束条件并验证可达情况,是人们在实际应用中对工作流系统提出的新要求。 本文提出了一种基于层次时间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)。
- 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网工作流模型的规则及算法。
- 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网的演变图是对其性质进行分析的有效方法.
- 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年。
- Based on Petri nets,control variable was added to DWF_net and transition was classified as transition entry and transition body. 工作流描述模型在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中的建模方法及分析方法。
- 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网是一种抽象的数学符号，并不是对问题领域的直观的表示，对非专业人员来说难以理解、交流和讨论。
- This paper discusses how to simulate Turing machine by Petri net from the viewpointof information transformation. 本文从信息变换的角度来阐明“如何用Petri网模拟Turing机”。
- Petri Net, Finite State Automata (FSA), IDEF3 and State Charts are traditionally used for behavior modeling. Petri Net、有限自动机、IDEF3和状态图是常用的行为建模方法。
- The second one is reduction verification, whose research results on Petri net and workflow graph are given. 讨论了过程合理性验证和化简验证技术等；
- The controller enforced a set of inequality constraints on the reachable markings of the Petri net model. 提出了一种加入线性不等式约束的卡尔曼滤波方法,并用于涡扇发动机的健康状况估计。
- Petri net is a kind of model which can be used to analyze many kinds of systems. 随著资讯时代的进步，各类系统愈来愈复杂，分析这些系统正确性的方法好坏变得很重要。
- Finally, Utilizing Petri Net comprehensive technology amalgamate each coloured Petri Net module, and become a large-scale comprehensive Petri Net. 最后利用Petri 网综合技术将各个替代子网模块合并成为一个大型的综合Petri 网。
- 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模型。
- 今日热词
-
- 深远海浮式风电平台 - deep-sea floating wind power platform
-
- 京雄高速公路 - Beijing-Xiongan expressway
-
- 农业及相关产业增加值 - the added value of agriculture and related industries
