排序方式: 共有6条查询结果,搜索用时 0 毫秒
1
1.
Petri网研究:机遇与挑战 总被引:8,自引:2,他引:8
本文是文[2]的姐妹篇,以国际动态为背景展示研究工作可以取得成就的方面,也试图就好面临的难点进行建设性的讨论。 相似文献
2.
Petri网用于Horn子句的逻辑推论 总被引:6,自引:1,他引:5
这篇论文探索了命题逻辑的Horn子句的Petri网模型,求解逻辑推论Petri网模型的T—不变量是求解逻辑推论的核心步骤,本文提供了计算T—不变量的算法,这些算法基于归约的思想,另外,在算法中利用单字母规则、纯字母规则和割裂规则可提高算法的速度和简化算法的复杂性。 相似文献
3.
4.
Petri网用于表示知识 总被引:8,自引:0,他引:8
本文研究了各种级别Petri网与模态逻辑之间的关系.Petri网的Enlogy是研究这些关系的基础.状况(case)和可达(Reachability)概念已经成功地用于以条件/事件(Condition/Event,简称C/E)网作知识表示.本文引用上述两个概念,使位置/变迁(Place/Transition,简称P/T)网和高级Petri网(High Level Petri Net,简称HLPN)可作知识表示.为了增强以 HLPN网作知识表示的能力,我们引用了状况变量和等价状况变量的概念.文中我们还以例子说明这些方法是可用的和有效的. 相似文献
5.
Petri网动态性质的考察一般基于网不变量(Net Invariants)和可达树(Reachability Tree).这两个概念已被扩展到高级Petri网中.高级Petri网可达集空间随着网的复杂性而指数性增长是计算可达树问题中的一个主要难 点.本文定义了具有变量标识的高级Petri网并给出了构造该类网的可达树的算法.本文的算法以变量标识的等价关系(equivalent relation)和覆盖关系(covering relation)为基础,明显地简化了可达集空间.个体标识的信息可从变量标识的定义域中获得. 相似文献
6.
本文提出了七条设计原理,使一类由离散条件组成系统状态和以分立功能部件组成系统动作机能的分布式系统有了一种设计依据.其中,前五条原理针对分布式系统的特例——顺序系统,后两条原理专对系统的并发性. 相似文献
1