关于工作流的一篇文章,基于Petri网的工作流模型的研究与实现