化简规则相关论文
本文以CISR 系统为应用背景,以统一建模语言(UML)和Petri 网的适应性改进为目标,进行了相关的建模方法研究,并提出了相应的分析算法。......
Carl Adam Petri于1962年在他的博士论文《Kommun Pcation mit automation》中,正式提出了Petri网论。Petri网是一种适合描述离散......
为了提高嵌入式系统分析和模型验证的效率,对一种基于Petri网的嵌入式系统模型进行了化简。给出了一组模型化简规则,这组化简规......
Web服务成为一种具有良好互操作性的新的分布式计算模型,Web服务组合是实现良好互操作性的基础。本文基于WS_Net描述Web服务的......
目前,工作流模型验证技术已成为工作流技术中重要的研究课题之一.由于工作流逻辑的复杂性,因而如何构建正确的模型是一个较迫......
该文将广义归结推广到模态逻辑,给出模态广义双标记子句集的概念,提出模态广义双标记归结。可证明,任意命题模态公式集D不可满足当且仅......
描述了Web服务业务流程执行语言(BPEL4WS)的Petri网模型,并提出了模型的化简规则,用于验证模型中的死锁和乏同步两种结构冲突。最后结......
为了提高基于Petri网表示的嵌入式模型(PRES+)验证的效率,对模型进行了保性变换,给出了一组关于PRES+模型的化简规则,这些化简规则在原模......
Petri网是一种很有效的模型描述语言,尤其适合描述工作流。给出了基于Petri网的工作流逻辑(WF_logic)化简规则,这里则借助矩阵及矩阵运......
目前工作流技术在管理、生产和科学研究等领域中已经被广泛应用.由于过程逻辑的复杂性和变化性等原因,如何建立良构的业务过程是一......
对决策表的二进制可辨矩阵^[11]进行先期化简的算法^[10]可大大减少知识约简的操作对象,大大加快知识约简的速度,是一种很有前途的知......
三值 Toffoli门是构成三值量子电路的基本逻辑门,而三值Toffoli门是通过M-S 门实现.文中对相邻的三 值 Toffoli门的特性进行了分析......
以分析模态逻辑中文字公式的极性为基础,将经典逻辑的Davis-putnam纯文字化简规则推广到了命题模态逻辑D系统的自动演绎中,并给出了一些刻划D逻辑自......
目前,工作流模型验证技术已成为工作流技术中重要的研究课题之一.由于工作流逻辑的复杂性,因而如何构建正确的模型是一个较迫切的......
本文介绍一种用C语言实现的获取导函数的算法。在算法中根据符号微分法则设计了导出规则、运算规则,根据代数法则设计了化简规则。......
自动定理证明自从二十世纪五十年代被提出,已经成为计算机科学中最重要的领域之一。归结方法是其中最著名、应用最广的方法之一。......
业务过程管理系统(BPMS)是企业实施过程管理的主要技术手段,为避免系统出现异常终止或瘫痪,必须对输入系统的企业业务过程合理性进行......