写在《北华大学学报》创刊之时

《北华大学学报》是以反映北华大学科研和教学成果为主，以培养人才，推介科学、技术与理论成果和服务社会为己任的综合性学术刊物。办刊的方针是：改革、推新、兼容、求精。学报的方向性是学报统率之首，学术性是学报立身之本，科学性是学报生命之魂，创新性是学报繁荣之源。     

跨组织工作流模型的形式化描述及分析

Petri网是当前工作流建模中广泛采用的工具之一。跨组织工作流致力于跨越组织界限的业务重组。针对多个组织间复杂的交互过程，提出基于着色Petri网的跨组织工作流模型的形式化描述，并对着色跨组织工作流及其合理性(Soundness)做了形式化定义和分析，最后举例说明。另外．一些观点和结论对跨组织工作流建模中其它扩展类型也有所启示。