论文部分内容阅读
本文采用组件化的方法,通过Petri网对工作流过程模型进行组件形式的建模,以降低建模的难度,提高建模的效率,提高模型的可复用性和移植性:并以建立网络科技信息资源加工审核系统模型为例,阐述了组件化建立工作流网的过程,并通过基于不变量的方法对工作流网的活性和有界性进行分析,验证了模型的可行性.