【摘要】 本文定义了工作流网的精炼操作,研究了精炼工作流网的行为保持性质。结果表明精炼工作流网满足行为保持性质,即精炼工作流网的行为与原网和子网行为保持一致。在精炼工作流网行为保持性质的基础上,给出了基于原网语言和子网语言的精炼工作流网的语言刻画。本文结果有助于复杂工作流的设计、建模和验证。更多还原

【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 behavior equivalent with the original WF-net,that is,the mapping language from refined net to original net(subnet) is same as original net(subnet) language.Moreover based on the behavior preservation,the net language of refined net can be resolved by the language of the original net and subnet.These results are useful for studying the dynamic behavior of Petri nets and analyzing language properties of large complex workflow system.更多还原