论文部分内容阅读
目前用于工作流建模和分析的工具很多,Petri网以其坚实的数学基础、直观的图形表示受到大家的青睐.本文介绍了如何使用WF-Net建立工作流模型,并根据Aalst给出的WF-Net正确性定义提出了一个算法,用来检查该WF-Net的正确性.
基于Petri网的工作流建模与正确性分析
【摘 要】
：
目前用于工作流建模和分析的工具很多,Petri网以其坚实的数学基础、直观的图形表示受到大家的青睐.本文介绍了如何使用WF-Net建立工作流模型,并根据Aalst给出的WF-Net正确性
【机 构】
：
南京大学软件新技术国家重点实验室
【出 处】
：
计算机科学
【发表日期】
：
2005年2期
【基金项目】
：
国家高技术研究发展计划(863计划)
其他文献
多序列联配(MAS)是现代生物信息学中的重要工具之一,MAS问题是NP-难的,因此需要一些启发式方法在合理的时间内联配大的数据集.本文提出了一个基于最小生成树的多序列联配算法
执行细粒度的进程级软件抗衰，可以进一步降低抗衰成本，提高软件可靠性。本文根据软件系统中进程间控制、调用及数据访问的关系，分析了进程间的耦合度，确定了寻找直接耦合进程的途
要提高指纹识别的识别率,关键是指纹特征的提取。主曲线是主成份分析的非线性推广,它是通过数据分布“中间”并满足“自相合”的光滑曲线,较好地反映了数据分布的结构特征。本文尝试使用主曲线这种新的方法来提取指纹的细节特征。实验结果表明利用主曲线来提取指纹的结构特征是可行的,它为指纹特征提取的研究提供了一条新途径。
本文分析了一般主成分分析在处理非线性问题上的不足,阐述了核主成分分析方法及其计算速度的缺陷,提出了基于聚类的核主成分分析方法.试验结果显示:基于聚类的核主成分分析方
通过构造新的程序流图，利用Fibonacci法优化选取路径．为指定的分支生成测试数据。提出了路径测试数据生成代价的概念，并给出了代价的计算方法。当所选路径的分支谓词均为线性表
本文提出了一种基于GSM移动环境的微支付方案,它通过将计算、存储和通信量转移到静态的网络主机上使得移动电话的负荷最小化.在整个支付过程中,移动电话发送和接收的信息非常
基于智能化刺绣CAD系统向网络化和规模化方向发展的趋势,本文设计并实现了一个面向刺绣CAD的工作流框架,在该框架结构下,刺绣任务的各个执行环节被分解为粒度不同的、独立的节点任务,用户根据实际的工作环境定义这些节点任务的执行序列,工作流引擎根据用户定义控制任务的执行。本文主要介绍了面向刺绣CAD系统的工作流结构框架和其中的关键技术,包括过程定义、通信和调度。文中给出了一个基于该框架的系统实例,实际应