计算机科学 ›› 2007, Vol. 34 ›› Issue (5): 125-128.
• 计算机网络与信息安全 • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： 本文定义了工作流网的精炼操作，研究了精炼工作流网的行为保持性质。结果表明精炼工作流网满足行为保持性质，即精炼工作流网的行为与原网和子网行为保持一致。在精炼工作流网行为保持性质的基础上，给出了基于原网语言和子网语言的精炼工作流网的语言刻画。本文结果有助于复杂工作流的设计、建模和验证。
关键词: 工作流 Petri网 精炼 网语言
Abstract: Refinement operation of workflow nets is provided in this paper for modeling and analyzing complex workflow, and then net language properties of refined workflow nets are discussed in this paper. Our results indicates that a refined workflow net is behavi
Key words: Workflow, Petri nets, Refinement, Net language
. 精炼工作流网的行为保持性质[J]. 计算机科学, 2007, 34(5): 125-128. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2007/V34/I5/125
Cited
首页