【摘要】 以逻辑工作流网作为描述过程模型的方法,提出了逻辑工作流网的有限组合,以状态转换图来描述工作流网的可达逻辑活动序列。根据死锁的充分条件,提出状态映射用以判断两个工作流网组合后出现的死锁。通过删除进入死锁的逻辑活动序列,提出标准伙伴状态转换图用以表述无死锁组合的活动序列。最后提出判断有限组合是否存在死锁的方法,并用一个简单的电子商务实例说明了方法的有效性。更多还原

【Abstract】 A logical workflow network is used as a method to describe the process model,and a limited combination of logical workflow networks is proposed.Then a state transition diagram is designed to describe the sequence of reachable logical activities of the workflow network.According to the sufficient conditions of a deadlock,a state map is introduced to judge the deadlock that occurs after the combination of two workflow networks.By deleting the logical activity sequence that enters the deadlock,a standard partner state transition diagram represents the activity sequence without deadlock combination.Finally,a method for judging the existence of deadlocks in finite combinations is proposed,and a simple e-commerce example is used to illustrate the effectiveness of the method.更多还原