T-不变量相关论文
本文对Petri网的基础知识作了相关的介绍,以及对Petri网的结构性质进行一定的介绍与分析,其中主要介绍的结构性质是可重复向量和死......
模型因果行为轮廓不仅可用于度量业务模型之间的一致度，还可以监控业务流程的实际执行。针对现有因果行为轮廓获取方法的局限性，提出......
工作流系统中活动之间的序关系非常有用,然而这些序关系的获取往往比较困难。讨论了运用T-不变量分解法获取序关系的可行性,并将so......
Web服务组合使得开发人员可以快速地创建自己的应用程序．但是，随着Internet上可用的Web服务数目的增加，Web服务组合是一项高度复杂的......
加工方案决策是计算机辅助工艺规划中一直未能完全解决的关键问题.首先,在给出Petri网系统和T-不变量定义的基础上,根据Petri网原......
Petri网的合法变迁引发序列（Legal Firing Sequence,简称LFS）问题是Petri网可达性问题的子问题,目前已有较多的研究成果。通过反例指......
提出了一种新的归结方法-矩阵归结.结合归结原理的单文字、纯文字、分裂规则以及Petri网的T-不变量归结的思想,给出了几种矩阵归结......
Petri网的合法变迁引发序列问题（LFS）是其可达性问题的子问题。前人在LFS判定时常因判定算法的指数级时空复杂度或算法难以推广至一......
为了进一步研究Web服务组合的时间成本问题,提出一种扩展时间Petri网,在变迁上添加了触发时间区间和发生优先级函数,在分析过程中......
定义一种只带原子命题以及命题算子的算子命题逻辑，讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子命题逻......
