基于Petri网的工作流模型简化

摘要：

计算状态空间可达图是验证工作流正确性的主要方法,状态空间爆炸是这类方法的主要困难.文章对线性时态逻辑LTL-x描述的正确性提出了一种基于Petri网图形化简的验证方法,证明了所提出化简规则的完备性,并以实例说明了所提方法的有效性.

关键词：工作流网、Petri网、正确性、线性时态逻辑

所属期刊栏目：35

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金N.60603041;江苏省自然科学基金BK2006073

在线出版日期：2008-05-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：115-119