化简规则相关论文
本文以CISR 系统为应用背景，以统一建模语言(UML)和Petri 网的适应性改进为目标，进行了相关的建模方法研究，并提出了相应的分析算法。......
Carl Adam Petri于1962年在他的博士论文《Kommun Pcation mit automation》中,正式提出了Petri网论。Petri网是一种适合描述离散......
描述了Web服务业务流程执行语言（BPEL4WS）的Petri网模型，并提出了模型的化简规则，用于验证模型中的死锁和乏同步两种结构冲突。最后结......
为了提高基于Petri网表示的嵌入式模型（PRES＋）验证的效率，对模型进行了保性变换，给出了一组关于PRES＋模型的化简规则，这些化简规则在原模......
Petri网是一种很有效的模型描述语言，尤其适合描述工作流。给出了基于Petri网的工作流逻辑（WF_logic）化简规则，这里则借助矩阵及矩阵运......
目前工作流技术在管理、生产和科学研究等领域中已经被广泛应用.由于过程逻辑的复杂性和变化性等原因,如何建立良构的业务过程是一......
三值 Toffoli门是构成三值量子电路的基本逻辑门,而三值Toffoli门是通过M-S 门实现.文中对相邻的三 值 Toffoli门的特性进行了分析......
目前,工作流模型验证技术已成为工作流技术中重要的研究课题之一.由于工作流逻辑的复杂性,因而如何构建正确的模型是一个较迫切的......
本文介绍一种用C语言实现的获取导函数的算法。在算法中根据符号微分法则设计了导出规则、运算规则,根据代数法则设计了化简规则。......
业务过程管理系统（BPMS）是企业实施过程管理的主要技术手段,为避免系统出现异常终止或瘫痪,必须对输入系统的企业业务过程合理性进行......
