论文部分内容阅读
时间工作流网模型(TWF-net)通过时间安全性可解决同一流程中多个活动竞争有限资源的问题,但不能解决并发流程间的资源冲突问题.本文在TWF-net模型的基础上提出了一种称为共享资源工作流网模型(TSR),通过在模型中引入资源,优先级的概念,解决了并发流程竞争资源的问题,最后给出一个利用TSR模型描述分布式企业中业务流程的实例.